>>30
Sinθをp/qとといてcosθもその二文字で表示して、√sin2θを有理数と仮定して矛盾導く