\( 2^{\frac{n}{2}}(\cos n\times45^\circ+i\sin n\times45^\circ)+2^{\frac{n}{2}}(\cos n\times(-45^\circ)+i\sin n\times(-45^\circ))>10^{10} \)
\( 2^{\frac{n}{2}+1}\cos n\times45^\circ>10^{10} \)
\(\cos n\times45^\circ \)在mod 8情況下只有0,1,-1是正的，所以討論這三個就好
mod 8是1和-1時，\(\displaystyle\cos n\times45^\circ=\frac{\sqrt{2}}{2} \)，取log可以知道\(n>65\)，所以取71
mod 8是0時，\(\displaystyle\cos n\times45^\circ=1\)，取log可以知道\(n>65\)，所以取72
最小就是71
[ 本帖最後由 BambooLotus 於 2019-3-1 23:08 編輯 ]
