■絶対値1の複素数と三角形(その6)
α=0,β=2π/m,γ=2kπ/m,mは整数,kは1より大きい整数とする.nは1〜m−1を動く.kも2〜m−1としたい.
m=3〜99の範囲で調べてみたところ,原点が△ABC内にくるようなnが存在する.ただし,
a=1
b=cos2π/7+isin2π/7
c=cos6π/7+isin6π/7
a=1
b=cos2π/7+isin2π/7
c=cos10π/7+isin10π/7
の場合だけは例外であって,そのようなnは存在しないことが確認された.
整数論だけの問題ではないと思われるが,これを証明するにはどうすればよいのだろうか?
===================================
1000 PI#=3.141592653#
1010 FOR M=3 TO 99 STEP 2
1020 'M=7
1030 FOR K=2 TO M-1
1040 SW=0
1050 FOR N=1 TO M-1
1060 T=2*N/M
1070 S=2*K*N/M
1080 U=(INT(S) MOD 2)
1090 IF U=0 THEN S=S-INT(S)
1100 IF U=1 THEN S=S-INT(S)+1
1110 PRINT T,S;
1120 IF T<1 THEN IF S<1 OR S>(T+1) THEN SW=SW+1:PRINT "*";
1130 IF T>1 THEN IF S<(T-1) OR S>1 THEN SW=SW+1:PRINT "*";
1140 PRINT
1150 NEXT N
1160 PRINT:PRINT M,K,SW
1170 IF SW=M-1 THEN PRINT "*****":STOP
1180 NEXT K
1190 NEXT M
1200 END
===================================