>>464
>任意の有理数cを係数とする直線y=cxについて
>その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点
そもそも、示そうとする結論が間違っているけどな。正しくは
>或る無理数cを係数とする直線y=cxが存在して
>その傾斜角の二倍の角を持つ直線と円x^2+y^2=1の交点は有理点となる
のような結論になる