- 188 名前：１３２人目の素数さん mailto:sage [2012/09/05(水) 17:21:38.29 ]
- >>164
>「3と5は互いに素なので
指摘されているが、この場合、「互いに素」という整数論的性質からは、誰もがなっとくする
形の答は出ない。
> x=y-6, -2y=x
> 連立方程式を解いてx=-4, y=2」
> これでは駄目でしょうか？
少なくとも、有理数の範囲で自明な解を一組得られたわけだ。これ以外に解はないこと
を証明できれば、上の方針でも OKだ。で、実はその方針でも答は導けて、その過程で
3と5を因数に持つ整数の素因数分解の一意性を論拠にすることもできる。
