- 575 名前：１３２人目の素数さん mailto:sage [2008/08/06(水) 01:27:20 ]
- >>571 n=2のとき、a_1/d,a_2/dはそれぞれ互いに素であるから、
a_1/d*x_1+a_2/d*x_2=1が成り立つ。
n=kのとき、題意が成り立つと仮定すると、
a_1*x_1+a_2*x_2+…+a_n*x_n=d'なるx_1....x_nが存在する。
この数をA_nとおくと,A_n=d'とa_(n+1)の最大公約数は仮定よりd
ゆえに,n=2のときの場合より、x'_1A_1+a_(n+1)x'_2=d を得る。///
