This assignment deals with a specific type of triangle called a Pedal Triangle. To define a pedal triangle, we begin with triangle ABC. We extend the segments AB, AC, and BC into lines in the plane. Then, for any point P in the plane, we take the perpendiculars from P to lines AB, AC, and BC. Each perpendicular will meet the triangle line at one point, which we'll call X, Y, and Z. The pedal triangle is formed from XYZ.
In the graphic below, triangle ABC appears in orange, with dashed extensions. Point P is the base point for the pedal triangle. The three perpendiculars are drawn in blue, meeting the sides at X, Y, and Z. The pedal triangle appears in gray.
Earlier, Assignment 8 contained a pedal triangle. The orthic triangle is the pedal triangle through the orthocenter O. For an acute triangle, the orthic triangle is the inscribed triangle of minimum perimeter. Also, as the purple angles denote, there are special angle equality properties for an orthic triangle, which do not hold for general pedal triangles.
No matter where P lies in the plane, there is always a pedal triangle. Whenever P lies inside triangle ABC, at least part of the pedal triangle will also lie inside ABC. But when P lies outside, the entire pedal triangle might also be outside, as in this example.
I created a GeoGebra applet that automatically creates the pedal triangle for A, B, C, and P. If you want to experiment, click through to the pedal.html page. I also created a Geometer's Sketchpad construction, called PedalTriangle.gsp in the Assignment 5 tool directory.
If we play around with P, A, B, and C in the applet, we find various locations for triangles. Sometimes the pedal triangle is completely inside ABC; sometimes part of it is inside; sometimes it's completely outside. There's one case of special interest, though. Sometimes it looks like X, Y, and Z are co-linear, and the triangle becomes a degenerate line. Here's one example.
Is this really true, that the triangle becomes degenerate? Yes, sometimes it does. When this occurs, the line is called the Simson line. Robert Simson was a Scottish professor in the 1700s, who published a translation of Euclid's Elements. However, he was not the first person to publish this result; it actually was his fellow Scot William Wallace in 1799.
Let's have brave hearts and charge into this battle, demonstrating the pedal triangle becomes degenerate if and only if P lies on the circumcircle drawn around triangle ABC. To show this, we have to show that points Y, X, and Z are all on the same line. We begin by looking at quadrilateral PACB, four points on the circumcircle. It's a cyclic quadrilateral. (If P does not lie on the circumcircle, PABC is not a cyclic quadrilateral and this does not work.)
For a cyclic quadrilateral, Euclid's elements tell us that the sum of opposite angles is 180 degrees. Here, that means in degrees, angle ACB + angle APB = 180. Angle APB equals angle APY plus angle YPB, so we have angle ACB + angle APY + angle YPB = 180.
We also have another cyclic quadrilateral PZCY. In this quadrilateral, one pair of opposite angles are YCZ and YPZ. Angle YCZ + angle YPZ = 180. Since Y lies on AC, and Z lies on CB, angle YCZ equals angle ACB.
Using the equations, this means angle APB = angle YPZ. Since angle YPB is part of both APB and YPZ, we have shown the equivalence of two small angles, angle APY equalling angle BPZ. Those angles are shown in purple.
Next, we use cyclic quadrilateral PXYA to show that angle APY equals angle AXY, because points P and X are both on the circle and they both subtend the same arc. We also need cyclic quadrilateral PXBZ (outlined in yellow) to show that angle ZPB equals angle ZXB. We now have four purple angles, all equal to each other.
Most importantly, angles ZXB and YXA are equal. Since AB is a straight line segment, this can only occur if ZXB and YXA are vertical opposite angles, which means Y, X, and Z are all on the same line. This completes the proof, since collinearity is achieved if P is on the circumcircle with A, B, and C, while the proof does not work if P is not on the circumcircle.