Analitikoki froga daiteke batezbesteko harmonikoaren (), batezbesteko geometrikoaren () eta batezbesteko aritmetiko sinplearen () artean erlazio hau betetzen dela:
Berdintza kalkulurako erabiltzen diren datu guztiak berdinak direnean gertatzen da.
Frogapena
Frogapen anitz asmatu da erlazioa frogatzeko. Horietatik batzuk geometria erabiltzen dute.
Kanpo estekak