A(DEF)=A(ABC)−A(AEF)−A(BDF)−A(CDE) olduğuna göre alanları teker teker bulalım.
A(ABC)=a.b.c4R=(x+y).(z+t).(u+v)4R
A(AEF)=u.t.sinA2 sinüs bağıntısından sinA=x+y2R olduğundan A(AEF)=u.t.(x+y)4R
A(BDF)=x.v.sinB2 sinüs bağıntısından sinB=z+t2R olduğundan A(BDF)=x.v.(z+t)4R
A(CDE)=y.z.sinC2 sinüs bağıntısından sinC=u+v2R olduğundan A(CDE)=y.z.(u+v)4R
O halde A(DEF)A(ABC)=(x+y).(z+t).(u+v)4R−x.v.(z+t)4R−x.v.(z+t)4R−y.z.(u+v)4Ra.b.c4R=(x+y).(z+t).(u+v)−x.v.(z+t)−x.v.(z+t)−y.z.(u+v)a.b.c olmalı. (x+y).(z+t).(u+v)−x.v.(z+t)−x.v.(z+t)−y.z.(u+v)=x.z.u+y.t.v olduğundan A(DEF)A(ABC)=x.z.u+y.t.va.b.c teoremini ispatlamış oluruz.