Three distance formulas underpin this chapter's metric questions:
Point to point.D=(x2−x1)2+(y2−y1)2 (the ordinary Pythagorean distance).
Point to line. The distance from P(x1,y1) to the line ax+by+c=0 is
D=a2+b2ax1+by1+c,
proved by comparing the normal form of the given line with the normal form of the parallel line through P, and taking the difference of their normal lengths from the origin.
3. Line to parallel line. For a1x+b1y+c1=0 and a1x+b1y+c2=0 (same a1,b1), D=a12+b12∣c2−c1∣ — a special case of formula 2, taking the point as the origin (or any point) on one of the two lines.
Foot of the perpendicular and image of a point. From P(x1,y1), the foot of the perpendicular on ax+by+c=0 is found from the parametric relation
ax−x1=by−y1=a2+b2−(ax1+by1+c),
and the image (reflection) of P in that line doubles the same offset:
ax−x1=by−y1=a2+b2−2(ax1+by1+c).
(The foot is the midpoint of P and its image.) The same idea — reflect a point in a line, most often the x-axis or y-axis — is the standard tool for 'ray of light reflected off a surface' problems: the angle of incidence equals the angle of reflection exactly when the reflected ray is the straight line joining the image of the source to the target point.
Position of a point relative to a line and the acute-angle test. A point P(x1,y1) lies on the origin side or non-origin side of ax+by+c=0 (c=0) according as ax1+by1+c has the same or opposite sign as c. …
Reflection of (a,b) in the line y=−x is (−b,−a); apply it to (2,3).
The image of a point in a line is found by ensuring the line is the perpendicular bisector of the segment joining the point and its image.
Step 1. Set up the image point. Let the image of (2,3) in the line y=−x (i.e. x+y=0) be (h,k).
Step 2. Midpoint lies on the line. The midpoint of (2,3) and (h,k) is (22+h,23+k), and it must satisfy x+y=0:
22+h+23+k=0⟹(2+h)+(3+k)=0⟹h+k=−5(i)
Step 3. The joining segment is perpendicular to the line. The line x+y=0 has slope −1, so the segment from (2,3) to (h,k) (slope h−2k−3) must have slope 1 (negative reciprocal of −1):