The Finsler-Hadwiger Theorem
FinslerHadwiger:=proc()
local a,b,A,B,C,D,B1,C1,D1,Q,R,S,T:
A:=[0,0]: B:=[-1,0]: C:=[-1,1]:
D:=[0,1]:
B1:=[a,b]: C1:=[a+b,b-a]: D1:=[b,-a]:
Q:=MidPt(D,B1):
S:=MidPt(B,D1):
R:=Pt(
Le(B,D),
Le(A,C)):
T:=Pt
(Le
(B1,D1),Le(A,C1)):
ItIsSquare(Q,T,S,R):
end: