とする．定理． が成立する．（証明） （は互い素）とする． このときであるからとなる． よってとなる．（証明終）この定理を眺めると，最小公倍数を求める手順に次のようなものがあることに気がつく． 1．ユークリッドの互除法でを求める． 2．をで割り，2…

の最大公約数をと表す．定理．（ユークリッドの互除法） を整数として，をで割った余りをとする． このとき，．教科書の証明はなんだか文章ばかりで難しかった覚えがある． 今ならできるだろうか…？（証明） をで割った商をとするとと表せる． 右辺をみると…

正直に告白すると、二次形式というものを勉強したことがない。 使ったことが全くない。Wikipediaによれば、二次形式は多方面で中心的な地位を占めるもののようだ…。 全く知らない。いままで中心を回避して勉強していたということなのだろうか。 まるで複素積…