
Sia ABC il triangolo,K il suo punto di Grebe e D,E,F le proiezioni ortogonali di esso sui tre lati.E' noto che le lunghezze di KD,KE e KF sono proporzionali alle lunghezze a,b,c dei lati di ABC (se qualcuno si vuole cimentare nella dimostrazione...) e dunque :
(1) $ \displaystyle \bar{KD}=ka,\bar{KE}=kb,\bar{KF}=kc $
[ i valori ka,kb,kc,presi con segno opportuno ,sono anche detti coordinate normali o trilineari di K].
E' facile calcolare la costante di proporzionalità k.Infatti,detta S l'area di ABC,risulta:
$ \displaystyle 2S=2\cdot Area(BKC)+2\cdot Area(CKA)+2\cdot Area(AKB) $
Oppure :
$ 2S=\bar{KD}\cdot a+\bar{KE}\cdot b+\bar{KF} \cdot c $
E per la (1):
$ \displaystyle 2S=k(a^2+b^2+c^2) $
da cui:
$ \displaystyle k=\frac{2S}{a^2+b^2+c^2} $
Ora abbiamo :
$ \displaystyle Area(EKF)=\frac{1}{2}\bar{KE}\cdot\bar{KF}\sin(\pi-\alpha) $
E per la (1):
$ \displaystyle Area(EKF)=\frac{1}{2} k^2bc\sin\alpha $
Ma $ \displaystyle bc\sin\alpha=2S $ e pertanto avremo:
$ \displaystyle Area(EKF)=\frac{1}{2} k^2\cdot 2S=\frac{4S^3}{(a^2+b^2+c^2)^2} $
Analogamente si ottiene che :
$ \displaystyle Area(EKD)=Area(DKF)=\frac{4S^3}{(a^2+b^2+c^2)^2} $
Da tutto questo si trae che i triangoli EKF,EKD e DKF sono equiestesi e questa è la proprietà caratterizzante del centroide di un triangolo.
Segue pertanto che il punto K è effettivamente il baricentro del triangolo pedale DEF.