>>470-471
>任意の有理数cを係数とする直線y=cxについて
>その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点
これが正しかったら、1は有理数なので、c=1のときも正しくなる
そして、(cos(1)、sin(1))が有理点になる
だが、ゲルフォント・シュナイダーの定理よりcos(1)、sin(1)は超越数だから、(cos(1)、sin(1))は有理点ではない
このように反例があるから、上の命題は偽になる
おっちゃんの研究の範疇