Leibnizin lause

Leibnizin lause on geometriassa kolmiota koskeva tulos, joka kuuluu seuraavasti: Olkoon G kolmion ABC keskijanojen leikkauspiste. Tällöin jokaiselle pisteelle M on voimassa 
Myös seuraava tulos tunnetaan Leibnizin lauseena: Jos kolmion sivujen pituudet ovat  ja , ympäri piirretyn ympyrän keskipiste , kolmion mediaanien leikkauspiste  ja kolmion ympäri piirretyn ympyrän säde , niin . Lause voidaan todistaa Stewartin lauseen avulla.

Lähteet

Euklidinen geometria