2021.01.13記(1) と の交点を求めて 同様に だから，2点間の距離の公式より （∵）(2) tan の加法定理により だから， となり，が有理数ならば も有理数．(3) より大きく より小さい 個の異なる有理数を用意し，それらを（）とする． によって定め， によって…