Lemoine's Theorem

Lemoine:=proc() local m,n,T,A,B,C,G:

T:=Te(m,n):   A:=T[1]:   B:=T[2]:   C:=T[3]:   G:=Centroid(T):

Concurrent(
MirRefLeLe(  Le(A,G)   ,   LePtSlope(A,m) ),
MirRefLeLe(  Le(B,G)   ,   LePtSlope(B,-n) ),
MirRefLeLe(   Le(C,G)   ,   LePtSlope(C, TS(m,1/n)))
                    ):

end: