Hingen lause

Hingen lause eli Hingen teoreema on geometriassa yksinkertainen kolmon geometriaan liittyvä lause. Se kuuluu seuraavasti: Jos kolmioille (viereinen kuva) ${\displaystyle ABC}$ ja ${\displaystyle ABC'}$ on voimassa ${\displaystyle AC=AC'}$ ja ${\displaystyle \measuredangle BAC'<\measuredangle BAC}$, niin silloin on myös ${\displaystyle BC'<BC}$.

Lauseen eräs todistus hyödyntää pistettä D, joka on kulman ${\displaystyle C'AC}$ kulmanpuolittajalla. Koska ${\displaystyle DC'=DC}$, seuraa kolmioepäyhtälöstä

${\displaystyle BC'<BD+DC'=BD+DC=BC.}$

• Hingen lause Wolframin MathWorldissa