Fagnanon lause

orthic triangle: $\mathrm{△}DEF$
inscribed triangles: $\mathrm{△}DEF,\mathrm{△}GHI$
$|DE|+|EF|+|FD|\le |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.