Gergonne's Theorem
Gergonne:=proc() local m,n,T,Ci,A,B,C:
T:=Te(m,n): A:=T[1]: B:=T[2]:
C:=T[3]:
Ci:=Incircle(m,n):
end:
Concurrent(
Le(A ,
PtLeCe(Le(B,C),Ci)),
Le(B ,
PtLeCe(Le(A,C),Ci)),
Le(C ,
PtLeCe(Le(A,B),Ci))
):