メニュー
yu-to
管理者
本ブログを運営しているyu-toと申します。

高校数学の解説や公務員試験問題の解説、データサイエンスについての記事を書いていきます!

「データサイエンス×教育」に興味があり、日々勉学に励んでいます。

少しでも役に立つ情報の発信をしていきますのでぜひ読んでください。

また、同志からのお声がけはとても励みになります。ぜひ、コメントやメール、SNS等でご連絡ください!
カテゴリー

【超越数とは】超越数の意味といくつかの例とその証明

  • URLをコピーしました!

この記事でわかること

  • 超越数とは
  • 超越数の意味と例を紹介します。例)e
  • e が超越数であることの証明も説明します。

超越数とは

「有理数係数多項式 =0」という形の方程式を代数方程式と言います。

つまり、複素数 α が超越数であるとは、どのような有理数係数多項式

 P(x)=qnxn+qn1xn1++q1x+q0

qi は有理数で、0 でない qi が存在

に対しても P(α)0 であるという意味です。

  • 有理数は超越数ではありません。
    有理数 qp は、pxq=0 という一次方程式の解だからです。
  • 無理数でも超越数とは限りません。
    例えば 2x22=0 という二次方程式の解なので超越数ではありません(二次方程式の解である無理数を二次の無理数と言います)。無理数と超越数を混同する人が多いので注意して下さい。

超越数の例

  • 自然対数の底 e(証明は後述)
  • 円周率 π
  • 0 でない代数的数 θ に対する
  • sinθ, cosθ, tanθ(この二つが超越数であることは,リンデマンの定理という飛び道具から分かる)
  • 22, eπ(この二つが超越数であることは,ゲルフォント–シュナイダーの定理という飛び道具から分かる)

eが超越数であることの証明

自然対数の底 e が超越数であることの証明は簡単ではありませんが、一応高校数学のみで理解できますので、概略を紹介します。
※ The Transcendence of e and πを参考にしました。

証明の概略

e が超越数でないと仮定する。このとき、うまく整数

 r, a00, a1, , ar

を選ぶと、

 a0+a1e+a2e2++arer=0

次に,十分大きい素数 p を用いて、

 f(x)=xp1(x1)p(x2)p(xr)p
 I(t)=0tetuf(u)du

とおき、

 J=a0I(0)+a1I(1)++arI(r)

という量を考える。

p が十分大きいとき、以下の不等式 1, 2 は矛盾する(階乗の方が指数関数より強い)。よって背理法により e は超越数である。

1. |J|(p1)!

 理由:f(x) の次数を n=(r+1)p1 とおく。

 I(t) は指数関数×

 n 次式の積分なので n 回部分積分すれば計算できる。結果は、

  I(t)=etj=0nf(j)(0)j=0nf(j)(t)

 となる。よって、

  J=t=0ratI(t)
   =j=0nf(j)(0)t=0ratett=0rj=0natf(j)(t)

 ここで、第一項は(*)より 0 になる。

 また、ライプニッツルールを用いて f(j)(t) を実際に計算すると、

 j=p1, t=0 のときは (p1)!(1)rp(r!)p となり、残りは

 p! の倍数(0 も含む)となる。よって,J(p1)! の倍数であり、p! の倍数ではない。

2. 1 より大きい(p には依存しない)実数 c が存在して、|J|cp

 理由:f(x) の定義より、0xr のとき |f(x)|r(r+1)p

 これと I(t) の定義より、0tr のとき I(t)tetr(r+1)p

 これと J の定義より,|J| (p によらない定数) (rr+1)p

おわりに

さいごまで読んでいただきありがとうございました!

『統計の扉』で書いている記事

  • 高校数学の解説
  • 公務員試験の数学
  • 統計学(統計検定2級レベル)

ぜひご覧ください!

数学でお困りの方は、コメントやXでご連絡ください。(Xはこちら

私自身、数学が得意になれたのはただ運が良かったんだと思っています。たまたま親が通塾させることに積極的だったり、友達が入るって理由でそろばんに入れたり、他の科目が壊滅的だったおかげで数学が(相対的に)得意だと勘違いできたり。

”たまたま”得意になれたこの恩を、今数学の学習に困っている人に還元できたらなと思っています。お金は取りません。できる限り(何百人から連絡が来たら難しいかもですが…)真摯に向き合おうと思っていますのでオアシスだと思ってご連絡ください。

  • URLをコピーしました!