背理法を使わないと無理数が有限小数ではなく無限小数であることを証明するのは難しいだろ