Ved å rekkeutvikle den hyperbolske funksjonen som en maclaurinrekke, vil (når man tar med de to første leddene) . Det kan da vises at når en hyperbolsk trekant blir lite (altså når , og alle går mot null), vil den hyperbolske formen av teoremet gå mot den euklidske formen.