In plane geometry, a pedal triangle is obtained by projecting a point onto the sides of a triangle.
More specifically, consider a triangle Template:Math, and a point Template:Mvar that is not one of the vertices Template:Mvar. Drop perpendiculars from Template:Mvar to the three sides of the triangle (these may need to be produced, i.e., extended). Label Template:Mvar the intersections of the lines from Template:Mvar with the sides Template:Mvar. The pedal triangle is then Template:Math.
If Template:Math is not an obtuse triangle and Template:Mvar is the orthocenter, then the angles of Template:Math are Template:Math, Template:Math and Template:Math.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
The quadrilaterals Template:Mvar are cyclic quadrilaterals.
The location of the chosen point Template:Mvar relative to the chosen triangle Template:Math gives rise to some special cases:
- If Template:Mvar is the orthocenter, then Template:Math is the orthic triangle.
- If Template:Mvar is the incenter, then Template:Math is the intouch triangle.
- If Template:Mvar is the circumcenter, then Template:Math is the medial triangle.
- If Template:Mvar is on the circumcircle of the triangle, Template:Math collapses to a line (the pedal line or Simson line).
The vertices of the pedal triangle of an interior point Template:Mvar, as shown in the top diagram, divide the sides of the original triangle in such a way as to satisfy Carnot's theorem:<ref>Template:Cite book</ref>
<math display=block>|AN|^2 + |BL|^2 + |CM|^2 = |NB|^2 + |LC|^2 + |MA|^2.</math>
Trilinear coordinatesEdit
If Template:Mvar has trilinear coordinates Template:Math, then the vertices Template:Mvar of the pedal triangle of Template:Mvar are given by <math display=block>\begin{array}{ccccccc}
L &=& 0 &:& q+p\cos C &:& r+p\cos B \\[2pt] M &=& p+q\cos C &:& 0 &:& r+q\cos A \\[2pt] N &=& p+r\cos B &:& q+r\cos A &:& 0
\end{array}</math>
Antipedal triangleEdit
One vertex, Template:Mvar, of the antipedal triangle of Template:Mvar is the point of intersection of the perpendicular to Template:Mvar through Template:Mvar and the perpendicular to Template:Mvar through Template:Mvar. Its other vertices, Template:Mvar and Template:Mvar, are constructed analogously. Trilinear coordinates are given by <math display=block>\begin{array}{ccrcrcr}
L' &=& -(q+p\cos C)(r+p\cos B) &:& (r+p\cos B)(p+q\cos C) &:& (q+p\cos C)(p+r\cos B) \\[2pt] M' &=& (r+q\cos A)(q+p\cos C) &:& -(r+q\cos A)(p+q\cos C) &:& (p+q\cos C)(q+r\cos A) \\[2pt] N' &=& (q+r\cos A)(r+p\cos B) &:& (p+r\cos B)(r+q\cos A) &:& -(p+r\cos B)(q+r\cos A)
\end{array}</math>
For example, the excentral triangle is the antipedal triangle of the incenter.
Suppose that Template:Mvar does not lie on any of the extended sides Template:Mvar, and let Template:Math denote the isogonal conjugate of Template:Mvar. The pedal triangle of Template:Mvar is homothetic to the antipedal triangle of Template:Math. The homothetic center (which is a triangle center if and only if Template:Mvar is a triangle center) is the point given in trilinear coordinates by
<math display=block>ap(p+q\cos C)(p+r\cos B) \ :\ bq(q+r\cos A)(q+p\cos C) \ :\ cr(r+p\cos B)(r+q\cos A)</math>
The product of the areas of the pedal triangle of Template:Mvar and the antipedal triangle of Template:Math equals the square of the area of Template:Math.
Pedal circleEdit
{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}
The pedal circle is defined as the circumcircle of the pedal triangle. Note that the pedal circle is not defined for points lying on the circumcircle of the triangle.
Pedal circle of isogonal conjugatesEdit
For any point Template:Mvar not lying on the circumcircle of the triangle, it is known that Template:Mvar and its isogonal conjugate Template:Mvar have a common pedal circle, whose center is the midpoint of these two points.<ref>Template:Cite book</ref>
ReferencesEdit
External linksEdit
- Mathworld: Pedal Triangle
- Simson Line
- Pedal Triangle and Isogonal Conjugacy
- pedal triangle and pedal circle - interactive illustration