MirRefPtLe Definition

#In the above diagram, R=MirRefPtLe(P,L) .

# Mirror reflection of the point P w.r.t. to the line L

MirRefPtLe:=proc(P,L) local Q:

Q:=Ft(P,L)   :   normal(  [   Q[1]-(P[1]-Q[1])  ,   Q[2]-(P[2]-Q[2])  ]  ):

end:

Definitions     Theorems