MathDB
tan (\pi /3n) is irrational

Source: 1969 Swedish Mathematical Competition p2

March 21, 2021
irrationaltrigonometryalgebra

Problem Statement

Show that tanπ3n\tan \frac{\pi}{3n} is irrational for all positive integers nn.