■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通りの素因数分解ができることになり矛盾.
===================================