Elimizde bir
ABC üçgeni olsun ve bu üçgenin kenarları
r1,r2,r3'ün karekökleri olsun yani
7,8,5 Bunun dar açılı bir üçgen olduğunu bildiğimiz için öyle bir
F noktası vardır ki
<AFB=AFC=BFC=120∘ olsun (Bu noktaya fermat noktası denir)
AF=x , BF=y , CF=z olsun
<C=60∘ ve <BAC=α olsun
Gerekli işlemler yapılırsa cosα=1114 olur.
Ve şimdi x+y+z'yi elde etmek için gerekli işlemi yapalım;
ABC'yi A etrafında 60∘ döndüreceğiz.
F→F′
C→C′
AFF′ eşkenar üçgen olur çünkü AFB açısını 60∘ ile kesmiş bulunduk.
x+y+z=AF+FC+FB=FF′+FC+BF=F′C′+FF′+FB=F′B olur F′B'yide kosinüs teoreminden hesaplayabiliriz;
AF′=AC=8−veya−7 olacağı için F′AB=60+α olacağı için kosinüs toplam açı formülünü de kullanarak ;
x+y+z=√82+72−2.8.7(12⋅1114−√32⋅5√314)
Ve x+y+z=√129 olur.