Осемдесетоъгълникът (също и октаконтагон, от старогръцки: ὁγδοήκοντα[1]) е многоъгълник с 80 страни и ъгли.[2][3] Сборът на всички вътрешни ъгли е 14040° (78π). Има 3080 диагонала.
При правилния осемдесетоъгълник всички страни и ъгли са равни. Вътрешният ъгъл е 175,5°, а външният и централният – 4,5°.
A = 20 t 2 cot π 80 = cot π 40 + cot 2 π 40 + 1 = 20 ( 1 + 5 + 5 + 2 5 + 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 + ( 1 + 5 + 5 + 2 5 + 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) 2 + 1 ) t 2 = 20 ( 1 + 5 + 5 + 2 5 + 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 + ( ( 1 + 5 + 5 + 2 5 ) + ( 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) ) 2 + 1 ) t 2 = 20 ( 1 + 5 + 5 + 2 5 + 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 + ( ( 1 + 5 + 5 + 2 5 ) 2 + ( 2 1 ) ( 1 + 5 + 5 + 2 5 ) ( 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) + ( 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) 2 ) + 1 ) t 2 = 20 ( 1 + 5 + 5 + 2 5 + 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 + ( ( 11 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) + ( 2 1 ) ( 1 + 5 + 5 + 2 5 ) ( 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) + ( 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) ) + 1 ) t 2 = 20 ( 1 + 5 + 5 + 2 5 + 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 + ( 23 + 8 5 + 2 ⋅ ( 2 1 ) ( 1 + 5 ) 5 + 2 5 + ( 2 1 ) ( 1 + 5 + 5 + 2 5 ) ( 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) ) + 1 ) t 2 = 20 ( 1 + 5 + 5 + 2 5 + 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 + 24 + 8 5 + 2 ⋅ ( 2 1 ) ( 1 + 5 ) 5 + 2 5 + ( 2 1 ) ( 1 + 5 + 5 + 2 5 ) ( 12 + 4 5 + ( 2 1 ) ( 1 + 5 ) 5 + 2 5 ) ) t 2 {\displaystyle {\begin{aligned}A=20t^{2}\cot {\frac {\pi }{80}}=\cot {\frac {\pi }{40}}+{\sqrt {\cot ^{2}{\frac {\pi }{40}}+1}}=&20\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}+{\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}+{\sqrt {\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}+{\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}\right)^{2}+1}}\right)t^{2}\\=&20\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}+{\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}+{\sqrt {\left(\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}\right)+\left({\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}\right)\right)^{2}+1}}\right)t^{2}\\=&20\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}+{\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}+{\sqrt {\left(\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}\right)^{2}+{\binom {2}{1}}\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}\right)\left({\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}\right)+\left({\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}\right)^{2}\right)+1}}\right)t^{2}\\=&20\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}+{\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}+{\sqrt {\left(\left(11+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}\right)+{\binom {2}{1}}\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}\right)\left({\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}\right)+\left(12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}\right)\right)+1}}\right)t^{2}\\=&20\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}+{\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}+{\sqrt {\left(23+8{\sqrt {5}}+2\cdot {\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}+{\binom {2}{1}}\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}\right)\left({\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}\right)\right)+1}}\right)t^{2}\\=&20\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}+{\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}+{\sqrt {24+8{\sqrt {5}}+2\cdot {\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}+{\binom {2}{1}}\left(1+{\sqrt {5}}+{\sqrt {5+2{\sqrt {5}}}}\right)\left({\sqrt {12+4{\sqrt {5}}+{\binom {2}{1}}\left(1+{\sqrt {5}}\right){\sqrt {5+2{\sqrt {5}}}}}}\right)}}\right)t^{2}\end{aligned}}}
r = 1 2 t cot π 80 {\displaystyle r={\frac {1}{2}}t\cot {\frac {\pi }{80}}}
R = 1 2 t csc π 80 = ( cot π 80 ) 2 + 1 2 t {\displaystyle {\begin{aligned}R={\frac {1}{2}}t\csc {\frac {\pi }{80}}={\frac {\sqrt {\left(\cot {\tfrac {\pi }{80}}\right)^{2}+1}}{2}}t\end{aligned}}}
sin π 80 = sin 2.25 ∘ = 1 8 ( 1 + 5 ) ( − 2 − 2 + 2 − ( 2 + 2 ) ( 2 − 2 + 2 ) ) {\displaystyle \sin {\frac {\pi }{80}}=\sin 2.25^{\circ }={\frac {1}{8}}(1+{\sqrt {5}})\left(-{\sqrt {2-{\sqrt {2+{\sqrt {2}}}}}}-{\sqrt {(2+{\sqrt {2}})\left(2-{\sqrt {2+{\sqrt {2}}}}\right)}}\right)}
Тъй като 80 = 2⁴ × 5, т.е. произведение от степен на двойката и просто число на Ферма, правилен осемдесетоъгълник може да бъде построен с линийка и пергел.[4]