bu söylediğinizin aksine çok hoş bir ispat var :)Alp'den alıntı:√2 bir rasyonel sayı değildir yani √2 p,q aralarında asal ve tam sayı olmak üzere p/q şeklinde yazılamaz. Bu yüzden rasyonel sayı olmayan bir sayının üssünün rasyonel bir sayı olacağını sanmıyorum.
√2 rasyonel değildir
öyleyse şu sayıya bakalım
√2√2 , eğer bu sayı rasyonelse işimiz bitmiş demektir. yok eğer bu rasyonel değilse
şu sayıya bakalım
(√2√2)√2=(√2)2=2
kısaca bu 2 sayıdan en az birisi irrasyonelirrasyonel şeklinde yazılmıştır ve değeri rasyoneldir.