integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 超越数 この記事では超越数論の古典的大定理であるBakerの定理の証明をBakerの本*1に書いてある通りに紹介します*2。Bakerの定理 (1966) をでない代数的数とする。このとき、が上一次独立であれば、は上一次独立である。ここで、個あるについて任意の枝で成立し、それぞれの枝の選択が一致している必要はありません。Bakerの定理から超越数を山のように得ることが出来ますが、それについてはintegers.hatenablog.comをご覧ください。証明は背理法によります。主張が成り立たないと仮定すると、Siegelの補題によって魔法のような関数を作ることが出来てしまい、その魔法関数によって矛盾が… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2017%2F06%2F25%2F150000" title="ベイカーの定理の証明 - INTEGERS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2017-06-25 15:00:00 rich https://integers.hatenablog.com/entry/2017/06/25/150000 1.0 100%