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.