Fagnanon lause

orthic triangle: $\triangle DEF$
inscribed triangles: $\triangle DEF\,,\triangle GHI$
$|DE|+|EF|+|FD|\leq |GH|+|HI|+|IG|$

Euklidisessa geometriassa Fagnanonin lause on ortokolmioon liittyvä tulos. Sen mukaan ortokolmion piiri on lyhin sellaisen kolmion piiri, jonka kärjet ovat annetun teräväkulmaisen kolmion sivulla.