>>479-480
>「任意の有理数cを係数とする直線y=cxについて
>　その傾斜角　【の二倍の角】　を持つ直線と円x^2+y^2=1の交点は有理点」
>
>だからｃ＝１の場合、その傾斜角の２倍の角を持つ直線はｘ＝０
>そしてそれと円の交差点は（０，１）だから有理点
有理数全体Qは実直線R上で体をなすから、私の趣旨全体には何の効力もない