- 145 名前：１３２人目の素数さん [2021/09/24(金) 15:37:29.11 ID:6N62sgd/.net]
- >>144
「①の解が整数ならば、②より、√(n^2+12)も整数である」
逆に
「√(n^2+12)が整数ならば、②より、①の解は整数である」
つまり、m=√(n^2+12)とおいたとき
「①の解が整数であるためには、mが整数であることが必要十分」
なんだけど、mって正の数だし0にもならないから、（※）
より詳しく、自然数であると言えるよね、という理屈
別にmが整数のまま考えてもいいけど、（※）の段階で
絞り込んでおくと効率的、と上のGUIDEにも書いてある
