Pedal Definition

The blue triangle in the above diagram is Pedal(A,B,C,P).

# The Pedal Triangle of the Triangle whose vertices are Points
# A, B, C w.r.t. to Point P

Pedal:=proc(A,B,C,P):

Ft(P,Le(A,B))   ,   Ft(P,Le(A,C))   ,   Ft(P,Le(B,C)):

end:

Definitions     Theorems