Leon Anne's Theorem

LeonAnne:=proc() local A,B,C,D,O,L,x1,M1,M2:

M1:=Mid MidPt(A,C):   M2:=MidPt(B,D):
L:=Le(M1,M2):  O:=[x1,subs(x=x1,solve(L,y))]:

ItIsZero
(1/2-
(AREA(A,B,O)+AREA(C,D,O))/(AREA(A,B,C)+AREA(A,C,D) )
):

end:


Previous    Definitions     Theorems     Next