ポスト

例えば、Q上代数的な数αを添加した環Q[α]を考える するとQ(α)=Q[α]となる事の証明のロジックを追ったとしても、具体例として1/(α+1) を有理化出来なかったら 何が起きてるか把握出来てない と言う様なニュアンス

メニューを開く
Satoshi Mochizuki@39percent

それはQ[X]がEuclid環だからPIDという証明に遡って今の場合にapplyすればよい具体的にはf(x) をg(x) で割った余りd(X) 使って、g(X)p(X)+d(X)q(X)=1 となる様なp(X), d(X) を互除法で見つけて、それを使って有理化する (証明迄遡ると構成を与えてる)

Satoshi Mochizuki@39percent

Yahoo!リアルタイム検索アプリ