Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus
During AMC testing, the AoPS Wiki is in read-only mode and no edits can be made.

Difference between revisions of "Sparrow’s lemmas"

(→‎Sparrow’s Lemma 3)
(→‎Russian Math Olympiad 2011)
Line 81: Line 81:
  
 
We use Lemma 1 for <math>\triangle ABC</math> and get result: points <math>A,D,E,</math> and <math>K</math> are concyclic <math>\blacksquare</math>
 
We use Lemma 1 for <math>\triangle ABC</math> and get result: points <math>A,D,E,</math> and <math>K</math> are concyclic <math>\blacksquare</math>
 +
==Russian Math Olympiad 2005==
 +
[[File:Sparrow problem 2.png|300px|right]]
 +
Let triangle <math>ABC</math> with circumcircle <math>\Omega</math> and incircle <math>\omega</math> be given. Let <math>A', B',</math> and <math>C'</math> be the tangent points of the excircles of <math>\triangle ABC</math> with the corresponding sides. Let <math>D, E,</math> and <math>F</math> be the tangent points of the incircle of <math>\triangle ABC.</math> The circumscribed circles of triangles <math>\triangle A'B'C, \triangle AB'C',</math> and <math>\triangle A'BC'</math> intersect <math>\Omega</math> a second time at points <math>D', E',</math> and <math>F',</math> respectively.
 +
 +
Prove that <math>\triangle DEF \sim \triangle D'E'F'.</math>
 +
 +
<i><b>Proof</b></i>
 +
 +
<math>AF = BC' = B'C.</math> We use [[Sparrow’s lemmas | Sparrow’s Lemma 1]] and get that point <math>D'</math> is the midpoint of arc <math>BC</math> of <math>\Omega</math> which contain the point <math>A.</math>
 +
 +
So <math>D'O || DI, \frac {D'O}{DI} = \frac{R}{r} = \frac{OG}{GI} = \frac{D'G}{DG}.</math>
 +
 +
Similarly, <math>\frac{E'G}{EG} = \frac{F'G}{FG} = \frac{R}{r} \blacksquare</math>

Revision as of 08:33, 18 September 2025

Sparrow’s lemmas have been known to Russian Olympiad participants since at least 2016. Page was made by vladimir.shelomovskii@gmail.com, vvsss

Sparrow's Lemma 1

Sparrow 1.png

Let triangle $ABC$ with circumcircle $\Omega$ and points $D$ and $E$ on the sides $AB$ and $AC,$ respectively be given.

Let $K \in \Omega$ be the midpoint of the arc $BC$ which contain the point $A.$

Prove that $BD = CE$ iff points $A, D, E,$ and $K$ are concyclic.

Proof

$BK = CK, \angle ABK = \angle ACK.$

Let $BD = CE \implies \triangle BKD = \triangle CKE \implies$

$\angle KDA = \angle KEA \implies A, D, E,$ and $K$ are concyclic.

Let $A, D, E,$ and $K$ are concyclic $\implies \angle KDA = \angle KEA \implies$

$\angle BKD = \angle CKE \implies \triangle BKD = \triangle CKE \implies BD = CE.$

Sparrow’s Lemma 2

Sparrow 1A.png

Let triangle $ABC$ with circumcircle $\Omega$ and points $D$ and $E$ on the sides $AB$ and $AC,$ respectively be given.

Let $I$ be the incenter.

Prove that $BD + CE = BC$ iff points $A, D, E,$ and $I$ are concyclic.

Proof

1. Let points $A, D, E,$ and $I$ are concyclic.

Denote $F \in BC$ such $BD = BF, \varphi = \angle ADI.$

So point $F$ is symmetric to $D$ with respect to $BI \implies \angle BDI = 180^\circ - \varphi, \angle IEC = \varphi.$ \[\triangle BDI = \triangle BFI \implies DI = FI, \angle CFI = \varphi.\] \[\angle DAI = \angle EAI \implies DI = EI = FI.\] \[\triangle CIF = \triangle CIE \implies CE = CF \implies BD + CE = BC \blacksquare\] 2. Let $BD + CE = BC \implies$ there is point $F$ such that $BF = BD, CF = CE \implies$ \[\triangle CIF = \triangle CIE, \triangle BIF = \triangle BID \implies\] \[180^\circ = \angle BFI + \angle CFI = \angle BDI + \angle CEI = \angle ADI + \angle AEI \blacksquare\]

Sparrow’s Lemma 3

Sparrow 3.png

Let lines $\ell$ and $\ell'$ and points $A_0 \in \ell$ and $B_0 \in \ell'$ be given, $O = \ell \cap \ell'.$

Points $A$ and $B$ moves along $\ell$ and $\ell',$ respectively with fixed speeds. At moment $t = 0,$ $A = A_0, B = O$, at moment $t_0$ $A = O, B = B_0.$

Prove that circle $\Omega = \odot OAB$ contain fixed point ($P$).

Proof

Let $\omega$ be the circle contains $O$ and $B_0$ and tangent to $\ell.$ Let $\omega'$ be the circle contains $O$ and $A_0$ and tangent to $\ell'.$ \[P = \omega \cap \omega' \ne O.\] It is known that $P$ is the spiral center of spiral similarity $T$ mapping segment $A_0O$ to $OB_0.$ The ratio of the speeds of points $A$ and $B$ is $\frac{AA_0}{BO} = \frac{OA_0}{B_0O},$ so $T$ mapping segment $AA_0$ to $BO.$ Therefore $\Omega$ contain the spiral center $P \blacksquare$

Corollary 1

Lemma 1 is partial case of Lemma 3 with spiral center $K,$ equal speeds and two positions of the pare moving points - $D,E$ and $B,C.$

Corollary 2

Lemma 2 is partial case of Lemma 3 with spiral center $I,$ and equal speeds (from $D$ to $A$ and from $E$ to $C$). Start positions of these points are $D$ and $E.$

Russian Math Olympiad 2011

Sparrow problem 1.png

Let triangle $ABC$ with circumcircle $\Omega$ be given. Let $K \in \Omega$ be the midpoint of the arc $BC$ which contain the point $A, M$ be the midpoint of $BC, I_B$ be incenter of $\triangle ABM, I_C$ be incenter of $\triangle ACM.$

Prove that points $A, I_B, I_C,$ and $K$ are concyclic.

Proof

Denote $\omega = \odot AI_BI_C, D = \omega \cap AB,$ $E = \omega \cap AC, F = \omega \cap AM.$

We use Lemma 2 for $\triangle ABM$ and get $BD + FM = BM.$

We use Lemma 2 for $\triangle ACM$ and get $CE + FM = CM = BM \implies BD = CE.$

We use Lemma 1 for $\triangle ABC$ and get result: points $A,D,E,$ and $K$ are concyclic $\blacksquare$

Russian Math Olympiad 2005

Sparrow problem 2.png

Let triangle $ABC$ with circumcircle $\Omega$ and incircle $\omega$ be given. Let $A', B',$ and $C'$ be the tangent points of the excircles of $\triangle ABC$ with the corresponding sides. Let $D, E,$ and $F$ be the tangent points of the incircle of $\triangle ABC.$ The circumscribed circles of triangles $\triangle A'B'C, \triangle AB'C',$ and $\triangle A'BC'$ intersect $\Omega$ a second time at points $D', E',$ and $F',$ respectively.

Prove that $\triangle DEF \sim \triangle D'E'F'.$

Proof

$AF = BC' = B'C.$ We use Sparrow’s Lemma 1 and get that point $D'$ is the midpoint of arc $BC$ of $\Omega$ which contain the point $A.$

So $D'O || DI, \frac {D'O}{DI} = \frac{R}{r} = \frac{OG}{GI} = \frac{D'G}{DG}.$

Similarly, $\frac{E'G}{EG} = \frac{F'G}{FG} = \frac{R}{r} \blacksquare$

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Sparrow’s_lemmas&oldid=260846"