Harcourtův teorém je vzorec v geometrii pro obsah trojúhelníku jako funkce délek stran a vzdáleností od vrcholů trojúhelníku k libovolné přímce tečné k vepsané kružnici [1] .
Věta je pojmenována po J. Harcourtovi, irském profesorovi [2] .
Nechť je trojúhelník dán jeho vrcholy A , B a C , protilehlé strany k vrcholům mají délky a , b a c , obsah je roven K a přímka se dotýká kružnice vepsané trojúhelníku v libovolném bodě. Označme vzdálenosti od vrcholů trojúhelníku k přímce jako a ', b ' a c ', zatímco pokud vrchol a střed kružnice leží na opačných stranách přímky, považujeme vzdálenost za zápornou. Pak
Pokud tečna obsahuje jednu ze stran trojúhelníku, pak se dvě vzdálenosti rovnají nule a vzorec se zjednoduší na vzorec trojúhelníku - dvojnásobek plochy se rovná součinu základny a výšky.
Pokud a', b', c' místo vzdálenosti k libovolné tečně k vepsané kružnici označují vzdálenosti od stran k libovolnému bodu, rovnost
zůstává pravda [5] .