Circle $\omega$ lies inside the circle $\Omega$ and touches it internally at point $P$. Point $S$ is taken on $\omega$ and the tangent to $\omega$ is drawn through it. This tangent meets $\Omega$ at points $A$ and $B$. Let $I$ be the centre of $\omega$. Find the locus of circumcentres of triangles $AIB$.
Problem
Source: Tuymaada 2023 Junior P8
Tags: geometry
07.07.2023 21:07
We claim that the answer is a circle concentric with $\Omega$, with radius $\frac{2R-r}{2}$, if $R, r$ are the radii of $\Omega, \omega$. Let $R, O$ be the centers of $\Omega, \omega$, and let $C = IS \cap (AIB)$; then the orthocenter of $\triangle{ABC}$ is the reflection of $I$ over $S$, so by the Euler Line, if $M$ is the midpoint of $AB$ then $MO = \frac{SC}{2} - SI$. By Power of a Point, $SA \cdot SB = SI \cdot SC$, so $SC = \frac{SA \cdot SB}{SI} \implies MO = \frac{SA \cdot SB - SI^2}{2 \cdot SI}$. $SA \cdot SB = RP^2 - RS^2$, so $OR = MO - MR = \frac{RP^2 - RS^2 - PI^2}{2 \cdot PI} - MR = \frac{RP^2 - PI^2}{2 \cdot PI} - \frac{RS^2 + 2 \cdot RM \cdot PI}{2 \cdot PI}$. By the Pythagorean Theorem, $RS^2 = RI^2 + RM^2 - (RM + SI)^2 \implies RS^2 + 2 \cdot RM \cdot SI = RI^2 - SI^2$, so $OR = \frac{RP^2 - RI^2}{2 \cdot PI}$ which is a fixed value, simplifying to $\frac{RP + RI}{2}$ by difference of squares. $\square$
11.08.2023 08:33
See post #4
05.09.2023 13:30
You can solve it by law of sine
02.08.2024 18:19
Let $O,O'$ be centers of $PAB$ and $IAB$ and let $R,r$ be radius of $PAB$ and $IAB$. Note that $P_{PAB}(I)-P_{IAB}(I) = 2.IS.OO'$ and both $P_{PAB}(I)-P_{IAB}(I)$ and $IS$ are fixed so $OO'$ is also fixed so $O'$ lies on a circle centered at $O$. Now note that $P_{PAB}(I)-P_{IAB}(I) = r(2R-r) = 2.r.OO'$ so the radius of this circle is $\frac{2R-r}{2}$.