It is recommendable to introduce the power of a point by solving the following exercises:
-
Exercise 1. Let be a point outside a circle and its tangent. Let an arbitrary line through intersects at the points and . Show that where is the radius of .
-
Exercise 2. Let be a point inside a circle . Let an arbitrary line through intersects at the points and . Show that where is the radius of .
The key message to deliver is that the product is constant, i.e., it does not depend on .
1. Power of a Point
Review the properties of cyclic quadrilaterals, tangent angles, and similar triangles.
Let be a point and a circle with center and radius .
Definition 1. The quantity is called the power of point with respect to the circle . If , then lies outside , and if , then lies inside . The locus of points with a given power of point is a circle with center and radius .
Theorem 1: Criterion for Concyclity. Let be a convex quadrilateral. Let the lines and intersect at , and the diagonals and intersect at . Then the following are equivalent:
- i) is a cyclic quadrilateral
- ii)
- iii)
-
Exercise 3. Let be a triangle and a point on the line outside of the segment . Then is tangent to the circumcircle of if and only if .
-
Exercise 4. Let two given circles and meet externally at the points and . Let be their common tangent with and . Prove that the line passes through the midpoint of .
-
Exercise 5. Let and be the circumcenter and the incenter of a triangle , respectively. Let and be the circumradius and the inradius of , respectively. Show that and .
-
Exercise 6. Let be an acute triangle. The line through perpendicular to intersects the circle with diameter at points and , and the line through perpendicular to intersects the circle with diameter at points and . Show that points and lie on the same circle.
2. Radical Axis
Review known loci of points in geometry.
Proposition 2: Radical Axis. Let and be two circles such that . The locus of the points such that is a line perpendicular to the line .
Methodological Suggestions: If two circles intersect in two points, their radical axis is the line through the intersection points. If two circles are mutually tangent, their radical axis is the tangent at the common point.
Theorem 3: Radical Axis Theorem. Let and be three circles with distinct centers. Let be the radical axis of and , the radical axis of and , and the radical axis of and . Then the lines and are either concurrent or parallel. The intersection point of the radical axes of three circles is called the radical center of the three circles.
Methodological Suggestions: The radical axis theorem is a powerful tool to show that three lines are concurrent. Also, the notion of radical axis may serve for showing that three or more points are collinear by identifying the line through them as the radical axis of two circles.
-
Exercise 7. The tangent line of the circumscribed circle of at vertex intersects the line at point , and point is the midpoint of segment . Points and are defined analogously. Prove that the points and are lying on the same line orthogonal to the Euler line of .
-
Exercise 8. Let and be the altitudes of a triangle and its orthocenter. Let be the midpoint of and the intersection point of the lines and . Show that is perpendicular to .
-
Exercise 9. Assume that the incircle of a scalene touches the sides and at the points and , respectively. Let be a point such that the incircle of touches at , and the sides and at the points and , respectively. Show that the lines and are concurrent.
3. Brianchon's Theorem
The next theorem is an important result and it holds in a projective setting.
Theorem 4: Brianchon's Theorem. Let be a tangent hexagon. Prove that the lines and intersect at the same point.
- Exercise 10. Let be a circumscribed quadrilateral whose incircle touches and at and , respectively. Prove that the lines and are concurrent.
4. Brocard's Theorem
The following fact is yet another important projective result that can be extremely useful in olympiad problem solving.
Proposition 5. Let be a cyclic quadrilateral. Let the lines and intersect at , the lines and at , and the diagonals and intersect at . Let and be tangents to the circumscribed circle of . Then the points and are collinear.
Methodological Suggestions: On some of the later training we are going to learn about the pole and the polar line that have deep meaning in projective geometry. It is essential to explain the power of a point well and emphasize its role in proving the fundamental results in geometry.
Theorem 6: Brocard's Theorem. Let be a cyclic quadrilateral and its circumcenter. Let the lines and intersect at , the lines and at , and the diagonals and intersect at . Then is the orthocenter of .
P1 IMO
-
Sharygin: Let be the incenter of triangle , and be the midpoints of arcs of its circumcircle. Prove that points are collinear if and only if
-
Let be an acute triangle. A line perpendicular to cuts in . Prove that the orthocenters of and are collinear with .
P1+ IMO
-
Let be a convex hexagon such that the triangles have the same centroid (). The points lie on such that Prove that the point is the centroid of .
-
RMM Let be an acute triangle () with incenter and circumcenter . Let the incircle touch at . Assume that the line through parallel to , the line through parallel to , and the altitude from are concurrent. Prove that the concurrency point is the orthocenter of .
P2 IMO
-
Ukraine TST: Let be an acute triangle with circumcenter and centroid . The perpendicular bisectors of the segments intersect at points . Prove that is the centroid of .
-
NSMO: Let be a triangle. The circle passes through the points and cuts again at . is the intersection of the segments and . Points lie on such that is the circumcenter of . Prove that .
-
USA TSTST: Let be an acute triangle with orthocenter and circumcircle . A line through intersects segments and at and , respectively. Let be the circumcenter of , and suppose line intersects again at a point . Prove that line and the line through perpendicular to meet on .
P2+ IMO
-
Iran TST: Let be a triangle with circumcenter . Points lie on such that reflection of on is tangent to the circumcircle of . Prove that the circumcircle of is tangent to the circumcircle of .
-
Iran TST: Let be a triangle, arbitrary points lie on side such that and lies between . The circumcircle of intersects sides at . The point is the intersection of . Two lines passing through the midpoint of and parallel to intersect at points . Prove that the circumcircle of and are tangent to each other.
-
Let be a triangle with incenter and circumcircle . Circles passing through and passing through are tangent at . Let meet minor arc of at and at , and let meet minor arc of at and at . Rays and meet at . Let be a point such that is tangent to and is tangent to . Show that are collinear.
P3 IMO
-
Let be an acute triangle with centroid , orthocenter . The line passing through and the projection of on cuts the circumcircle of at . Define similarly. Prove that are concurrent.
-
Ukraine TST: Let be an acute triangle with incircle touch sides at . Let be the excenter opposite to in . Define as the centroid of . Let be the projection of on . Prove that lines and intersect at a point on .
Level 4
P1 IMO
-
Sharygin Let be the incenter of triangle , and be the midpoints of arcs of its circumcircle. Prove that points are collinear if and only if
-
Let be an acute triangle. A line perpendicular to cuts in . Prove that the orthocenters of and are collinear with .
P1+ IMO
-
Let be a convex hexagon such that the triangles have the same centroid (). The points lie on such that Prove that the point is the centroid of .
-
RMM Let be an acute triangle () with incenter and circumcenter . Let the incircle touch at . Assume that the line through parallel to , the line through parallel to , and the altitude from are concurrent. Prove that the concurrency point is the orthocenter of .
P2 IMO
-
Ukraine TST Let be an acute triangle with circumcenter and centroid . The perpendicular bisectors of the segments intersect at points . Prove that is the centroid of .
-
NSMO Let be a triangle. The circle passes through the points and cuts again at . is the intersection of the segments and . Points lie on such that is the circumcenter of . Prove that .
-
USA TSTST Let be an acute triangle with orthocenter and circumcircle . A line through intersects segments and at and , respectively. Let be the circumcenter of , and suppose line intersects again at a point . Prove that line and the line through perpendicular to meet on .
P2+ IMO
-
Iran TST Let be a triangle with circumcenter . Points lie on such that reflection of on is tangent to the circumcircle of . Prove that the circumcircle of is tangent to the circumcircle of .
-
Iran TST Let be a triangle, arbitrary points lie on side such that and lies between . The circumcircle of intersects sides at . The point is the intersection of . Two lines passing through the midpoint of and parallel to intersect at points . Prove that the circumcircle of and are tangent to each other.
-
Let be a triangle with incenter and circumcircle . Circles passing through and passing through are tangent at . Let meet minor arc of at and at , and let meet minor arc of at and at . Rays and meet at . Let be a point such that is tangent to and is tangent to . Show that are collinear.
P3 IMO
-
Let be an acute triangle with centroid , orthocenter . The line passing through and the projection of on cuts the circumcircle of at . Define similarly. Prove that are concurrent.
-
Ukraine TST Let be an acute triangle with incircle touch sides at . Let be the excenter opposite to in . Define as the centroid of . Let be the projection of on . Prove that lines and intersect at a point on .