>>437
m_k = (1/(2√2)) ((1+√2)^k - (1-√2)^k)
k = 1,2,3,…
とすると m_k は整数で
lim[k→∞] cos(2(m_k)π√2) = 1

例えば
cos(2(m_10)π√2) = cos(2*2378π√2) = 0.99999956