Mahaviran lause

Mahaviran lause on jännenelikulmioon liittyvä tulos Euklidisessa geometriassa. Jos jännenelikulmion sivujen pituudet ovat 
 ja
 sekä lävistäjien pituudet  ja , on  ja  Mahaviran lause seuraa Ptolemaioksen lauseesta.

Lähteet

Euklidinen geometria