Brocard points

In a triangle with sides , where the vertices are labeled in counterclockwise order, there is exactly one point such that the line segments form the same angle, , with the respective sides , namely that \angle PAB = \angle PBC = \angle PCA =\omega.\, Point is called the first Brocard point of the triangle , and the angle is called the Brocard angle of the triangle. This angle has the property that \cot\omega = \cot\!\bigl(\angle CAB\bigr) + \cot\!\bigl(\angle ABC\bigr) + \cot\!\bigl(\angle BCA\bigr). There is also a second Brocard point, , in triangle such that line segments form equal angles with sides respectively. In other words, the equations \angle QCB = \angle QBA = \angle QAC apply. Remarkably, this second Brocard point has the same Brocard angle as the first Brocard point. In other words, angle \angle PBC = \angle PCA = \angle PAB is the same as \angle QCB = \angle QBA = \angle QAC. The two Brocard points are closely related to one another; in fact, the difference between the first and the second depends on the order in which the angles of triangle are taken. So for example, the first Brocard point of is the same as the second Brocard point of . The two Brocard points of a triangle are isogonal conjugates of each other. == Construction ==

The most elegant construction of the Brocard points goes as follows. In the following example the first Brocard point is presented, but the construction for the second Brocard point is very similar. As in the diagram above, form a circle through points and , tangent to edge of the triangle (the center of this circle is at the point where the perpendicular bisector of meets the line through point that is perpendicular to ). Symmetrically, form a circle through points and , tangent to edge , and a circle through points and , tangent to edge . These three circles have a common point, the first Brocard point of . See also Tangent lines to circles. The three circles just constructed are also designated as epicycles of . The second Brocard point is constructed in similar fashion. == Trilinears and barycentrics of the first two Brocard points==

Homogeneous trilinear coordinates for the first and second Brocard points are: \begin{array}{rccccc} P= & \frac{c}{b} &:& \frac{a}{c} &:& \frac{b}{a} \\ Q= & \frac{b}{c} &:& \frac{c}{a} &:& \frac{a}{b} \end{array} Thus their barycentric coordinates are: \begin{array}{rccccc} P = & c^2a^2 &:& a^2b^2 &:& b^2c^2 \\ Q = & a^2b^2 &:& b^2c^2 &:& c^2a^2 \end{array} ==The segment between the first two Brocard points==

The Brocard points are an example of a bicentric pair of points, but they are not triangle centers because neither Brocard point is invariant under similarity transformations: reflecting a scalene triangle, a special case of a similarity, turns one Brocard point into the other. However, the unordered pair formed by both points is invariant under similarities. The midpoint of the two Brocard points, called the Brocard midpoint, has trilinear coordinates \sin(A +\omega ) : \sin(B+\omega) : \sin(C+\omega)=a(b^2+c^2):b(c^2+a^2):c(a^2+b^2), and is a triangle center; it is center X(39) in the Encyclopedia of Triangle Centers. The third Brocard point, given in trilinear coordinates as \csc (A-\omega ) : \csc(B-\omega):\csc(C-\omega)=a^{-3}:b^{-3}:c^{-3}, is the Brocard midpoint of the anticomplementary triangle. It is center X(76) in the Encyclopedia of Triangle Centers. Further: • The third Brocard point is the isotomic conjugate of the symmedian point. • The third Brocard point is the perspector of the Brocard triangle and . • The third Brocard point lies on the diameter of the circumcircle joining the Steiner point and the Tarry point. The distance between the first two Brocard points and is always less than or equal to half the radius of the triangle's circumcircle: \overline{PQ} = 2R\sin \omega \sqrt{1-4\sin ^2\omega} \le \frac{R}{2}. The segment between the first two Brocard points is perpendicularly bisected at the Brocard midpoint by the line connecting the triangle's circumcenter and its symmedian point. Moreover, the circumcenter, the Lemoine point, and the first two Brocard points are concyclic—they all fall on the Brocard circle, of which the segment connecting the circumcenter and the Lemoine point is a diameter. The tangents to the Brocard circle at the first two Brocard points concur at the isogonal conjugate of the third Brocard point. ==Distance from circumcenter==

The Brocard points and are equidistant from the triangle's circumcenter : \overline{PO} = \overline{QO} = R\sqrt{\frac{a^4+b^4+c^4}{a^2b^2+b^2c^2+c^2a^2}-1} = R\sqrt{1-4\sin^2 \omega }. ==Similarities and congruences==

The pedal triangles of the first and second Brocard points are congruent to each other and similar to the original triangle. If the lines , each through one of a triangle's vertices and its first Brocard point, intersect the triangle's circumcircle at points , then the triangle is congruent with the original triangle . The same is true if the first Brocard point is replaced by the second Brocard point . ==Notes==