Heron Teoreminin İspatı
Geometride u teoremi diyebilinen Heron Teoremi bize herhangi bir ABC üçgeninde yüksekliği bilmeden, sadece üç kenar uzunluğu bilinerek o üçgenin alanını bulmaya yardımcı olur.
Bir ABC üçgeninin iç teğet çemberi ile dış teğet çemberini alalım. Kenarları sırasıyla a, b, c olmak üzere, u=(a+b+c)/2 şeklinde tanımlayalım. u 'yu bu şekilde tanımladığımızda kenarlar aşağıdaki gibi olurlar. (bkz.)
Çemberlerin merkezleri ile üçgenin köşesi aynı doğrultu üzerinde bulunurlar. Merkezlerden teğetlere yarıçap çektiğimizde teğetle yarıçap arası 90 derece olur. (Teğet değme noktasında yarıçapa diktir.)
Aynı zamanda iç teğet çemberinin merkezinden de dış teğet çemberinin merkezinden de köşelere doğrular çektiğimizde açıortay elde ederiz. C kenarından çizilen iç ve dış açıortay arasında kalan açı 180/2=90 derece olur.
Şimdi sıra geldi benzerlik yapmaya. OiDC üçgeniyle CEOd üçgenleri birbirine benzer üçgenlerdir. Aynı zamanda, BDOi üçgeniyle BEOd üçgeni de benzer üçgenlerdir. Benzerlikleri yapıp düzenlediğimizde;
ABC üçgeninde iç teğet çemberinin yarıçapıyla u'nun çarpımı alanı verir. (bkz.) Yani, S=Alan(ABC)=u.r 'dir. Buradan, üstteki eşitliği de kullanarak Heron Teoremini elde etmiş oluruz.