12/01/07 22:44:32.12
>>75
たとえば、sinθ=1/3となるような角θをとると、
整数nに対してsin(nθ)は有理数。
2π/θは無理数であることから、
集合X={(cos(2nθ),sin(2nθ)) | nは整数}は、S^1の稠密な部分集合で、
Xの任意の２点P(cos(2nθ),sin(2nθ)), Q(cos(2mθ),sin(2mθ))をとると、
|↑PQ|^2=|↑OQ-↑OP|^2=2-2cos(2(m-n)θ)=4sin^2((m-n)θ)となり
PQ=|2sin((m-n)θ)|となる。
これは明らかに有理数。