MathDB
Chisinau MO p153 1977 X tan (\pi / 3^n) is irrational

Source:

March 17, 2021
irrationalalgebratrigonometry

Problem Statement

Prove that the number tanπ3n\tan \frac{\pi}{3^n} is irrational for any natural nn.