>>488
{A_n},{B_n}は有理数からなるみたいな条件が落ちていないか気になる。
というか、そうでないとA_1=√2,B_1=1/√2としたときに(2)が成り立たない。
ちなみに有理数列なら(1)は個別に求められるよ。