USAMO 2003 Problem 4

The post below has been deleted. Click to close.

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

MithsApprentice

2390 posts

MithsApprentice

#1 h Sep 27, 2005, 8:01 PM • 10 Y

Y by pifinity, Adventure10, megarnie, Mango247, ohiorizzler1434, ItsBesi, buddyram, cubres, and 2 other users

Let $ABC$ be a triangle. A circle passing through $A$ and $B$ intersects segments $AC$ and $BC$ at $D$ and $E$ , respectively. Lines $AB$ and $DE$ intersect at $F$ , while lines $BD$ and $CF$ intersect at $M$ . Prove that $MF = MC$ if and only if $MB\cdot MD = MC^2$ .

This post has been edited 1 time. Last edited by MithsApprentice, Sep 27, 2005, 10:00 PM

Z K Y

The post below has been deleted. Click to close.

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

MithsApprentice

2390 posts

MithsApprentice

#2 h Sep 27, 2005, 8:01 PM • 2 Y

Y by Adventure10, Mango247

When replying to the problem, I ask that you make posts for solutions and submit comments, jokes, smilies, etc. separately. Please use LaTeX for posting solutions. Thanks.

Z K Y

The post below has been deleted. Click to close.

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

darij grinberg

6555 posts

darij grinberg

#3 h Sep 27, 2005, 10:30 PM • 5 Y

Y by Adventure10, megarnie, and 3 other users

By the Ceva theorem, applied to the triangle BCF and the concurrent cevians BM, CA and FE (in fact, these cevians concur at the point D), we have $\dfrac{MF}{MC}\cdot\dfrac{EC}{EB}\cdot\dfrac{AB}{AF}=1$ (we work with non-directed segments here). Hence, $\dfrac{MF}{MC}=\dfrac{AF}{AB}\cdot\dfrac{EB}{EC}=\dfrac{AF}{AB}: \dfrac{EC}{EB}$ . Thus, MF = MC holds if and only if $\dfrac{AF}{AB}=\dfrac{EC}{EB}$ . But by Thales, $\dfrac{AF}{AB}=\dfrac{EC}{EB}$ is equivalent to AE || FC, and obviously we have AE || FC if and only if < EAC = < ACF. Now, since the points A, B, D and E lie on one circle, < EAD = < EBD, what rewrites as < EAC = < CBM; on the other hand, trivially < ACF = < DCM. Thus, we have < EAC = < ACF if and only if < CBM = < DCM. Now, as it is clear that < CMB = < DMC, we have < CBM = < DCM if and only if the triangles CMB and DMC are similar (in fact, you can see it this way: the triangles CMB and DMC already have one pair of equal angles, namely < CMB = < DMC, and thus they are similar if and only if they have one more pair of equal angles). On the other hand, the triangles CMB and DMC are similar if and only if MB : MC = MC : MD (in fact, the triangles CMB and DMC have one pair of equal angles, namely < CMB = < DMC, and thus they are similar if and only if the sides adjacent to these angles are in the same ratio). Finally, it is clear that MB : MC = MC : MD is equivalent to $MB\cdot MD=MC^2$ .

Combining all these equivalences, we see that MF = MC holds if and only if $MB\cdot MD=MC^2$ .

Z K Y

The post below has been deleted. Click to close.

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

Bourne

31 posts

Bourne

#4 h May 20, 2006, 1:24 PM • 8 Y

Y by Mobashereh, Kanep, Adventure10, mst.4921, sabkx, LeYohan, and 2 other users

It's such a easy problem.Why you use such a difficult method to solve it.

Z K Y

The post below has been deleted. Click to close.

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

dhernandez

88 posts

dhernandez

#5 h May 20, 2006, 2:59 PM • 3 Y

Y by Adventure10 and 2 other users

MithsApprentice wrote:

Let $ABC$ be a triangle. A circle passing through $A$ and $B$ intersects segments $AC$ and $BC$ at $D$ and $E$ , respectively. Lines $AB$ and $DE$ intersect at $F$ , while lines $BD$ and $CF$ intersect at $M$ . Prove that $MF = MC$ if and only if $MB\cdot MD = MC^2$ .

Assume $MF = MC$ .
1) Draw parallel to $AD$ from $F$ and parallel to $ED$ from $C$ . Let them intersect at $Y$ .
2) $Y$ must be on line $BM$ because $FDCY$ is a parallelogram and its diagonals must intersect at their midpoints.
3) $\angle FYC = \angle ADE$ and $\frac{AD}{FY} = \frac{BD}{BY} = \frac{DE}{CY}$ therefore triangles $FYC$ and $ADE$ are similar and $FC \parallel AE$
4) $\angle MCA = \angle YFC = \angle DAE = \angle DBE$ hence the circumcircle of triangle $BDC$ is tangent to line $MC$ therefore $MC^2 = MD \cdot DB$

Assume $MC^2 = MD \cdot DB$
1) Then $\angle MCD = \angle DBE = \angle DAE$ hence $FC \parallel AE$
2) $\angle MFE = \angle DEA = \angle DBA$ hence the circumcircle of triangle $BDF$ tangent to line $MF$
3) Hence $MF^2 = MD \cdot MB = MC^2 \Rightarrow MF = MC$

Daniel

Z K Y

The post below has been deleted. Click to close.

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

giancarlo

27 posts

giancarlo

#6 h Jun 7, 2006, 3:09 PM • 2 Y

Y by Adventure10, Mango247

nice solution

dhernandez wrote:

3) $\angle FYC = \angle ADE$ and $\frac{AD}{FY} = \frac{BD}{BY} = \frac{DE}{CY}$ therefore triangles $FYC$ and $ADE$ are similar and $FC \parallel AE$
4) $\angle MCA = \angle YFC = \angle DAE = \angle DBE$ hence the circumcircle of triangle $BDC$ is tangent to line $MC$ therefore $MC^2 = MD \cdot DB$

You can also say that if FDCY is a parallelogramme, then FBCY is cyclic ( beause $\angle ADE = \angle FDC = \angle FYC$ ), so power of M: $MC^2= MF \cdot MC = MY \cdot MB = MD \cdot MB$

Z K Y

The post below has been deleted. Click to close.

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

calc rulz

1126 posts

calc rulz

#7 h Apr 17, 2007, 2:32 AM • 3 Y

Y by Adventure10, Mango247, and 1 other user

Nice Solution for the Only If Part

Z K Y

The post below has been deleted. Click to close.

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

April

1270 posts

April

#8 h Apr 17, 2007, 6:34 AM • 2 Y

Y by Adventure10, Mango247

MithsApprentice wrote:

Let $ABC$ be a triangle. A circle passing through $A$ and $B$ intersects segments $AC$ and $BC$ at $D$ and $E,$ respectively.
Lines $AB$ and $DE$ intersect at $F,$ while lines $BD$ and $CF$ intersect at $M.$
Prove that $MF = MC$ if and only if $MB\cdot MD = MC^{2}$

Nice problem! And here is a nice proof.

Proof. Take $G\in BD: \,FG\parallel CD$
We have:
$MF=MC\Longleftrightarrow \textrm{the quadrilateral}\; CDFG\; \textrm{is a parallelogram}\\ \Longleftrightarrow FD\parallel CG\Longleftrightarrow\angle FDA=\angle GCD\Longleftrightarrow\angle FDA+\angle CGF=180^\circ\\ \Longleftrightarrow \angle ABE+\angle CGF=180^\circ\Longleftrightarrow\textrm{the quadrilateral}\;CBGF\;\textrm{is cyclic}\\ \Longleftrightarrow\angle CBM=\angle CBG=\angle CFG=\angle DCF=\angle DCM\\ \Longleftrightarrow\triangle BCM\sim\triangle CDM\Longleftrightarrow MB\cdot MD=MC^{2}$

Z K Y

The post below has been deleted. Click to close.

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

windrock

46 posts

windrock

#9 h Jan 18, 2009, 3:25 AM • 2 Y

Y by Adventure10, Mango247

If MC=MF. Assume that AE not paralel to CF, call T is intersection of AE and CD. we have (CFMT) = -1, on the other hand. M is midpoint of CD. so nonsense. Hence, CF // AE, easy to finish problem
If MC.MC = MB. MD, easy

Z K Y

The post below has been deleted. Click to close.

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

windrock

46 posts

windrock

#10 h Jan 22, 2009, 1:02 PM • 3 Y

Y by Adventure10, Mango247, and 1 other user

If $MC=MF$ . Assume that $AE$ not paralel to $CF$ , call $T$ is intersection of $AE$ and $CD$ . we have $(CFMT) = -1$ , on the other hand. M is midpoint of CD. so nonsense. Hence, $CF // AE$ , easy to finish problem
If $MC^{2} = MB. MD$ , easy

Z K Y

The post below has been deleted. Click to close.

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

SnowEverywhere

801 posts

SnowEverywhere

#11 h Apr 3, 2010, 5:37 PM • 2 Y

Y by Adventure10, Mango247

Sorry for bringing up an old topic. How did the solvers know to create the parallelogram. Is this just a well known construction? Does my solution work?

Solution

Assume that $MC=MF$ . Now, by Ceva's theorem $\frac{MC}{MF} \cdot \frac{BE}{CE} \cdot \frac{FA}{BA}=\frac{BE}{CE} \cdot \frac{FA}{BA}=1$ . Therefore $\frac{BE}{CE} = \frac{BA}{FA}$ and by SAS similarity, $BAE \sim BFC$ . Therefore $AE \| FC$ . Now note that $\angle{MFD}=\angle{DEA}=\angle{DBA}$ . Hence by AA similarity, $MDF \sim MFB$ and it follows that $\frac{MD}{MF}=\frac{MF}{MB}$ . Rearranging yields that $MF^2=MC^2=MD \cdot MB$ .

Assume that $MC^2=MD \cdot MB$ . It follows that $\frac{MD}{MC}=\frac{MC}{MB}$ which by SAS implies that $MCD \sim MBC$ . Hence $\angle{MCB}=\angle{MDC}=\angle{ADB}=\angle{AEB}$ and therefore $FC \| AE$ . This implies that $AEB \sim FCB$ and that $\frac{BE}{CE} = \frac{BA}{FA}$ . By Ceva's theorem, it follows that $\frac{MC}{MF} \cdot \frac{BE}{CE} \cdot \frac{FA}{BA}=\frac{MC}{MF}=1$ . Therefore $MC=MF$ .

Z K Y

The post below has been deleted. Click to close.

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

ACCCGS8

326 posts

ACCCGS8

#12 h Sep 14, 2012, 7:20 AM • 2 Y

Y by Adventure10, Mango247

Quite a nice problem. It is possible to prove both parts simultaneously.

By Ceva's Theorem, $\frac{FM}{MC} \cdot \frac{CE}{EB} \cdot \frac{BA}{AF} = 1$ so $MF=MC \Leftrightarrow \frac{CE}{EB} \cdot \frac{BA}{AF} = 1$ $\Leftrightarrow \frac{CE}{EB} = \frac{FA}{AB}$ $\Leftrightarrow EA || CF$ $\Leftrightarrow \angle MCA = \angle DAE$ $\Leftrightarrow \angle MCA = \angle DBE$ $\Leftrightarrow MC^2 = MD \cdot MB$ where the last step follows from the Tangent-Secant Theorem and its converse.

Z K Y

The post below has been deleted. Click to close.

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

JSGandora

4216 posts

JSGandora

#13 h Apr 19, 2013, 2:04 AM • 4 Y

Y by tim9099xxzz, acegikmoqsuwy2000, Adventure10, Mango247

First let us prove the if statement. If $MD\cdot MB=MC^2$ , then $MC$ is tangent to $\odot DBC$ at $C$ and thus $\angle MCD=\angle MBC$ and since quadrilateral $ABDE$ is cyclic, we have $\angle MBC=\angle FAD$ so $AF||FC$ so $\triangle BAE~\triangle BFC$ thus $\frac{BA}{AF}=\frac{BE}{EC}\implies \frac{BA}{AF}\cdot\frac{EC}{BE}=1$ . Now by Ceva's, we have
$\frac{FA}{AB}\cdot\frac{BE}{EC}\cdot\frac{CM}{MF}=1$
and using $\frac{BA}{AF}\cdot\frac{EC}{BE}=1$ , we have $\frac{CM}{MF}=1\implies CM=MF$ as desired.

Now to prove the only if statement, we begin with $MF=MC$ now by Ceva's we find $\frac{FA}{AB}\cdot\frac{BF}{FC}=1\implies{FA}{AB}=\frac{FC}{BF}$ SO $\triangle BAE~\triangle BFC$ which means $AF||FC$ and so $\angle DBF=\angle FAD=\angle DCM$ so $MC$ is tangent to $\odot BDC$ at point $C$ which means $MC^2=MD\cdot MB$ by Power of a Point.

Z K Y

The post below has been deleted. Click to close.

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

TheStrangeCharm

290 posts

TheStrangeCharm

#14 h Jan 7, 2014, 9:34 PM • 2 Y

Y by Adventure10, Mango247

We work in the projective plane.
Let $X = AE \cap FC$
First, let us show that if $MF = MC$ , then $MC^2 = MD\cdot MB$ . Note that $(F,C;M,X)$ is a harmonic division. Because $MF = MC$ , we must have that $X$ is the point at infinity on line $FC$ , so we have that $FC$ is parallel to $AE$ . Thus, we have that $\angle{FCA} = \angle{CAE} = \angle{DBC}$ , where the last angle equality follows from cyclic quadrilateral $ADEB$ . Thus, we see that $MC$ is tangent to the circumcircle of $\triangle{BDC}$ at $C$ , and the result follows.
Now let us show that if $MC^2 = MD\cdot MB$ , then $MF = MC$ . Note that we must have that $\angle{MCA} = \angle{EBD} = \angle{DAE}$ , so we get that $AE$ is parallel to $FC$ again. Thus, $X$ is the point at infinity on line $FC$ , but we still have that $(F,C;M,X)$ is harmonic, so we must have that $M$ is the midpoint of $FC$ , so we are done. $\blacksquare$

This solution is essentially the same as the ones above, however, a lot of the work using ceva is encapsulated in a well know harmonic division lemma.

Z K Y

The post below has been deleted. Click to close.

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

mathbuzz

803 posts

mathbuzz

#15 h Jan 23, 2014, 9:58 AM • 2 Y

Y by Adventure10, Mango247

First I do ''only if'' part ----
Note that , in triangle $BCF$ , , we have $BM,EF,AC$ as 3 concurrent cevians. hence , by using ceva's theorem , we get that $AE$ is parallel to $CF$ . hence , after a little bit of anngle chasing , we get $\Delta BCM$ is similar to $\Delta CDM$ . hence , $MB.MD=MC^2$ .

for if part -- $MB.MD=MC^2$ implies that ,
$\Delta BCM$ is similar to $\Delta CDM$ with $\angle CBM=\angle DCM$ , and $\angle CDM= \angle BCM$
hence , a little angle chasing shows that $AE$ is parallel to $BC$ .
hence , by Ceva's theorem , we get that $MC=MF$

Z K Y

The post below has been deleted. Click to close.

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

awesomeming327.

1745 posts

awesomeming327.

#66 h Dec 27, 2022, 7:58 PM • 1 Y

Y by Mango247

By Ceva's theorem on $\triangle BCF$ and cevians $BM,CA,FE$ , $CM=MF\iff AE\parallel CF.$ Also, $AE\parallel CF\iff \angle MCD=\angle DAE.$ Since $\angle DAE=\angle DBE$ , $\angle MCD=\angle DAE\iff CM$ tangent to $(BCD)\iff MC^2=MD\cdot MB$ as desired.

Z K Y

The post below has been deleted. Click to close.

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

ryanbear

1056 posts

ryanbear

#67 h Jan 18, 2023, 6:24 AM

Y by

Assume $MF=MC$
connect $AE$
by ceva, $FA/AB * BE/EC * MC/MF = 1$
$FA/AB = EC/BE$
$AE//FC$
$AED$ similar to $CDF$
Because $BADE$ is cyclic, $\angle DBE=\angle EAD=\angle FCD$
So $BMC$ is similar to $DMC$ and $MB*MD=MC^2$

Assume $MB\cdot MD = MC^2$
Get that $BMC$ is similar to $DMC$
So $\angle DBE=\angle FCD$ and $\angle DBE = \angle EAD$ (cyclic quadrilateral)
$AE//FC$
$AF/AB=EC/EB$
By ceva, $FA/AB * BE/EC * MC/MF = 1$
$EC/EB * BE/EC * MC/MF = 1$
$MC/MF = 1$
$MC=MF$

first oly geo solve

This post has been edited 1 time. Last edited by ryanbear, Jan 18, 2023, 6:25 AM

Z K Y

The post below has been deleted. Click to close.

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

IAmTheHazard

5005 posts

IAmTheHazard

#68 h Jan 21, 2023, 2:16 AM • 1 Y

Y by Mango247

IAmTheHazard wrote:

First we prove the following lemma:
Lemma: In $\triangle ABC$ with concurrent cevians $AD,BE,CF$ , we have $EF\parallel BC$ if and only if $BD=CD$ .
Proof: Using Ceva's and similar triangles we have:
$BD=CD \iff \frac{BF}{AF}\cdot \frac{AE}{CE}=1 \iff \frac{BF}{AF}=\frac{CE}{AE} \iff \frac{AB}{AF}=\frac{AC}{AE} \iff \triangle AEF \sim \triangle ACB \iff EF \parallel BC$ as desired.

We note that the condition $MB\cdot MD=MC^2$ can be rewritten as $\frac{MB}{MC}=\frac{MC}{MD}$ , after which is becomes clear that we have:
$MB\cdot MD=MC^2 \iff \triangle MBC \sim \triangle MCD,$ so it is equivalent to prove:
$\triangle MBC\sim \triangle MCD \iff MF=MC.$ Now observe that we have (angles are directed):
$\measuredangle FCB=\measuredangle MCE~ \text{ and } ~\measuredangle CDM=\measuredangle ADB=\measuredangle AEB.$ Noting that $\triangle MBC\sim \triangle MCD \iff \measuredangle MCE=\measuredangle CDM$ and $\measuredangle MCE=\measuredangle CDM \iff EA \parallel CF$ , we see that it is equivalent to show that:
$MF=MC \iff EA \parallel CF,$ which is a direct application of our lemma. $\blacksquare$

I did this problem again because why not

Note that
$MB\cdot MD=MC^2 \iff \overline{MC} \text{ tangent to } (BDC) \iff \measuredangle MCD=\measuredangle CBD \iff \measuredangle FCA=\measuredangle EAC \iff \overline{AE} \parallel \overline{CF} \iff MF=MC,$ where the last step follows by Ceva. $\blacksquare$

Z K Y

The post below has been deleted. Click to close.

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

YaoAOPS

1541 posts

YaoAOPS

#69 h May 25, 2023, 5:36 PM

Y by

Note that $MF = MC$ is equivalent by Ceva's theorem to $\frac{BA}{AF} = \frac{CE}{BC}$ ,
or that $AE \parallel FC$ by similarity. This is in turn equivalent to
$\measuredangle DBC = \measuredangle DBE = \measuredangle DAE = \measuredangle DCF$ which is just the same as $(BCD)$ being tangent to line $FC$ , which is the
power of the point condition.

Attachments:

Z K Y

The post below has been deleted. Click to close.

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

huashiliao2020

1292 posts

huashiliao2020

#70 h Jun 12, 2023, 11:39 PM

Y by

Beautiful problem! We have MD/MC=MC/MB, and also <BMC=<CMD. Then triangles CMD and BMC are similar. Also, note that <AEB=<ADB=<CDM, so by AA (angle CBM is an extra) triangles BEQ and BCM are similar, where Q is the intersection of AE and BM. This is equivalent to EA parallel to BC, whence BA/BF=BE/BC. Now, we note that if a/b=c/d then a/(b-a)=c/(d-c) since (b-a)/a=(d-c)/c is equivalent to b/a-1=d/c-1. Applying this we get BA/(BF-BA)=BE/(BC-BE) and hence Ceva's says that BE/BC*CM/MF*FA/BA=1, which upon simplifying yields the desired result. Each of these steps are reversible (namely we would obtain SAS similarity on BAE and BFC and then MDC~QEB~MCB by AA), so we're done! $\blacksquare$

Alternatively we can continue as follows: $MB\cdot MD=MC^2 \iff \overline{MC} \text{ tangent to } (BDC) \iff \measuredangle MCD=\measuredangle CBD \iff \measuredangle FCA=\measuredangle EAC \iff \overline{AE} \parallel \overline{CF} \iff MF=MC,$ where the last follows from Ceva's as I showed before. That angle chasing of <MCD=<CBD could then be done this way, or we could FIRST angle chase and see this. Anyways, I saw this after looking at it for a bit longer. This is a much simpler solution.

Remarks.
Strange, at the beginning I thought it would either have something to do with constructing a tangent MG to show MG=MC isosceles triangle, and conjectured it would lie on the perp. bisector of AB, but apparently not, although close.. someone confirm if my diagram is then wrong (yes geogebra COULD be wrong bc note I have two points H and M, H is the actual midpoint so I tried to make the config as close as possible, since theres no way to ACTUALLY do that) or is this just not true? I also had an idea of using radical axis, seems like suggesting M on radical axis of circle with circle of radius 0. I'd like to see solutions with that (if even possible), but I'll first post mine so that I don't get spoilered.

Attachments:

This post has been edited 5 times. Last edited by huashiliao2020, Jun 12, 2023, 11:46 PM

Z K Y

The post below has been deleted. Click to close.

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

peace09

5425 posts

peace09

#71 h Sep 6, 2023, 3:24 PM

Y by

By Ceva's, $MC=MF$ iff $\tfrac{BA}{BF}=\tfrac{BE}{BC}$ , i.e., $AE\parallel CF$ , which in turn is equivalent to $\angle DCM=\angle DAE=\angle DBE$ . But $\angle DCM=\angle DBE$ iff $(BCD)$ is tangent to $CF$ at $C$ , which by PoP is equivalent to $MB\cdot MD=MC^2$ as desired.

Z K Y

The post below has been deleted. Click to close.

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

Pyramix

419 posts

Pyramix

#72 h Jan 17, 2024, 7:57 PM

Y by

Note that $MF=MC\Longleftrightarrow\frac{BA}{AF}=\frac{BE}{EC}\Longleftrightarrow AE\parallel FC\Longleftrightarrow\angle FCB=\angle AEB=\angle ADB=\angle CDM$ $\Longleftrightarrow MC\text{ is tangent to }(DCB)\text{ at }C\Longleftrightarrow MC^2=MD\cdot MB$

This post has been edited 1 time. Last edited by Pyramix, Jan 17, 2024, 7:58 PM
Reason: Error in latex

Z K Y

The post below has been deleted. Click to close.

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

qwerty123456asdfgzxcvb

1088 posts

qwerty123456asdfgzxcvb

#74 h Feb 9, 2024, 12:12 AM

Y by

MithsApprentice wrote:

Let $ABC$ be a triangle. A circle passing through $A$ and $B$ intersects segments $AC$ and $BC$ at $D$ and $E$ , respectively. Lines $AB$ and $DE$ intersect at $F$ , while lines $BD$ and $CF$ intersect at $M$ . Prove that $MF = MC$ if and only if $MB\cdot MD = MC^2$ .

Click to reveal hidden text

Z K Y

The post below has been deleted. Click to close.

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

lian_the_noob12

173 posts

lian_the_noob12

#75 h Feb 25, 2024, 11:41 PM

Y by

$\color{magenta} \boxed{\textbf{SOLUTION P4}}$
$\color{red} \textbf{Geo Marabot Solve 7}$

By $\textbf{Ceva's Theorem,}$
$MF=MC \Longleftrightarrow \frac{FA}{AB}=\frac{CE}{EB} \Longleftrightarrow CF\parallel AE \Longleftrightarrow \angle FCA=\angle CAE=\angle DBC \Longleftrightarrow MB \cdot MD=MC^2\blacksquare$

This post has been edited 1 time. Last edited by lian_the_noob12, Feb 29, 2024, 9:50 AM

Z K Y

The post below has been deleted. Click to close.

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

joshualiu315

2534 posts

joshualiu315

#76 h Apr 27, 2024, 5:41 AM

Y by

Note that Ceva's theorem yields $\overline{AE} \parallel \overline{CF}$ . Hence,

$\angle MBC = \angle DBE = \angle DAE = \angle MCD,$
which implies $\triangle MBC \sim \triangle MCD \iff MB^2 = MC \cdot MD$ . All the other steps are reversible, so we are done. $\square$

Z K Y

The post below has been deleted. Click to close.

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

AshAuktober

1014 posts

AshAuktober

#77 h Jun 7, 2024, 4:22 PM • 1 Y

Y by GeoKing

main solution

alternate way to do one direction

Z K Y

The post below has been deleted. Click to close.

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

Vedoral

89 posts

Vedoral

#78 h Dec 24, 2024, 4:07 AM

Y by

Click to reveal hidden text

Z K Y

The post below has been deleted. Click to close.

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

Maximilian113

576 posts

Maximilian113

#79 h Feb 14, 2025, 9:33 PM

Y by

Observe that by Ceva's Theorem, $MF=MC \iff AE \parallel FC.$ Meanwhile, $MB \cdot MD = MC^2 \iff \triangle MBC \sim \triangle MCD \iff \angle MBC = \angle MCD = \angle MCA.$ But since $ABED$ is cyclic, it follows that $\angle MBC = \angle CAE,$ so the two results are equivalent. QED

Z K Y

The post below has been deleted. Click to close.

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

LeYohan

65 posts

LeYohan

#80 h Apr 13, 2025, 2:08 AM

Y by

Cute

. First assume $MB \cdot MB = MC^{2}$ .

This inmediately implies that $CF$ is tangent to $(BDC)$ , so $\angle DAE = \angle DBC = \angle ACF \implies AE \parallel CF$ .
With some angle chase we find that $\angle FBM = \angle AEF = \angle EFC$ , so $CF$ is both tangent to $(BDC)$ and $(BDF)$ ,
and it's well known that their radical axis, $BD$ , bisects their common tangent, $CF$ . $\square$

Now assume $MF = MC$ , and applying Ceva's Theorem to $\triangle BFC$ we notice that $\frac{BE}{EC} = \frac{AB}{AF}$ .
By Thales' Theorem, we get that $AE \parallel FC$ , so $\angle MBC = \angle EAC = \angle ACF \implies CF$ is tangent to $(BDC)$
$\implies MC^{2} = MB = MD$ , as desired. $\square$

This post has been edited 2 times. Last edited by LeYohan, Apr 13, 2025, 2:17 AM

Z K Y

The post below has been deleted. Click to close.

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

endless_abyss

71 posts

endless_abyss

#81 h May 27, 2025, 9:00 PM

Y by

Where has the days of such Geo gone? :stretcher:

We prove both ways, ( although the other direction is pretty much straightforward with the same idea as stated )
Claim: $A E$ is parallel to $F C$
Just use Ceva's theorem.

Claim: $M C$ is tangent to the circumcircle of $D B C$
Note that
$\angle D B E = \angle D A E = \angle A C F$
where the first equality is due to cyclic property and the second is due to the parallel condition.

So, $(M C)^2 = (M D)(M B)$

$\square$
:whistling:

Z K Y