Esasen geometride (istisnalar hariç) gerek soruyu sorarken gerek çözümü yaparken verilenlere uygun bir şeklin çizilmesi,sorunun ve çözümün anlaşılırlığı için önemli ve uygundur. Ancak ben bilgisayarda şekil çizemediğim için çözümü şekilsiz(kağıda çözüm için çizdiğim şekle göre) yapmaya çalışacağım.

Bu soruya uygun bir şekli çözüme ekleyecek arkadaşa minnettar olacağım.
Dar açılı(bütün iç açı ölçüleri 90 dereceden küçük olan ) ABC üçgeninin içteğet çemberinin merkezi O (iç açıortayların kesim noktası) ve yarıçap uzunluğu da r birim ve bu çemberin [AB],[BC],[AC] kenarlarına değme noktaları ise sırası ile D,E,F olsun. Değme üçgeni dediğim üçgen bu DEF üçgenidir.
s(ˆA)=2α,s(ˆB)=2β,s(ˆC)=2θ olsun.
Bir çembere dışındaki bir noktadan çizilen teğet boyları eşit olduğundan; ADF,BDE,CEF birer ikizkenar üçgendir. Ayrıca O noktasını değme noktalarına birleştiren yarıçapların ABC üçgeninin kenarlarına dikliğini görürsek,
ADOF,BDOE,CEOF dörtgenlerinin hem birer kirişler dörtgeni hemde birer deltoit olduklarını görebiliriz. Ayrıca bu deltoitlerin O köşesindeki iç açı ölçülerinin 90 dereceden büyük olduğunu( çünkü ABC dar açılı idi) ve yine [AO],[BO],[CO] köşegenlerinin iç açıortay olduklarını görmek zor değildir. Böylece oluşan ve ikişer ikişer eş olan ADO ile AFO,BDO ile BEO,CEO ile CFO, üçgenleri dik olup herbirinin O köşesindeki iç açı ölçüsü diğer dar açıdan büyüktür.
Çünkü 2α<90,2θ<90,2θ<90 olduğundan 180−2α>90,180−2θ>90,180−2θ>90 olup
90−α>45,90−β>45,90−θ>45 olacaktır.
Eğer |AD|=|AF|=a,|BD|=|BE|=b,|CE|=|CF|=c denirse,
r<a,r2<a2
r<b,r2<b2
r<c,r2<c2 olacaktır. Ayrıca s(^ADF)=s(^AFD)=x,s(^BDE)=s(^BED)=y,s(^CEF)=s(^CFE)=z denirse,
çemberde aynı yayı gören çevre açı ölçülerinin eşitliğinden s(^DEF)=x,s(^DFE)=y,s(^EDF)=z olacaktır.
Şimdi A(DEF)=A(DOF)+A(DOE)+A(EOF)
A(DEF)=12r2Sin(180−2α)+12r2Sin(180−2β)+12Sin(180−2θ)
A(DEF)=12r2(Sin2α+Sin2β+Sin2θ)....(1) dir.
A(ABC)=A(ADF)+A(BDE)+A(CEF)+A(DEF)
A(ABC)=12a2Sin2α+12b2Sin2β+12c2Sin2θ+12r2(Sin2α+Sin2β+Sin2θ)
A(DEF)A(ABC)=12r2(Sin2α+Sin2β+Sin2θ)12a2Sin2α+12b2Sin2β+12c2Sin2θ+12r2(Sin2α+Sin2β+Sin2θ) olur. Burada r2<a2,r2<b2,r2<c2 olduğu kullanılırsa,
A(DEF)A(ABC)≤12r2(Sin2α+Sin2β+Sin2θ)12r2Sin2α+12r2Sin2β+12r2Sin2θ+12r2(Sin2α+Sin2β+Sin2θ) ve .
A(DEF)A(ABC)≤12r2(Sin2α+Sin2β+Sin2θ)r2(Sin2α+Sin2β+Sin2θ)
A(DEF)A(ABC)≤12 olacaktır. Eşitlik halinin a=b=c=r olması ile mümkün olacağının ancak bunun da üçgen çizimine izin vermediğinin bilinmesi iyi olur. İspatın dik açılı ve geniş açılı üçgenler için yapılması okuyucuya bırakılmıştır.