Isogonal conjugate

In geometry, the isogonal conjugate of a point P with respect to a triangle △ABC is constructed by reflecting the lines PA, PB, PC about the angle bisectors of A, B, C respectively. These three reflected lines concur at the isogonal conjugate of P. (This definition applies only to points not on a sideline of triangle △ABC.) This is a direct result of the trigonometric form of Ceva's theorem. The isogonal conjugate of a point P is sometimes denoted by P*. The isogonal conjugate of P* is P. The isogonal conjugate of the incentre I is itself. The isogonal conjugate of the orthocentre H is the circumcentre O. The isogonal conjugate of the centroid G is (by definition) the symmedian point K. The isogonal conjugates of the Fermat points are the isodynamic points and vice versa. The Brocard points are isogonal conjugates of each other. In trilinear coordinates, if X = x : y : z is a point not on a sideline of triangle △ABC, then its isogonal conjugate is X ∗ = X − 1 = 1 x : 1 y : 1 z . {\displaystyle X^{*}=X^{-1}={\frac {1}{x}}:{\frac {1}{y}}:{\frac {1}{z}}.} Because the conjugate coordinates are reciprocals, the isogonal conjugate of X is sometimes denoted by X –1. The set S of triangle centers under the trilinear product, defined by ( p : q : r ) ∗ ( u : v : w ) = p u : q v : r w , {\displaystyle (p:q:r)*(u:v:w)=pu:qv:rw,} is a commutative group, and the inverse of each X in S is X –1. As isogonal conjugation is a function, it makes sense to speak of the isogonal conjugate of sets of points, such as lines and circles. For example, the isogonal conjugate of a line is a circumconic; specifically, an...