We have your learning goals covered with Spring and Summer courses available. Enroll today!

G
Topic
First Poster
Last Poster
Gheorghe Țițeica 2025 Grade 8 P3
AndreiVila   1
N 19 minutes ago by sunken rock
Source: Gheorghe Țițeica 2025
Two regular pentagons $ABCDE$ and $AEKPL$ are given in space, such that $\angle DAC = 60^{\circ}$. Let $M$, $N$ and $S$ be the midpoints of $AE$, $CD$ and $EK$. Prove that:
[list=a]
[*] $\triangle NMS$ is a right triangle;
[*] planes $(ACK)$ and $(BAL)$ are perpendicular.
[/list]
Ukraine Olympiad
1 reply
1 viewing
AndreiVila
Yesterday at 9:00 PM
sunken rock
19 minutes ago
No more topics!
equal angles
jhz   3
N Mar 26, 2025 by DottedCaculator
Source: 2025 CTST P16
In convex quadrilateral $ABCD, AB \perp AD, AD = DC$. Let $ E$ be a point on side $BC$, and $F$ be a point on the extension of $DE$ such that $\angle ABF = \angle DEC>90^{\circ}$. Let $O$ be the circumcenter of $\triangle CDE$, and $P$ be a point on the side extension of $FO$ satisfying $FB =FP$. Line BP intersects AC at point Q. Prove that $\angle AQB =\angle DPF.$
3 replies
jhz
Mar 26, 2025
DottedCaculator
Mar 26, 2025
equal angles
G H J
G H BBookmark kLocked kLocked NReply
Source: 2025 CTST P16
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jhz
10 posts
#1
Y by
In convex quadrilateral $ABCD, AB \perp AD, AD = DC$. Let $ E$ be a point on side $BC$, and $F$ be a point on the extension of $DE$ such that $\angle ABF = \angle DEC>90^{\circ}$. Let $O$ be the circumcenter of $\triangle CDE$, and $P$ be a point on the side extension of $FO$ satisfying $FB =FP$. Line BP intersects AC at point Q. Prove that $\angle AQB =\angle DPF.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jhz
10 posts
#2
Y by
Reconstruct $P$ as the intersection of $\odot ABC$ and $\odot DEC$. remain is simple calculation.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
YaoAOPS
1500 posts
#3
Y by
Sketch since its so painful.

Redefine $P$ as $(ABC) \cap (DEC)$. Then we may show that $\angle FBP = \angle BPO$ through angle chasing, redefine $F$ as $BF \cap PO$. Then let $H = BA \cap ED$, note that $(BEH)$ is cyclic and tangent to $BF'$, likewise we may angle chase that $DAHP$ is cyclic so $\angle DPH = 90^\circ$ and thus $(EPH)$ is tangent to $F'P$, thus $F' \in EDH$, and thus $F' = F$. Finally, the result is another painful angle chase.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
DottedCaculator
7319 posts
#4
Y by
this is why i'm bad at geo

Claim: $P$ lies on $(CDE)$

Proof: Verify $\sqrt{FE\cdot FD+R^2}=BF-R$, where $R$ is the radius of $(CDE)$ by trig bash

Now, construct $P'=FO\cap(CDE)$ and then angle/arc bash the required angle equality.
Z K Y
N Quick Reply
G
H
=
a