Tangents intersect on AC

Art of Problem Solving

AoPS Online

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

No tags match your search

M

Tangents intersect on AC

G H J

Reveal topic tags

geometric transformation

L

G H BBookmark kLocked kLocked NReply

Source: All Russian 2017,grade 10,day 2,P8

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

237 posts

#1 h May 1, 2017, 5:47 AM • 4 Y

Y by doxuanlong15052000, Adventure10, Mango247, NO_SQUARES

In a non-isosceles triangle $ABC$ , $O$ and $I$ are circumcenter and incenter,respectively. $B^\prime$ is reflection of $B$ with respect to $OI$ and lies inside the angle $ABI$ .Prove that the tangents to circumcirle of $\triangle BB^\prime I$ at $B^\prime$ , $I$ intersect on $AC$ . (A. Kuznetsov)

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

71 posts

Lsway

#2 h May 1, 2017, 6:12 AM • 5 Y

Y by mhq, doxuanlong15052000, like123, Adventure10, NO_SQUARES

This problem is too simple ,as this structure has appeared before.
solution
Here is Chinese translation of geometry problems in 2017 ARMO:
ARMO几何试题的中文译文

This post has been edited 3 times. Last edited by Lsway, May 11, 2017, 4:39 AM
Reason: thanks jred for pointing out the typo

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

1980 posts

#3 h May 1, 2017, 2:21 PM • 2 Y

Y by Adventure10, Mango247

Aha! Nice problem!

Let $L$ be a point on $BC$ such that $\angle OIL=90^{\circ}$ . It's clear that $IL$ is tangent to $(BIB')$ so it suffices to check $LI=LB'$ . To see this actually holds, let $M$ be the point on the external bisector of angle $ABC$ such that $M, I, L$ are collinear.

Claim: $IM=2IL$ .

(Proof) Let $A', C', L'$ be points symmetric to $I$ in $A, C, L$ respectively; $I_A, I_B, I_C$ be the excenters opposite to $A, B, C$ in $\triangle ABC$ . Let $IL$ meet the circumcircle of triangle $I_AI_BI_C$ at $X, Y$ . Note that $I$ is the midpoint of $XY$ and $A', C'$ lie on this circle so by Butterfly's Theorem we get $IM=IL'$ as claimed. $\square$

Evidently, $IM=2IL$ so the midpoint of $IM$ is equidistant from $B$ and $I$ . Reflecting in $OI$ yields the conclusion.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

203 posts

Gems98

#4 h May 3, 2017, 6:43 AM • 1 Y

Y by Adventure10

How to use butterfly? I don't understand.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

89 posts

DSD

#5 h May 8, 2017, 6:17 AM • 1 Y

Y by Adventure10

Well... This configuration is so popular that this is a bad problem for olympiad.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

290 posts

jred

#6 h May 11, 2017, 2:57 AM • 2 Y

Y by Adventure10, Mango247

Lsway wrote:

This problem is too simple ,as this structure has appeared before.
Let $\{ D,A\}=AI \cap \odot O,\{ E,C\}=AI \cap \odot O.$ The line through $I$ perpendicular to $OI$ intersects $AC,DE$ at $F,G.$
Obviously $IG=IB$ .From Butterfly Theorem we can know $IG=IF$ .Hence $GBB^\prime F$ is a isosceles trapezoid $\Longrightarrow IF=B^\prime F$
$OI$ passes through the circumcenter of $\triangle BB^\prime I$ $\Longrightarrow$ $IF$ is tangent to $\odot (BB^\prime I).$
$\therefore F$ is the pole of $B^\prime I$ WRT $\odot (BB^\prime I)$

There's a typo in " $IG=IB$ ", which should be $IG=BG$ .

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

22 posts

Pqrq

#9 h Feb 4, 2021, 7:22 PM • 4 Y

Y by guptaamitu1, sabkx, Mango247, Mango247

A synthetic solution:
First, we note that $B'$ lies on $(ABC)$ , and the tangent line from $I$ to $(BIB')$ is perpendicular to $OI$ . Let this line intersect line $AC$ at point $D$ . Let $(B'ID)$ intersect $(ABC)$ again at $E$ and let $BI$ intersect $(ABC)$ at $F$
Claim: $E,D$ and $F$ are collinear.
Proof: From the cyclic quadrilaterals, we have $\angle(B'EF)$ $=$ $\angle(B'BI)$ $=$ $\angle(B'ID)$ $=$ $\angle(B'ED)$ (the angles are directed)
which means that $E,D$ and $F$ are on the same line.
On the other hand, it is well known that $FI^2$ $=$ $FA^2$ $=$ $FD.FE$ (just consider that the triangles $FEI$ and $FID$ are similar from some angle chasing), which gives us that $\angle(DIF)$ $=$ $\angle(DEI)$ $=$ $\angle(DB'I)$ . As the line $IO$ is perpendicular to the line $BB'$ and $ID$ , we get that $BB' \parallel IO$ $\Rightarrow$ $\angle(B'BI)$ $=$ $\angle(DIF)$ $\Rightarrow$ $\angle(DB'I)$ $=$ $\angle(B'BI)$ , which gives us the desired result.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

308 posts

#10 h Oct 7, 2021, 5:00 AM

Y by

Let the tangent of $(BIB')$ at $B$ meet $AC$ at $N$ . Let $I'$ be the $B$ -excentre of $\triangle ABC$

Claim. $I'N$ is parallel to $BB'$
Proof.
Consider the $\sqrt{ac}$ inversion at $B$ together with a reflection w.r.t. the angle bisector of $\angle ABC$ . Then $I$ and $I'$ are interchanged by a well-known fact, and since
$\angle NBI=\angle BB'I=\angle IBB'$ $N,B'$ are interchanged. Therefore, let $B"$ be the reflection of $B'$ w.r.t. $BI'$ , then
$BN\times BB"=BI\times BI'$ so $\angle NI'I=\angle NB"I=\angle BB'I=\angle IBB'$ as desired.

Let $AC$ and $NI$ meet $BB'$ at $Y$ and $Z$ , then notice that
$(Z,\infty_{BB'};B,Y)\overset{N}{=}(I,I';B,X)=-1$ hence $Z$ is the midpoint of $BY$ . Let the tangent at $I$ to $(BB'I)$ meet $AC$ at $K$ . By Menelaus Theorem,
$\frac{XN}{NY}=\frac{XI}{IB}=\frac{XK}{KY}$ Hence $(N,K;X,Y)=-1$ , let $BK$ meet $(BB'I)$ at $M$ , then
$(B,M;I,B')\overset{B}{=}(N,K;X,Y)=-1$ so $BM$ is the symmedian, and hence $B'K$ is also tangent to $(BB'I)$ as desired.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

662 posts

#11 h Jan 1, 2024, 1:30 PM

Y by

$[asy] /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */ import graph; size(15cm); real labelscalefactor = 0.5; /* changes label-to-point distance */ pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */ pen dotstyle = black; /* point style */ real xmin = -0.5019221130933795, xmax = 10.524085136626205, ymin = -3.887731601333456, ymax = 6.31697901487125; /* image dimensions */ pen zzttff = rgb(0.6,0.2,1); pen ffvvqq = rgb(1,0.3333333333333333,0); pen ccqqqq = rgb(0.8,0,0); pen fuqqzz = rgb(0.9568627450980393,0,0.6); draw((5.089151824129454,5.681396605104741)--(1.1277632238424022,-0.40960506378786654)--(9.86,-0.97)--cycle, linewidth(0) + zzttff); /* draw figures */ draw(circle((5.603185729910748,1.0134060041169868), 4.696207736802406), linewidth(0.4) + ffvvqq); draw((xmin, -1.4494003812695395*xmin + 9.13466553737367)--(xmax, -1.4494003812695395*xmax + 9.13466553737367), linewidth(0.4)); /* line */ draw(circle((3.803055574480963,3.6225153377317145), 2.4275575454558167), linewidth(0.4) + blue); draw((xmin, 0.6899404836116384*xmin-1.9506421541145997)--(xmax, 0.6899404836116384*xmax-1.9506421541145997), linewidth(0.4)); /* line */ draw((xmin, -43.86219678693563*xmin + 228.9027753936632)--(xmax, -43.86219678693563*xmax + 228.9027753936632), linewidth(0.4)); /* line */ draw((1.4217141321179394,3.151082870262763)--(5.089151824129454,5.681396605104741), linewidth(0.4)); draw(circle((1.8851332804091432,-1.1009206439711579), 4.277182623183226), linewidth(0.4) + ccqqqq); draw((xmin, -0.4060438844733494*xmin + 3.7283611990785883)--(xmax, -0.4060438844733494*xmax + 3.7283611990785883), linewidth(0.4)); /* line */ draw((5.089151824129454,5.681396605104741)--(2.139474534635018,-0.4745320590137304), linewidth(0.4)); draw(circle((2.971265054557991,1.573991639358992), 2.210955633165981), linewidth(0.4) + fuqqzz); draw((0.9135400468404049,0.7652317216812884)--(5.302423346387603,-3.6731608732315326), linewidth(0.4)); /* dots and labels */ dot((5.089151824129454,5.681396605104741),dotstyle); label("$B$", (5.145189252368726,5.830338190688077), NE * labelscalefactor); dot((1.1277632238424022,-0.40960506378786654),dotstyle); label("$A$", (1.193075892335701,-0.26004545742253465), NE * labelscalefactor); dot((9.86,-0.97),dotstyle); label("$C$", (9.92311734434895,-0.8204197398152786), NE * labelscalefactor); dot((5.603185729910749,1.0134060041169861),linewidth(4pt) + dotstyle); label("$O$", (5.661323459835726,1.126143556917411), NE * labelscalefactor); dot((5.1816463067955105,1.6243854047003539),linewidth(4pt) + dotstyle); label("$I$", (5.233669402220213,1.745504605877812), NE * labelscalefactor); dot((1.4217141321179394,3.151082870262763),dotstyle); label("$B'$", (1.4880097251739863,3.2939072282788153), NE * labelscalefactor); dot((2.139474534635018,-0.4745320590137304),linewidth(4pt) + dotstyle); label("$D$", (2.1958509239858715,-0.3632722989159348), NE * labelscalefactor); dot((5.302423346387603,-3.6731608732315326),linewidth(4pt) + dotstyle); label("$E$", (5.3663896269974405,-3.5485576935694265), NE * labelscalefactor); dot((3.255432978123696,4.416239737683751),linewidth(4pt) + dotstyle); label("$H$", (3.3165994887713564,4.532629326199618), NE * labelscalefactor); dot((0.9135400468404049,0.7652317216812884),linewidth(4pt) + dotstyle); label("$J$", (0.9718755177069869,0.8901964906467819), NE * labelscalefactor); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); /* end of picture */[/asy]$
Let $J = (B'ID) \cap (ABC)$ , Let $E$ be the arc midpoint; Let $D$ be on $AC$ such that $\measuredangle OID = 90^\circ$ .
Claim: $E-J-D$
Proof
By Shooting lemma and Incenter-excenter lemma, $MI^2=MA^2=MJ \cdot MD$ ; $\measuredangle DB'I = \measuredangle DJI = \measuredangle EID$ which is equal to $\measuredangle DIB'$ due to reflection, Hence we're done.

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

1095 posts

#12 h Mar 24, 2024, 5:49 PM • 1 Y

Y by buratinogigle

Since $OB=OB'$ we have $B' \in (ABC)$ .
Let $K$ be a point of intersection tangents to $(BB'I)$ in points $B'$ and $I$ . We want to prove that $K \in AC$ .
Note that since $BI=B'I$ , we have $\Delta BB'I \sim \Delta IB'K$ .
Now let's use complex coordinates.
Let $(ABC)$ be a unit circle, $A$ has coordinate $a^2$ , $C$ has coordinate $\frac{1}{a^2}$ and $B$ has coordinate $b^2$ so that $I$ has coordinate $-(1+ab+\frac{b}{a})=j$ . Also let $B'$ has coordinate $x \not = b^2$ and $K$ has coordinate $k$ .

We have $(j-b^2)\overline{(j-b^2)}=(j-x)\overline{(j-x)} \Rightarrow \frac{j}{b^2}+b^2\overline{j}=\frac{j}{x}+x\overline{j} \Rightarrow j\frac{x-b^2}{b^2x}=\overline{j}(x-b^2) \Rightarrow j=b^2x\overline{j}$ $\Rightarrow x=\frac{j}{b^2\overline{j}}=\frac{-(1+ab+b/a)}{-b^2(1+\frac{1}{ab}+a/b)}=\frac{a+a^2b+b}{ab^2+a^2b+b}.$ Now since $\Delta BB'I \sim \Delta IB'K$ , we get $\frac{b^2-x}{j-x}=\frac{j-x}{x-k}$ $\Rightarrow k=\frac{j^2-2jx+b^2x}{b^2-x}=\frac{(1+ab+b/a)^2+2(1+ab+b/a)\frac{a+a^2b+b}{ab^2+a^2b+b}+b^2\frac{a+a^2b+b}{ab^2+a^2b+b}}{b^2-\frac{a+a^2b+b}{ab^2+a^2b+b}}=\frac{(a^2b+a+b)(a^2b+2a+b)}{a^2(b-1)(b+1)}.$ And we want to check that $k+\overline{k}=a^2+1/a^2$ .
Note that $\overline{k}=\frac{-(a^2+ab+1)(a^2+2ab+1)}{a^2(b-1)(b+1)}$ so $k+\overline{k}=\frac{(a^2b+a+b)(a^2b+2a+b)-(a^2+ab+1)(a^2+2ab+1)}{a^2(b-1)(b+1)}=\frac{a^4b^2+b^2-a^4-1}{a^2(b^2-1)}=\frac{(b^2-1)(a^4+1)}{a^2(b^2-1)}=\frac{a^4+1}{a^2}=a^2+1/a^2$ and it is end of solution!

This post has been edited 9 times. Last edited by NO_SQUARES, Mar 25, 2024, 8:42 AM

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

716 posts

#13 h Feb 14, 2025, 9:29 AM

Y by

Invert around the incircle.
New Problem Statement: $ABC$ is a triangle with circumcenter, orthocenter $O,H$ respectively. $M$ is the midpoint of $BC$ and $N$ is the reflection of $M$ over $OH$ . $K$ lies on the circle with diameter $AO$ and $KO\perp OH$ . Prove that $(ONK)$ is tangent to $MN$ .
It sufficies to show that $NK=NO$ . Let $V$ be the altitude from $A$ to $OH$ . Let's show that $AVMN$ is a parallelogram. Let $A'$ be the antipode of $A$ and $W$ be the foot of the altitude from $A'$ to $OH$ . Since $OA=OA'$ and $HM=MA'$ , we have $AV=A'W=MN$ as desired. $\blacksquare$

This post has been edited 1 time. Last edited by bin_sherlo, Feb 14, 2025, 9:41 AM

Z K Y

N Quick Reply

G

H

=

© 2025 AoPS Incorporated

a