361. Arhimedes theorem of the broken chord in a circle.

by Virgil Nicula, Oct 23, 2012, 9:07 AM

Theorem of the broken chord (Arhimedes). Let $ A$ , $ B$ on the circle $ \omega$ , $ K$ the midle of the $ \stackrel {\frown}{AB}$ , $ M \in \stackrel {\frown}{KB}$ and projection $ H$ of $ K$ on $ AM$ . Prove that $ AH = HM + MB$

Proof I (synthetic). Denote the reflection $ N$ of the point $ M$ w.r.t. the point $ H$ . Observe that $ AK = BK$ , $ KN = KM$ and $ \widehat {AKN}\equiv$ $ \widehat {KNM} - \widehat {KAM}\equiv$ $ \widehat {KAB} - \widehat {KBM}\equiv$ $ \widehat {BKM}$

i.e. $ \widehat {AKN}\equiv\widehat {BKM}$ . Thus, $ \triangle AKN\sim\triangle BKM$ . In conclusion, $ NA = MB$ and $ AH = HN + NA = HM + MB$ i.e. $ AH = HM + MB$ .

Proof II (synthetic). Denote $ \left\{\begin{array}{ccc} S\in \omega & , & KS\parallel AM \\
 \\
T\in AM & , & ST\perp AM\end{array}\right\|$ . Observe that $ \left\{\begin{array}{c} AS = KM \\
 \\
AT = HM \\
 \\
TH = KS = MB\end{array}\right\|$ . In conclusion, $ AH = AT + TH = HM + MB$
Remarks.

$ 1\blacktriangleright$ If $ P\in AM\cap KB$ and $ R\in AB\cap KN$ , then the quadrilateral $ RNPB$ is cyclically.

$ 2\blacktriangleright$ Exists the relation $ MK^2 + MA\cdot MB = KA^2$ (from C.d.p. - Gh. Titeica) $ (*)$ .

Proof. Denote $ L\in \omega$ for which $ BL\parallel MK$ . Observe that $ KL = MB$ , $ KM = AL$ and $ ML = KA$ . Apply the Ptolemy's theorem

in the isosceles trapezoid $ ALKM$ : $ KA\cdot ML = KL\cdot MA + KM\cdot AL$ $ \implies$ $ KA^2 = MA\cdot MB + MK^2$ .

Proof III (metric). $ KH\perp AM\Longleftrightarrow$ $ KA^2 - KM^2 = HA^2 - HM^2$ . From the relation $ (*)$ obtain $ MA\cdot MB = $

$(HA + HM)(HA - HM)$ $ \implies$ $ MA\cdot MB = AM\cdot (HA - HM)$ $ \implies$ $ HA = HM + MB$ .

Proof IV. Let $ P\in [AM$ so thst $ PM = MB$ and midpoint $ S$ of $ AB$ . It is clear that $ \angle KHA = \angle KSA = 90$, so $ KHSA$ is cyclic. Now $ \angle SHA = \angle SKA = \frac {1}{2}\cdot \angle AMB = $

$\angle MPB$ , i.e. $ \widehat {SHA}\equiv\widehat {APB}$ . Hence $ HS\parallel PB$. Since $ AS = SB$, then $ AH = HM + MP = HM + MB$, as desired. We can prove analogously the following extension :


Extension. Let $ KAB$ be a triangle with the circumcircle $ w$ . Denote the point $ S\in (AB)$ for which $ \widehat {SKA}\equiv\widehat {SKB}$ . For a point $ M\in\stackrel {\frown}{KB}$ which doesn't contain

the point $ A$ define the second interserction $ H$ between the line $ AM$ with the circumcircle of the triangle $ AKS$ . Prove that $ \frac {AH}{HM+MB}=\frac {KA}{KB}$ .


Extension I. Let $ w$ be the circumcircle of $ \triangle ABC$. Let $ D\in (BC)$ be a point for which $ \widehat {DAB}\equiv\widehat {DAC}$ . For a point $ M\in\stackrel {\frown}{AC}$ (arc) which doesn't contain

the point $ B$ define the second intersection $ N$ between the line $ BM$ with the circumcircle of $ \triangle ABD$ . Prove that $ \boxed {BN = \frac {AB}{AC}\cdot (NM + MC)}$ .


Extension II. Let $ w$ be the circumcircle of $ \triangle ABC$. Let $ D\in (BC)$ be the middlepoint of the side $ [BC]$ . For a point $ M\in\stackrel {\frown}{AC}$ (arc) which doesn't contain

the point $ B$ define the second intersection $ N$ between the line $ BM$ with the circumcircle of $ \triangle ABD$ . Prove that $ \boxed {BN = NM + \frac {AB}{AC}\cdot MC}$ .


A strong extension . Let $ w$ be the circumcircle of the triangle $ ABC$. Consider a point $ D\in (BC)$ . For a point $ M\in\stackrel {\frown}{AC}$ (arc) which doesn't contain

the point $ B$ define the second intersection $ N$ between the line $ BM$ with the circumcircle of $ \triangle ABD$ . Prove that $ \boxed {BN = \frac {DB}{DC}\cdot NM + \frac {AB}{AC}\cdot MC}$ .


Proof. Let $ P\in BM$ so that $ CP\parallel DN$ . Thus, $ \left\{\begin{array}{c}
\widehat {BAC}\equiv\widehat {BMC}\\\\
\widehat {BND}\equiv\widehat {BPC}\end{array}\right\|$ $ \implies$ $ \left\{\begin{array}{c}
\frac {BN}{NP}=\frac {DB}{DC}\\\\
\widehat {MCP}\equiv\widehat {CAD}\end{array}\right\|$ and $\{A,E\}=AD\cap w$ .

Since $\triangle BEC\sim\triangle CMP$ obtain that $ \left\{\begin{array}{c}
\frac {DB}{DC} = \frac {EB}{EC}\cdot \frac {AB}{AC}\\\\
\frac {MP}{MC}=\frac {EC}{EB}\end{array}\right\|\ \bigodot$ $ \implies$ $ \frac {DB}{DC}\cdot MP=\frac {AB}{AC}\cdot MC$ . Therefore,

$ BN =\frac {DB}{DC}\cdot NP =$ $ \frac {DB}{DC}\cdot (NM + MP) =$ $ \frac {DB}{DC}\cdot NM + \frac {DB}{DC}\cdot MP$ $ \implies$ $ \boxed {BN = \frac {DB}{DC}\cdot NM + \frac {AB}{AC}\cdot MC}$ .

Remark. $ \left\|\begin{array}{c} DB = DC \\
 \\
AB = AC\end{array}\right\|$ $ \implies$ $ BN = NM + MC$ (the remarkable Archimedes' problem).
This post has been edited 16 times. Last edited by Virgil Nicula, Nov 16, 2015, 1:36 PM

Comment

0 Comments

Own problems or extensions/generalizations of some problems which was posted here.

avatar

Virgil Nicula
Archives
+ October 2017
+ September 2017
+ December 2016
+ October 2016
+ February 2016
+ September 2013
+ October 2010
+ September 2010
Shouts
Submit
  • orzzzzzzzzz

    by mathMagicOPS, Jan 9, 2025, 3:40 AM

  • this css is sus

    by ihatemath123, Aug 14, 2024, 1:53 AM

  • 391345 views moment

    by ryanbear, May 9, 2023, 6:10 AM

  • We need virgil nicula to return to aops, this blog is top 10 all time.

    by OlympusHero, Sep 14, 2022, 4:44 AM

  • :omighty: blog

    by tigerzhang, Aug 1, 2021, 12:02 AM

  • Amazing blog.

    by OlympusHero, May 13, 2021, 10:23 PM

  • the visits tho

    by GoogleNebula, Apr 14, 2021, 5:25 AM

  • Bro this blog is ripped

    by samrocksnature, Apr 14, 2021, 5:16 AM

  • Holy- Darn this is good. shame it's inactive now

    by the_mathmagician, Jan 17, 2021, 7:43 PM

  • godly blog. opopop

    by OlympusHero, Dec 30, 2020, 6:08 PM

  • long blog

    by MrMustache, Nov 11, 2020, 4:52 PM

  • 372554 views!

    by mrmath0720, Sep 28, 2020, 1:11 AM

  • wow... i am lost.

    369302 views!

    -piphi

    by piphi, Jun 10, 2020, 11:44 PM

  • That was a lot! But, really good solutions and format! Nice blog!!!! :)

    by CSPAL, May 27, 2020, 4:17 PM

  • impressive :D
    awesome. 358,000 visits?????

    by OlympusHero, May 14, 2020, 8:43 PM

72 shouts
Tags
About Owner
  • Posts: 7054
  • Joined: Jun 22, 2005
Blog Stats
  • Blog created: Apr 20, 2010
  • Total entries: 456
  • Total visits: 404396
  • Total comments: 37
Search Blog
a