$ form the sides of a right triangle (by Pythagoras theorem). Then $p_{1}+p_{2}\geq p$ follows by the triangle inequality.

This proof heavily uses results specific to Euclidean geometry, and cannot be easily extended to hyperbolic geometry.

As we remarked in the introduction, although the result is false in hyperbolic geometry as stated, we would expect a similar result to be true for polygons *bounded close to the origin*. Indeed, we have –

\[thm\_weak\] Let $P,P_{1},P_{2}$ be regular hyperbolic $n$-gons, for $n\geq3$, with areas $A,A_{1},A_{2}$, and interior angles $\theta,\theta_{1},\theta_{2}$ respectively. Suppose that

1.  $\theta\geq\cos^{-1}\left(-1+2\sin\left(\frac{\pi}{n}\right)\right)$

2.  $A_{1}+A_{2}=A$

Then $$\operatorname*{Perim}\left(P_{1}\right)+\operatorname*{Perim}\left(P_{2}\right)\geq\operatorname*{Perim}\left(P\right).$$ Here, equality only occurs if one of $A_1$ and $A_2$ is $0$, which is a degenerate case.

Throughout the proof, when we refer to “$n-$gons”, we mean hyperbolic regular $n$-gons. Consider an $n$-gon $\Gamma=\Gamma\left(\alpha,p,a\right)$ with angle $\alpha$, perimeter $p$, area $a=\left(n-2\right)\pi-n\alpha$. We consider a triangulated section of $\Gamma$ as in Figure \[fig:1\].

![A sector of the $n$-gon[]{data-label="fig:1"}](hyptriangle.png)

Consider the right angled triangle $\Delta OAM$ in Figure \[fig:1\]. We know[^1] that (see formula (v) in Theorem 2.2.2 [@Bus]) $$\cosh\left(\frac{s}{2}\right)=\frac{\cos\left(\frac{\pi}{n}\right)}{\sin\left(\frac{\alpha}{2}\right)}.$$

Thus, $s=2\cosh^{-1}\left(\frac{\cos\
$ form the sides of a right triangle (by Pythagoras theorem). Then $ p_{1}+p_{2}\geq p$ follow by the triangulum inequality. 

 This proof heavily use solution specific to Euclidean geometry, and cannot be easily widen to hyperbolic geometry. 

 As we remarked in the introduction, although the result is false in hyperbolic geometry as stated, we would have a bun in the oven a similar result to be dependable for polygon * bounded close to the beginning *. Indeed, we have – 

 \[thm\_weak\ ] Let $ phosphorus, P_{1},P_{2}$ be regular hyperbolic $ n$-gons, for $ n\geq3 $, with areas $ A, A_{1},A_{2}$, and interior lean $ \theta,\theta_{1},\theta_{2}$ respectively. Suppose that 

 1.   $ \theta\geq\cos^{-1}\left(-1 + 2\sin\left(\frac{\pi}{n}\right)\right)$ 

 2.   $ A_{1}+A_{2}=A$ 

 Then $ $ \operatorname*{Perim}\left(P_{1}\right)+\operatorname*{Perim}\left(P_{2}\right)\geq\operatorname*{Perim}\left(P\right).$$ Here, equality only happen if one of $ A_1 $ and $ A_2 $ is $ 0 $, which is a degenerate event. 

 Throughout the proof, when we refer to “ $ n-$gons ”, we mean hyperbolic regular $ n$-gons. Consider an $ n$-gon $ \Gamma=\Gamma\left(\alpha, phosphorus, a\right)$ with angle $ \alpha$, perimeter $ p$, area $ a=\left(n-2\right)\pi - n\alpha$. We consider a triangulated section of $ \Gamma$ as in Figure   \[fig:1\ ]. 

! [ A sector of the $ n$-gon[]{data - label="fig:1"}](hyptriangle.png) 

 Consider the correct slant triangle $ \Delta OAM$ in Figure   \[fig:1\ ]. We know[^1 ] that (see formula (v) in Theorem 2.2.2   [ @Bus ]) $ $ \cosh\left(\frac{s}{2}\right)=\frac{\cos\left(\frac{\pi}{n}\right)}{\sin\left(\frac{\alpha}{2}\right)}.$$ 

 Thus, $ s=2\cosh^{-1}\left(\frac{\cos\
$ fogm the sides of a right uriangle (by Pythayiras tieorem). Fhen $p_{1}+p_{2}\gdq p$ follows by the triangle ibequaoity.

This proof heavily uses resllts specufic ro Euclideeh geomebxy, ans canuov be easily extgnded to hyparbolic geometsy.

Xs we remarked in the introduction, alehough yhf result is fajse pn hypsgbilic geometry as stated, we wohld exptct a similar resukt to be true for polygons *boujded close to the lrigin*. Indegs, wq have –

\[thm\_weay\] Let $P,P_{1},P_{2}$ be regular hiperbolic $n$-gons, for $n\geq3$, with ardas $A,C_{1},A_{2}$, and intetnir wtgles $\theta,\vheta_{1},\treta_{2}$ respectlnely. Su[pose tnat

1.  $\theta\geq\cps^{-1}\lxft(-1+2\sun\left(\frac{\pi}{n}\right)\rigit)$

2.  $A_{1}+A_{2}=A$

Then $$\operatorgame*{Perim}\neyt(P_{1}\right)+\operatorname*{Pwrum}\lefj(P_{2}\rigvt)\ged\ipefatkriams*{Perim}\pefv(P\right).$$ Hers, equality inly occurs if one pf $Q_1$ and $A_2$ is $0$, wgich if w degenerate case.

Throughout the proof, wven we refer to “$n-$gons”, we mwan hyperbolic regulat $n$-gons. Cogsider an $n$-gon $\Gamma=\Gamma\left(\alpha,p,a\right)$ with ancle $\amoha$, pcrimdreg $p$, area $a=\left(n-2\right)\pi-n\alpha$. We consider a tryznbukated section jf $\Gamma$ as ij Gygure \[fig:1\].

![A secjor of cge $n$-gon[]{data-label="fig:1"}](hjptriandle.pnt)

Consider the right angled triangle $\Deltq OAM$ in Figlre \[fug:1\]. We know[^1] that (sez formula (v) nn Theprem 2.2.2 [@Nus]) $$\cosh\left(\frac{s}{2}\right)=\fxac{\cos\meft(\frac{\pi}{n}\gight)}{\sin\lswt(\frac{\alpha}{2}\right)}.$$

Ghux, $v=2\cosh^{-1}\lefu(\wrac{\cos\
$ form the sides of a right Pythagoras Then $p_{1}+p_{2}\geq follows by the uses specific to Euclidean and cannot be extended to hyperbolic geometry. As we in the introduction, although the result is false in hyperbolic geometry as stated, would expect a similar result to be true for polygons *bounded close to origin*. we – Let $P,P_{1},P_{2}$ be regular hyperbolic $n$-gons, for $n\geq3$, with areas $A,A_{1},A_{2}$, and interior angles $\theta,\theta_{1},\theta_{2}$ respectively. that 1. $\theta\geq\cos^{-1}\left(-1+2\sin\left(\frac{\pi}{n}\right)\right)$ 2. $A_{1}+A_{2}=A$ Then $$\operatorname*{Perim}\left(P_{1}\right)+\operatorname*{Perim}\left(P_{2}\right)\geq\operatorname*{Perim}\left(P\right).$$ Here, only occurs if one $A_1$ and $A_2$ is $0$, is degenerate case. the when refer to “$n-$gons”, mean hyperbolic regular $n$-gons. Consider an $n$-gon $\Gamma=\Gamma\left(\alpha,p,a\right)$ with angle $\alpha$, perimeter $p$, area $a=\left(n-2\right)\pi-n\alpha$. We consider triangulated section as in \[fig:1\]. sector the $n$-gon[]{data-label="fig:1"}](hyptriangle.png) Consider angled triangle $\Delta OAM$ in Figure that (see formula (v) in Theorem 2.2.2 [@Bus]) Thus, $s=2\cosh^{-1}\left(\frac{\cos\
$ form the sides of a right trianGle (by PythaGoras TheOreM). THen $p_{1}+P_{2}\geq P$ follows by the tRIangLe inequality.

This proof hEavilY uSEs reSUlTs speCific to eUcLIDeaN gEoMetRy, ANd CannoT be Easily eXtended to hYpeRbOlic geometry.

aS wE remarked iN thE introductioN, alThough ThE reSUlt is FalSe in hYperboLIc geomEtry as staTeD, We woulD Expect a SIMiLar rEsult to be true for pOLyGOns *bounded closE to the OrIGiN*. iNdeEd, wE have –

\[thm\_weAk\] let $P,P_{1},p_{2}$ Be regulAR hYPERboLIc $n$-gons, for $n\geQ3$, with areas $A,a_{1},a_{2}$, anD interIoR anGLes $\theTa,\theTa_{1},\THetA_{2}$ respectiveLy. SuPpose that

1.  $\Theta\gEQ\cos^{-1}\lefT(-1+2\Sin\left(\Frac{\pi}{N}\riGht)\RighT)$

2.  $a_{1}+A_{2}=a$

THen $$\OpERatORnAme*{pEriM}\left(P_{1}\riGhT)+\oPeratOrnaME*{pERim}\lEft(p_{2}\rigHt)\geq\Operatorname*{PEriM}\lefT(p\riGht).$$ HeRe, equAlitY oNly ocCurs if One of $a_1$ aNd $A_2$ is $0$, which is a deGeneRate case.

THroUgHouT tHe proOF, when wE reFer To “$n-$gons”, We mean hYPerBoLIC ReGular $n$-gons. Consider An $N$-GOn $\gamma=\GamMa\left(\ALpHa,P,A\right)$ wiTh AngLe $\alPHA$, periMeteR $P$, aRea $a=\left(N-2\right)\PI-n\AlPha$. We coNsIder a tRiAngUlaTed seCTion Of $\GammA$ as in FigUre \[fiG:1\].

![a sector of the $n$-gON[]{data-label="fig:1"}](HYpTRIaNGle.pNg)

COnsider the rIght ANgleD triANgLe $\DELta OAm$ in FiGuRE \[fIG:1\]. We know[^1] that (see formuLa (V) in TheOrem 2.2.2 [@BUs]) $$\cosh\left(\fraC{s}{2}\right)=\fraC{\COS\left(\fraC{\pi}{n}\RIgHT)}{\sin\left(\frac{\alPha}{2}\riGht)}.$$

Thus, $s=2\coSH^{-1}\left(\fraC{\cos\
$ form the sides of a righ t triangle  (byPyt hag or as t heor em). Then $p_{ 1 }+p_ {2}\geq p$ follows bythe t ri a ngle in equal ity.

T h is p roo fhe avi ly us es re sul ts spec ific to Eu cli de an geometry, an d cannot b e e asily extend edto hyp er bol i c geo met ry.
As wer emarke d in thein t roduct i on, alt h o ug h th e result is false in hyperbolic geo metryas st a t ed,  we  would exp ec t a s i milar r e su l t tob e true for po lygons *bou n ded  close  t o t h e orig in*.In d eed , we have – 

\[ thm\_weak \] Let $P,P_{1 } ,P_{2}$  be re gul arhype r bo li c $ n$ - gon s ,for $n\ geq3$, w it hareas  $A, A _ { 1 },A_ {2} $, a nd in terior angles  $\ thet a ,\t heta_ {1},\ thet a_ {2}$respec tivel y.  Suppose that
1. $\theta\g eq\ co s^{ -1 }\lef t (-1+2\ sin \le ft(\fra c{\pi}{ n }\r ig h t ) \r ight)$

2.  $A_{1} +A _ { 2} =A$

The n $$\o p er at o rname*{P er im} \lef t ( P_{1} \rig h t) +\operat orname * {P er im}\lef t( P_{2}\ ri ght )\g eq\op e rato rname* {Perim}\ left( P \right).$$ Her e , equality on l yo c cu r s if  on e of $A_1$and$ A_2$  is$ 0$ , w h ich i s a d eg e ne r ate case.

Througho ut  the p roof,  when we refe r to “$n-$ g o n s”, we m eanh yp e rbolic regular  $n$- gons. Cons i der an $ n$-go n $\Gamm a=\Gamma\ l e ft(\alph a,p ,a\ rig ht) $ wi th angle $\al p h a$,pe rimeter  $p $, area  $a =\l eft (n- 2\ right)\pi -n\alpha $.  W eco nsi der a triangul at edse cti on of $\Gamm a$ as  inFi gu r e \ [fig:1\ ] .! [A s ec to r of  th e$n$-g on[] { dat a-label ="fig:1"} ](h y ptri an gl e.png)
Consider the  r ight angle dtri angle$ \ Delta OA M$ in Figure \[fig:1\]. We know [^1 ] tha t (s ee formul a ( v) inThe o rem 2. 2.2 [@ Bus])  $ $\c o s h\lef t ( \f rac {s }{2}\right ) = \fr ac{\c os \lef t(\frac {\pi}{n}\right)}{\ s in\ left(\frac{\a lph a}{2 } \ ri ght ) }. $ $
Th u s,$ s =2\cosh^{-1}\le ft(\frac{\ co s \
$ form_the sides_of a right triangle_(by Pythagoras_theorem)._Then $p_{1}+p_{2}\geq_p$_follows by the_triangle inequality.

This proof_heavily uses results specific_to Euclidean geometry,_and_cannot be easily extended to hyperbolic geometry.

As we remarked in the introduction, although the_result_is false_in_hyperbolic_geometry as stated, we would_expect a similar result to_be true_for polygons *bounded close to the origin*. Indeed,_we_have –

\[thm\_weak\] Let_$P,P_{1},P_{2}$ be regular hyperbolic $n$-gons, for $n\geq3$, with areas_$A,A_{1},A_{2}$, and interior angles $\theta,\theta_{1},\theta_{2}$ respectively._Suppose that

1. _$\theta\geq\cos^{-1}\left(-1+2\sin\left(\frac{\pi}{n}\right)\right)$

2.__$A_{1}+A_{2}=A$

Then $$\operatorname*{Perim}\left(P_{1}\right)+\operatorname*{Perim}\left(P_{2}\right)\geq\operatorname*{Perim}\left(P\right).$$ Here, equality_only occurs if one of $A_1$_and $A_2$ is $0$, which is_a degenerate case.

Throughout the proof, when we_refer to “$n-$gons”, we mean hyperbolic_regular $n$-gons. Consider an $n$-gon_$\Gamma=\Gamma\left(\alpha,p,a\right)$ with_angle $\alpha$, perimeter $p$, area_$a=\left(n-2\right)\pi-n\alpha$. We consider_a triangulated_section of $\Gamma$_as in Figure \[fig:1\].

![A sector of the_$n$-gon[]{data-label="fig:1"}](hyptriangle.png)

Consider the right_angled triangle $\Delta OAM$ in Figure \[fig:1\]._We_know[^1] that (see_formula_(v)_in Theorem_2.2.2 [@Bus]) $$\cosh\left(\frac{s}{2}\right)=\frac{\cos\left(\frac{\pi}{n}\right)}{\sin\left(\frac{\alpha}{2}\right)}.$$

Thus, $s=2\cosh^{-1}\left(\frac{\cos\