https://i.imgur.com/k91kzwk.png
京都大學 2006
https://i.imgur.com/24VPryl.png
先假裝tan1 是有理數
如此可得tan2也是有理數
https://i.imgur.com/AyMrGAT.png
同樣的操作可知tan30也是有理數
https://i.imgur.com/AqM5BwU.png
但是tan30等於根號3分之1
自己矛盾
https://i.imgur.com/zHiovjl.png
原來是tan1出問題了
tan1不是有理數
https://i.imgur.com/l1OOMu0.png
tan1是有理數?ないです
證明完畢