>>670
>>673
コピペした証明が間違っている

[第1段]：2^{√2} が代数的数であるとする
a＝2^{√2} とおく
仮定から、aは実数であって、aは実数の代数的数である
a＝2^{√2} とおいているから log|a|＝√2×log|2| である
よって a＝2^{√2} から 2^{√2}＝e^{√2×log|2|} が成り立つ
[第2段]：ところで、1＜√2＜3/2 だから 2^{√2}＜2^{3/2} である
また e＞2 から log|2|＜1 であって、4/3＜√2＜3/2 だから
log|2|＜4/3＜√2×log|2|＜3/2×log|2| から e^{√2×log|2|}＞e^{4/3} である
よって、2^{√2}＞e^{4/3} を得る
[第3段]：故に、log_2|e^{4/3}|＜√2 から log_2|e|＜3/4×√2 であって、
e＜2^{3/4×√2} から 1＜3/4×√2×log|2|、即ち e^{(2√2)/3}＜2 である
よって、e^{2√2}＜8 を得る
[第4段]：しかし、e^{√2}＞8^{1/2}＝2√2 だから e^{2√2}＞8 である
故に、e^{2√2}＜8 が得られたことは e^{2√2}＞8 なることに反し、矛盾する
この矛盾は 2^{√2} を代数的数と仮定したことから生じたから、
背理法により 2^{√2} は超越数である

集合Aを A＝{2^x| xは代数的無理数 } と定義すれば、
Aは区間 [0、+∞) 上のルベーグ測度に関する零集合である
同様に、実数の代数的数全体の集合Bは
区間 (-∞、+∞) 上のルベーグ測度に関する零集合である
2^{√2} を代数的数と仮定すると、同時に2つの零集合A、B上で
議論していって矛盾が得られるようになっているから、正しい