>>586
なるほどね。mod7で考えるのは上手いわね。
ちなみに入試の誘導ヒントは、
「(ac−bd)^2＋(ad＋bc)^2を因数分解せよ」
ってものだったの。
それで想定解法は、この因数分解が(a^2＋b^2)(c^2＋d^2)になるのを利用して、帰納法で、
2009^(k＋1)＝(2009^k)*2009＝｛(x_k)^2＋(y_k)^2｝(28^2＋35^2)＝(28x_k−35y_k)^2＋(35x_k＋28y_k)^2
とする方法だったの。