证明:sin20° 不是有理数,并对证明过程进行逻辑分析.