In a triangle ABC with AB<AC, D is a point on segment AC such that BD=CD. A line parallel to BD meets segment BC at E and line AB at F. Point G is the intersection of AE and BD. Show that ∠BCG=∠BCF. (Côte d’Ivoire)
Problem
Source: 2023 Pan African Mathematics Olympaid, Problem 1
Tags: PAMO, geometry
17.05.2023 21:08
Ok, this is unnecessarily long. In the actual contest, I found a solution using moving points, had some time left, scratched a figure on a napkin, and found this solution : Consider f the reflection over line BC. What we want to show is: f(CF)=CG. Let f(X)=X′. We have F′∈(BA′) and EF′ is parallel to BD′. But BD=DC=BD′=CD′, thus DC is parallel to BD′, which is in turn parallel to EF′. We want to show that F′ lies on CG. The problem becomes: Prove that CG,BA′ and the line through E parallel to AC are concurrent. Let P=(CG)∩(BA′). Let X=(PE)∩(AC). Now, by simple angle chase A′C is parallel to BD. By Desargues’ theorem on △A′CX and △BGE, we have that A′C∩BG=P∞,A,(A′X)∩(BE)=M, are collinear, or (AM) is parallel to BD. Let N be the intersection of the line through E parallel to AC and line BC, by angle chase A′N=A′C=AC, thus ANA′C is a parallelogram, and AN is parallel to A′C which is in turn parallel to BD, thus: M=N, and A′X≡A′M is parallel to AC, which implies X=P∞(AC), as desired.
17.05.2023 22:01
I also found a projective solution. Given that this is a PAMO #1, I hope that a non-projective solution also exists. Let H=AB∩CE, Q=EF∩AC, R=CG∩EF, and P be the point on EF with PC⊥CE. Because QE=QC, point Q is the midpoint of ¯PE. Then −1=(PEQ∞)D=(XECB),where X=PD∩BC. It follows by uniqueness of the cross-ratio that P, D, H, and X are collinear. Finally, −1=(XECB)H=(PERF),and because ∠PEC=90∘ we deduce ∠ECR=∠ECF.
18.05.2023 13:25
A very easy problem, set FE intersection AC at point L, then ∠GDC∽⊿CLF
18.05.2023 14:32
Let H be the refection of G across the perpendicular bisector of BC then evidently H∈AC and GH∥BC. Now ABAF=AGAE=AHACHence BH∥FC. Finally ∠GCB=∠HBC=∠BCF.
Attachments:

18.05.2023 15:21
This was short Let H be the intersection of that parallel line with AC Then the given condition is equivalent to prove ∠HCT=∠HFC which is equivalent to prove HC is tangent to (TCF) where T is GC∩HF, i.e. HC2=HF∗HT ↔BD∗AHAD∗GD∗CHCD=HC2 which simplifies to:(after some length chasing with parallel lines) ↔EH=HC which is true
29.05.2023 18:51
By the trigonometric ceva theorem we can solve this problem
11.06.2023 16:12
Okay, here's another one. Let Y be a point such that ABCY is isosceles trapezoid. It's easy to show that Y lies on BD. We will show that △FAC∼△CYG. Note firstly that by the trapezoid we have that ∠CAF=∠CYG. Since AY∥BE we have that GEAG=GBYG⇒GEAG+1=GBYG+1=AEAG=YBYG. Since BG∥FE we have that YBYG=AEAG=AFAB. Also, since YB=AC and YC=AB, we have that AFYC=ACYG⇒AFAC=YCYG. So by SAS we showed that △FAC∼△CYG. Now, let X=FG∩BE. Since FE∥BG⇒FXXG=FEBG=AFAB=AFCY=CFCG, and we are done by Angle Bisector Theorem.
11.06.2023 19:57
Let the line through F parallel to AC meet line BC at K. Then △KFB∼△CAB and BCBK=ABFB. Also, we have ∠FEB=∠GBC=∠ACB=∠FKC, so △KFE is isosceles with KF=FE. Since BD and EF are parallel, we see that KCBC=1+KBBC=1+FBAB=AFAB=EFBG=KFBG.Thus, we get KCKF=BCBG, so △GBC∼△FKC. Hence, we get ∠BCG=∠KCF=∠BCF.
06.10.2023 19:12
DDIT at C on BGEF.
16.07.2024 03:28
https://aops.com/community/c6h3328306
17.07.2024 16:42
kerryberry wrote: In a triangle ABC with AB<AC, D is a point on segment AC such that BD=CD. A line parallel to BD meets segment BC at E and line AB at F. Point G is the intersection of AE and BD. Show that ∠BCG=∠BCF. (Côte d’Ivoire) let H be the intersection of lines FE and CD, and we know that BD∥HF, so we get that ∠HEC=∠HCE and ∠ABD=∠AFH, since ∠HCE is an external angle for △CEF we can show that ∠EFC=∠3+∠4−∠6⟹∠7=∠3+∠4−∠6 now by trigonometric ceva we get sin(∠1)sin(∠5)⋅sin(∠3+∠4)sin(∠4)⋅sin(∠3)sin(∠2)=1=sin(∠1)sin(∠5)⋅sin(∠3+∠4−∠6)sin(∠6)⋅sin(∠4+∠3)sin(∠2) sin(∠3)sin(∠4)=sin(∠3+∠4−∠6)sin(∠6)sin(∠6)⋅sin(∠3)=sin(∠4)⋅sin(∠3+∠4−∠6)cos(∠6−∠3)−cos(∠6+∠3)2=cos(∠6−∠3)−cos(∠3+2×∠4−∠6)2multiplying both sides by 2 we get cos(∠6−∠3)−cos(∠6+∠3)=cos(∠6−∠3)−cos(∠3+2×∠4−∠6)cos(∠3+2×∠4−∠6)=cos(∠6+∠3)⟹∠6+∠3=∠3+2×∠4−∠6⟹∠4=∠6hence we are done
Attachments:

14.08.2024 02:24
another solution. let X be a point on BC such that ∡CYF=∡DBC, let Y be a point on line XF such that ∡XCY=∡CXY Claim:△FYC∼△AGDby doing some work we find that the claim is true
14.10.2024 03:22
Let R=EF∩AC, S=FG∩BC, and T=BD∩CF. Note that △CGD∼△FCR. Hence, CGCF=GDCR=GDER=BGFE=GSSF,so we are done by the angle bisector theorem.
06.12.2024 19:15
This can also be done by Trig and using Thales Theorem couple of times I am too lazy to write up the solution in but here is it my solution I wrote in on paper Also I didn't mention there but in the end we are done because from a well known lemma we know that: sinxsinz−sinx=sinysinz−siny⟹x=y So sin∠BCGsinC−∠BCG=sin∠FCEsinC−∠FCE⟹∠BCG=∠FCE≡FCB≡BCF⟹∠BCG=∠BCF◼
Attachments:
PAMO 2023 P1.pdf (325kb)