## Exploring Analyic Geometry with |
|||||

Home | Contents | Commands | Packages | Explorations | Reference |

Tour | Lines | Circles | Conics | Analysis | Tangents |

Reflection in a Point

reflctpt.html

Exploration

A point P'(x',y') is said to be the reflection of a point P(x,y) in the point C(H,K) if C is the midpoint of the segment P P'. Using this definition show the following.

A. The transformation equations for a reflection in a point are

B. The reflection of the line a x+b y+c=0 in the point (H,K) is

a x + b y-(2a H+2b K+c)=0;

C. The reflection of the quadratic in the point (H,K) is

Also, verify that the reflection in a point transformation is equivalent to a rotation of π radians about the reflection point (H,K).

Approach

Solve the midpoint relationship for the coordinates of the transformation. Substitute the reflected coordinates into the equation of a line to produce a reflected line. Substitute the reflected coordinates into the equation of a quadratic to produce the reflected quadratic. Apply the proposed rotation to show it is equivalent to the reflection.

Initialize

To initialize Descarta2D, select the input cell bracket and press SHIFT-Enter.

This initialization assumes that the Descarta2D software has been copied into one of the standard directories for AddOns which are on the Mathematica search path, $Path.

<<Descarta2D`

Solution

(H,K) is the midpoint of PP'. Solve for (x,y) and (x',y'). This is the solution to proposition A.

Clear[x,y,x1,y1,H,K];

{{Solve[(x+x1)/2==H,x1],

Solve[(y+y1)/2==K,y1]},

{Solve[(x+x1)/2==H,x],

Solve[(y+y1)/2==K,y]}}

Reflect a line through a point. This is the solution to proposition B.

Clear[a,b,c];

eq1=a*x+b*y+c /. {x->2H-x,y->2K-y};

Map[Times[-1,#]&,Line2D[eq1,{x,y}]]

Reflect a quadratic through a point. This is the solution to proposition C.

Clear[d,e,f];

eq2=a*x^2+b*x*y+c*y^2+d*x+e*y+f /. {x->2H-x,y->2K-y};

Quadratic2D[eq2,{x,y}]

The reflection is the same as the specified rotation. This is the solution to the final proposition.

Rotate2D[{x,y},Pi,{H,K}]

www.Descarta2D.com