Güzel bir soru.
|BD||BC|=λ, |AF||AB|=μ, |CE||CA|=δ diyelim.
0<λ,μ,δ<1 dir ve alan oranlarından,
Alan(BFD)Alan(ABC)=λ(1−μ) den, λ(1−μ)=14 olur.
Benzer şekilde,
μ(1−δ)=δ(1−λ)=14 olur.
Bunlar taraf tarafa çarpılıp düzenlenirse:
λ(1−λ)μ(1−μ)δ(1−δ)=164 elde edilir.
Diğer taraftan Aritmetik Ortalama-Geometrik Ortalama eşitsizliğinden (veya ikinci derece polinomların özellikleri kullanılarak):
λ(1−λ)≤14 ve eşitlik sadece λ=12 iken sağlanır. Aynı nedenle
μ(1−μ)≤14 ve eşitlik sadece μ=12 iken sağlanır ve
δ(1−δ)≤14 ve eşitlik sadece δ=12 iken sağlanır.
Bu nedenle, λ(1−λ)μ(1−μ)δ(1−δ)=164 oluşundan,
λ(1−λ)=14,μ(1−μ)=14 ve δ(1−δ)=14 olmak zorundadır.
Bu nedenle,
λ=μ=δ=12 olmak zorundadır.
Bu da, D,E,F nin ABC üçgeninin kenarlarının orta noktaları olmaları demektir.
(Edit: Biraz daha açıklama ekledim)