Harcourts sats är en formel i geometrin för arean av en triangel som funktion av sidornas längder och avstånden från triangelns hörn till en godtycklig linje som tangerar den inskrivna cirkeln [1] .
Teoremet är uppkallat efter J. Harcourt, en irländsk professor [2] .
Låt triangeln ges av dess hörn A , B och C , sidorna mitt emot hörnen har längderna a , b och c , arean är lika med K och linjen berör cirkeln som är inskriven i triangeln i en godtycklig punkt. Låt oss beteckna avstånden från triangelns hörn till den räta linjen som a ', b ' och c ', medan om spetsen och cirkelns centrum ligger på motsatta sidor av den räta linjen anses avståndet vara negativt. Sedan
Om tangentlinjen innehåller en av triangelns sidor är två avstånd lika med noll och formeln förenklas till triangelformeln - två gånger är arean lika med produkten av basen och höjden.
Om a', b', c' istället för avståndet till en godtycklig tangent till den inskrivna cirkeln anger avstånden från sidorna till en godtycklig punkt, är likheten
förblir sant [5] .