lemmino figofighetto

[mattilgale]

lemmino molto bello e brillantemente dimostrato da edriv.
l'idea di fondo non è molto geometrica (nè banale), ma lo metto qui perché comunque il succo finale è molto geometrico:

se un angolo è un multiplo razionale di $ \pi $ e non è banale (0,180°,+-90°, +-60°,+-120°) allora il suo coseno è irrazionale.

[EvaristeG]

viewtopic.php?t=5617
Tipo questo?

[edriv]

Io che centro?
Avevo solo commentato che sapendo che i ciclotomici sono irriducibili lo si uccide senza pietà

Comunque in quel post si dimostra che il seno o il coseno è irrazionale, noi vogliamo il coseno irrazionale.