■tan1°は無理数か?

 πとeは最も有名な超越数ですが,π+e,πeのうち,少なくとも一方は超越数であることはわかっています.背理法を使って証明してみましょう.

[Q]π+e,πeのうち,少なくとも一方は超越数であることを証明せよ.

[A]どちらも代数的数であるならば,

  x^2−(π+e)x+πe=0

の根であることになり矛盾.

 数の超越性を証明するのは大変ですから,大学入試問題では,πやe,log210やtan1°の無理数性を証明させるものが見かけられるということです.

===================================

【1】3√2=2^1/3は無理数である

  3√2=p/q   (p,qは公約数をもたない)

と書けるとすると,

  p^3=2q^3 → pは偶数でなければならない

p=2kと書けるとすると,

  8k^3=2q^3 → 4k^3=q^3 → qは偶数でなければならない

 p,qは公約数2をももつことになり矛盾.よって,3√2は無理数である.

===================================

【2】4√5=5^1/4は無理数である

 √5が無理数であることは既知とする.

  (4√5)^2=√5

より,もし4√5が有理数ならば,√5は有理数となるので矛盾.

 無理数の有理数倍,無理数の逆数は無理数であるから

  5^3/4=5/5^1/4 → 無理数

  5^5/4=5・5^1/4 → 無理数

===================================

【3】φ=(1+√5)/2=2cos36°は無理数である

 xは無理数,a,b,c,dは有理数とする.このとき

  y=(ax+b)/(cx+d)

は無理数である.なぜなら.yが有理数ならば

  x=(dy−b)/(a−cy)

は有理数となり矛盾が生じる.これよりφは無理数である.

===================================

【4】log102は無理数である

 有理数,したがって

  log102=p/q

と書けると仮定すると

  qlog102=p→2^q=10^p=2^p・5^p

同じ数について2通りの素因数分解ができることになり矛盾.

===================================