0714132人目の素数さん垢版 | 大砲2019/05/01(水) 18:52:32.74ID:TvfhGo+H >>712 (3+2√2)(3-2√2)=1なので、 (1)の結果を用いて (an+bn√2)(an-bn√2)=an^2-2*bn^2=1を帰納法で示せば良いのではないかと思います