证明 tan1° 是无理数

June 23, 2020

互联网上有一道有名的据说是京都大学的入学题（未经考证），证明 tan1° 是无理数。