18/04/23 15:16:41.55 GMUhdjSZ.net
>>573
「ガロア理論の頂を踏む」を読んでいます。
定理1.2
a, b, d ∈Z, (a ≠0, b ≠0)
g を a, b, の最大公約数とする
一次不定式 ax + by = d …①
①は d が g の倍数のとき整数解を持ち、d が g の倍数でないとき整数解を持たない。
「ガロア理論の頂を踏む」では実例をもとに説明し、実例の説明をもって証明にかえています。
実例はわかりやすいものですが、これを証明として記述するのは、どうしたものでしょうか？思いつきません。