>>449
m_(k+2) = 2m_(k+1) + m_k
m_k は √2 の連分数展開を途中で打ち切ったものの分母