{a,b ,c}⊂N、
a^2 +b^2=c^2
であるとする。
a_nに対応する解をb_n, c_nとする。
a_0<a_1< ... <a_nかつa_n<b_nかつa_n/c_n≠a_m/c_mであるとする。
このときlim[n→∞]a_n/c_n=0
を証明せよ。

>>718
すみません、問題に不備がありました。お願いします。