Mahaviran lause

Mahaviran lause on jännenelikulmioon liittyvä tulos Euklidisessa geometriassa. Jos jännenelikulmion sivujen pituudet ovat $a,b,c$ ja $d$ sekä lävistäjien pituudet $n$ ja $m$, on $m^{2}={\frac {(ab+cd)(ac+bd)}{ad+bc}}$ ja $n^{2}={\frac {(ad+bc)(ac+bd)}{ab+cd}}.$ Mahaviran lause seuraa Ptolemaioksen lauseesta.