To get a better idea of the community's current geometric proof "skill level," I will keep dropping the difficulty of these problems until we find an adequate starting point for the synthetic geometry group. I will appreciate any feedback on today's problem as you approach it.
Given , let denote the midpoints of the arc , where lie on the same side . Construct on such that , and on such that . Prove that .
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
Hey I got around more than half way to the problem. It's almost completed. Feeling tired. I will post it tommorow. (Feeling very excited but Tired). :P :P
image
Hurray!!! I got the solution.
Since EABC is cyclic. It implies that ∠ABC=1800−∠AEC=∠CEG.
We have to prove that CE=EG i.e. ∠CEG=∠CGE. It suffices to prove that ∠CGE=∠ABD.
Let 'I' be foot of perpendicular from 'C' onto EG. But, ∠EFC=∠EIC=900. So, ΔBFC∼ΔCEI. So, BCBF=ECEI (#)
Observe that ∠DBF=1800−∠DEA=∠DEG (1)
Since ED is diameter of the circle. It implies that ∠DAE=900. But ∠DFG=900=∠DAG. So, A,G,D,F are cyclic.
It implies that ∠EGD=1800−∠AFD=∠BFD (2)
From (1) and (2) it implies that ΔBFD∼ΔEGD. So, BDBF=EDEG(##)
Dividing (#) by (##), we get,
BCBD=ECEI×EGED EGEI=BCBD×EDEC=21×BNBD×EDEC
Since, ΔECD is right angled at 'C' and also ∠CED=∠CBD. So, cos∠CED=cos∠CBD. It implies that EDEC=BDBN
It gives out that EGEI=21 i.e. EG=2EI. So, EI=GI. It implies that ∠CEG=∠CGE i.e. CG=CE as required.
SPECIAL THANKS TO @Xuming Liang
Log in to reply
Nice solution! Well Done. I have understood your solution and I realize that I was close to prove it. But I think there are few trivial typo mistakes at start that you should fix. Overall your solution is quite rich! :) :) :)
Congradulations :) You are the first Brilliant solver of my challenges. Great Job
A slightly alternate solution:
Since DA⊥AG,DF⊥GF, D,F,A,G are concyclic and thus ∠DGA=∠DFB. In addition,note that ∠DBA=∠DEG, therefore DEG∼DBF. At this point one can use the new-found information to ratio chase GE related lengths, as Surya Prakash has demonstrated, or we can continue to utilize similar (they are almost the same thing),
Since DEG∼DBF, we ask what point corresponds to C in the DBF configuration, i.e. For what point is it to DBF as C is to DEG(Not sure if this makes sense...) By some thought we quickly see that it is the midpoint of BC denoted by M (I will elaberate: it must lie on BC since ∠GEC=∠FBC, and M is the only point that satisfy BM=FM). Clearly DBM∼DEC, thus DEGC∼DBFM. SInce BM=FM, we have CG=EC and are done.
Similarity is powerful isn't it?
Log in to reply
Nice and easy one.
Can you post the figure?
Log in to reply
@Agnishom Chattopadhyay
01000011 01101111 01101110 01100111 01110010 01100001 01110100 01110011 00100000 01101111 01101110 00100000 00110001 00110000 00110000 00110000 00100000 01000110 01101111 01101100 01101111 01101111 01110111 01100101 01110010 01110011 00100001
Log in to reply
What's that @Mehul Arora
Log in to reply
Log in to reply
@Mehul Arora
Tell me too :PLog in to reply
74 68 61 6e 6b 20 79 6f 75 21
Binary
Log in to reply
Log in to reply
Log in to reply
Log in to reply
Leave it , I was just joking :P
27741264475741985937324611021968519394650689232351903626759926561
What difficulty are you encountering in drawing the diagram? May be I can save your time by helping you out :)
Log in to reply
Can you help me understand how I construct the arc?
Log in to reply
ΔABC. Now draw perpendicular bisector of BC and let it intersect the circumcircle at D,E and we have D,E as mid-points of arc BC. Now suppose if A lies on major arc BC , then E must also lie on major arc and same if its case of minor arc.
Draw circumcircle ofLog in to reply
@Nihar Mahajan
Did u get the problemLog in to reply
Also , Congrats for having 1000 followers! :P :) :3
Log in to reply
Thanks! I decided that I will be excited at first, but then again, I said, I thought I will save the excitement for 1024 followers instead
Log in to reply
So basically, we have to prove that G and E coincide, right?
@Xuming Liang
Log in to reply
No. Not at all. In short you must prove that triangle CGE is isosceles.
@Xuming Liang Do D and E lie on the circumcirlce of ΔABC?
Log in to reply
Yes , they do.