仮に有理数なら加法定理でtan2も有理数だし、全ての整数度に対して有理数になる

ところがtan30は無理数である
矛盾
Q.E.D.