Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
k a April Highlights and 2025 AoPS Online Class Information
jlacosta   0
Apr 2, 2025
Spring is in full swing and summer is right around the corner, what are your plans? At AoPS Online our schedule has new classes starting now through July, so be sure to keep your skills sharp and be prepared for the Fall school year! Check out the schedule of upcoming classes below.

WOOT early bird pricing is in effect, don’t miss out! If you took MathWOOT Level 2 last year, no worries, it is all new problems this year! Our Worldwide Online Olympiad Training program is for high school level competitors. AoPS designed these courses to help our top students get the deep focus they need to succeed in their specific competition goals. Check out the details at this link for all our WOOT programs in math, computer science, chemistry, and physics.

Looking for summer camps in math and language arts? Be sure to check out the video-based summer camps offered at the Virtual Campus that are 2- to 4-weeks in duration. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following events:
[list][*]April 3rd (Webinar), 4pm PT/7:00pm ET, Learning with AoPS: Perspectives from a Parent, Math Camp Instructor, and University Professor
[*]April 8th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MATHCOUNTS State Discussion
April 9th (Webinar), 4:00pm PT/7:00pm ET, Learn about Video-based Summer Camps at the Virtual Campus
[*]April 10th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MathILy and MathILy-Er Math Jam: Multibackwards Numbers
[*]April 22nd (Webinar), 4:00pm PT/7:00pm ET, Competitive Programming at AoPS (USACO).[/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Sunday, Apr 13 - Aug 10
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Sunday, Apr 13 - Aug 10
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Monday, Apr 7 - Jul 28
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Wednesday, Apr 16 - Jul 2
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Thursday, Apr 17 - Jul 3
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Wednesday, Apr 16 - Jul 30
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Wednesday, Apr 23 - Oct 1
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Intermediate: Grades 8-12

Intermediate Algebra
Monday, Apr 21 - Oct 13
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Friday, Apr 11 - Jun 27
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Wednesday, Apr 9 - Sep 3
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Wednesday, Apr 16 - Jul 2
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Friday, Apr 11 - Jun 27
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

Introduction to Programming with Python
Thursday, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Sat & Sun, Apr 26 - Apr 27 (4:00 - 7:00 pm ET/1:00 - 4:00pm PT)
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Apr 2, 2025
0 replies
k i Adding contests to the Contest Collections
dcouchman   1
N Apr 5, 2023 by v_Enhance
Want to help AoPS remain a valuable Olympiad resource? Help us add contests to AoPS's Contest Collections.

Find instructions and a list of contests to add here: https://artofproblemsolving.com/community/c40244h1064480_contests_to_add
1 reply
dcouchman
Sep 9, 2019
v_Enhance
Apr 5, 2023
k i Zero tolerance
ZetaX   49
N May 4, 2019 by NoDealsHere
Source: Use your common sense! (enough is enough)
Some users don't want to learn, some other simply ignore advises.
But please follow the following guideline:


To make it short: ALWAYS USE YOUR COMMON SENSE IF POSTING!
If you don't have common sense, don't post.


More specifically:

For new threads:


a) Good, meaningful title:
The title has to say what the problem is about in best way possible.
If that title occured already, it's definitely bad. And contest names aren't good either.
That's in fact a requirement for being able to search old problems.

Examples:
Bad titles:
- "Hard"/"Medium"/"Easy" (if you find it so cool how hard/easy it is, tell it in the post and use a title that tells us the problem)
- "Number Theory" (hey guy, guess why this forum's named that way¿ and is it the only such problem on earth¿)
- "Fibonacci" (there are millions of Fibonacci problems out there, all posted and named the same...)
- "Chinese TST 2003" (does this say anything about the problem¿)
Good titles:
- "On divisors of a³+2b³+4c³-6abc"
- "Number of solutions to x²+y²=6z²"
- "Fibonacci numbers are never squares"


b) Use search function:
Before posting a "new" problem spend at least two, better five, minutes to look if this problem was posted before. If it was, don't repost it. If you have anything important to say on topic, post it in one of the older threads.
If the thread is locked cause of this, use search function.

Update (by Amir Hossein). The best way to search for two keywords in AoPS is to input
[code]+"first keyword" +"second keyword"[/code]
so that any post containing both strings "first word" and "second form".


c) Good problem statement:
Some recent really bad post was:
[quote]$lim_{n\to 1}^{+\infty}\frac{1}{n}-lnn$[/quote]
It contains no question and no answer.
If you do this, too, you are on the best way to get your thread deleted. Write everything clearly, define where your variables come from (and define the "natural" numbers if used). Additionally read your post at least twice before submitting. After you sent it, read it again and use the Edit-Button if necessary to correct errors.


For answers to already existing threads:


d) Of any interest and with content:
Don't post things that are more trivial than completely obvious. For example, if the question is to solve $x^{3}+y^{3}=z^{3}$, do not answer with "$x=y=z=0$ is a solution" only. Either you post any kind of proof or at least something unexpected (like "$x=1337, y=481, z=42$ is the smallest solution). Someone that does not see that $x=y=z=0$ is a solution of the above without your post is completely wrong here, this is an IMO-level forum.
Similar, posting "I have solved this problem" but not posting anything else is not welcome; it even looks that you just want to show off what a genius you are.

e) Well written and checked answers:
Like c) for new threads, check your solutions at least twice for mistakes. And after sending, read it again and use the Edit-Button if necessary to correct errors.



To repeat it: ALWAYS USE YOUR COMMON SENSE IF POSTING!


Everything definitely out of range of common sense will be locked or deleted (exept for new users having less than about 42 posts, they are newbies and need/get some time to learn).

The above rules will be applied from next monday (5. march of 2007).
Feel free to discuss on this here.
49 replies
ZetaX
Feb 27, 2007
NoDealsHere
May 4, 2019
An easy FE
oVlad   1
N a minute ago by pco
Source: Romania EGMO TST 2017 Day 1 P3
Determine all functions $f:\mathbb R\to\mathbb R$ such that \[f(xy-1)+f(x)f(y)=2xy-1,\]for any real numbers $x{}$ and $y{}.$
1 reply
oVlad
2 hours ago
pco
a minute ago
Fractions and reciprocals
adihaya   34
N a minute ago by de-Kirschbaum
Source: 2013 BAMO-8 #4
For a positive integer $n>2$, consider the $n-1$ fractions $$\dfrac21, \dfrac32, \cdots, \dfrac{n}{n-1}$$The product of these fractions equals $n$, but if you reciprocate (i.e. turn upside down) some of the fractions, the product will change. Can you make the product equal 1? Find all values of $n$ for which this is possible and prove that you have found them all.
34 replies
adihaya
Feb 27, 2016
de-Kirschbaum
a minute ago
GCD Functional Equation
pinetree1   60
N 3 minutes ago by cursed_tangent1434
Source: USA TSTST 2019 Problem 7
Let $f: \mathbb Z\to \{1, 2, \dots, 10^{100}\}$ be a function satisfying
$$\gcd(f(x), f(y)) = \gcd(f(x), x-y)$$for all integers $x$ and $y$. Show that there exist positive integers $m$ and $n$ such that $f(x) = \gcd(m+x, n)$ for all integers $x$.

Ankan Bhattacharya
60 replies
pinetree1
Jun 25, 2019
cursed_tangent1434
3 minutes ago
Inequality
giangtruong13   3
N 8 minutes ago by KhuongTrang
Let $a,b,c >0$ such that: $a^2+b^2+c^2=3$. Prove that: $$\frac{b^2}{a}+\frac{c^2}{b}+\frac{a^2}{c}+abc \geq 4$$
3 replies
giangtruong13
Today at 8:01 AM
KhuongTrang
8 minutes ago
Easy geo
oVlad   3
N 17 minutes ago by Primeniyazidayi
Source: Romania EGMO TST 2019 Day 1 P1
A line through the vertex $A{}$ of the triangle $ABC{}$ which doesn't coincide with $AB{}$ or $AC{}$ intersectes the altitudes from $B{}$ and $C{}$ at $D{}$ and $E{}$ respectively. Let $F{}$ be the reflection of $D{}$ in $AB{}$ and $G{}$ be the reflection of $E{}$ in $AC{}.$ Prove that the circles $ABF{}$ and $ACG{}$ are tangent.
3 replies
oVlad
2 hours ago
Primeniyazidayi
17 minutes ago
abc(a+b+c)=3, show that prod(a+b)>=8 [Indian RMO 2012(b) Q4]
Potla   28
N 20 minutes ago by mihaig
Let $a,b,c$ be positive real numbers such that $abc(a+b+c)=3.$ Prove that we have
\[(a+b)(b+c)(c+a)\geq 8.\]
Also determine the case of equality.
28 replies
Potla
Dec 2, 2012
mihaig
20 minutes ago
NT with repeating decimal digits
oVlad   1
N 22 minutes ago by kokcio
Source: Romania EGMO TST 2019 Day 1 P2
Determine the digits $0\leqslant c\leqslant 9$ such that for any positive integer $k{}$ there exists a positive integer $n$ such that the last $k{}$ digits of $n^9$ are equal to $c{}.$
1 reply
oVlad
2 hours ago
kokcio
22 minutes ago
Inequalities make a comeback
MS_Kekas   2
N 23 minutes ago by ZeroHero
Source: Kyiv City MO 2025 Round 1, Problem 11.5
Determine the largest possible constant \( C \) such that for any positive real numbers \( x, y, z \), which are the sides of a triangle, the following inequality holds:
\[
\frac{xy}{x^2 + y^2 + xz} + \frac{yz}{y^2 + z^2 + yx} + \frac{zx}{z^2 + x^2 + zy} \geq C.
\]
Proposed by Vadym Solomka
2 replies
MS_Kekas
Jan 20, 2025
ZeroHero
23 minutes ago
Interesting F.E
Jackson0423   11
N 31 minutes ago by Jackson0423
Show that there does not exist a function
\[
f : \mathbb{R}^+ \to \mathbb{R}
\]satisfying the condition that for all \( x, y \in \mathbb{R}^+ \),
\[
f(x + y^2) \geq f(x) + y.
\]

~Korea 2017 P7
11 replies
Jackson0423
Apr 18, 2025
Jackson0423
31 minutes ago
Sequence...
Jackson0423   0
34 minutes ago
Let the sequence \( \{a_n\} \) be defined as follows:
\( a_0 = 1 \), and for all positive integers \( n \),
\[
a_n = a_{\left\lfloor \frac{n}{3} \right\rfloor} + a_{\left\lfloor \frac{n}{2} \right\rfloor}.
\]Find the sum of all values \( k \leq 100 \) for which there exists a unique positive integer \( n \) such that \( a_n = k \).
0 replies
Jackson0423
34 minutes ago
0 replies
hard problem
Cobedangiu   3
N 38 minutes ago by Jackson0423
Let $a,b,c>0$ and $a+b+c=3$. Prove that:
$\dfrac{4}{a+b}+\dfrac{4}{b+c}+\dfrac{4}{c+a} \le \dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}+3$
3 replies
Cobedangiu
2 hours ago
Jackson0423
38 minutes ago
In triangle \( PQR \), points \( A, B, C, D, E, F \) are constructed as follows:
Jackson0423   0
38 minutes ago
In triangle \( PQR \), points \( A, B, C, D, E, F \) are constructed as follows: Points \( A \) and \( B \) lie on the extension of side \( QR \) such that \( AP = BP = QR \). Points \( C \) and \( D \) lie on the extension of side \( PQ \) such that \( CR = DR = PQ \). Points \( E \) and \( F \) lie on the extension of side \( RP \) such that \( EQ = FQ = RP \).

The points are placed in a clockwise order around triangle \( PQR \).

Prove that:
\[
\angle ACE + \angle FBD + \angle EAC = 180^\circ.
\]
0 replies
Jackson0423
38 minutes ago
0 replies
Function
Musashi123   1
N an hour ago by pco
f:R\{0} ->R\{0}
f(x/y+y/x)=f(x)/f(y)+f(y)/f(x)
f(xy)=f(x).f(y)
1 reply
Musashi123
2 hours ago
pco
an hour ago
Let \( a, b, c \) be positive real numbers satisfying \[ a^2 + c^2 = b(a + c). \
Jackson0423   2
N an hour ago by Jackson0423
Let \( a, b, c \) be positive real numbers satisfying
\[
a^2 + c^2 = b(a + c).
\]Let
\[
m = \min \left( \frac{a^2 + ab + b^2}{ab + bc + ca} \right).
\]Find the value of \( 2024m \).
2 replies
Jackson0423
Apr 16, 2025
Jackson0423
an hour ago
Equal angles
April   10
N Aug 14, 2023 by starchan
Source: All Russian Olympiad - Problem 11.7
Let be given a parallelogram $ ABCD$ and two points $ A_1$, $ C_1$ on its sides $ AB$, $ BC$, respectively. Lines $ AC_1$ and $ CA_1$ meet at $ P$. Assume that the circumcircles of triangles $ AA_1P$ and $ CC_1P$ intersect at the second point $ Q$ inside triangle $ ACD$. Prove that $ \angle PDA = \angle QBA$.
10 replies
April
May 10, 2009
starchan
Aug 14, 2023
Equal angles
G H J
Source: All Russian Olympiad - Problem 11.7
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
April
1270 posts
#1 • 3 Y
Y by Infinityfun, Adventure10, Mango247
Let be given a parallelogram $ ABCD$ and two points $ A_1$, $ C_1$ on its sides $ AB$, $ BC$, respectively. Lines $ AC_1$ and $ CA_1$ meet at $ P$. Assume that the circumcircles of triangles $ AA_1P$ and $ CC_1P$ intersect at the second point $ Q$ inside triangle $ ACD$. Prove that $ \angle PDA = \angle QBA$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
yetti
2643 posts
#2 • 4 Y
Y by doxuanlong15052000, Kayak, Adventure10, Mango247
Let $ (X) \equiv \odot(AA_1P)$ cut $ DA$ again at $ A_2$ and let $ (Y) \equiv \odot (CC_1P)$ cut $ CD$ again at $ C_2.$

$ \angle CQP = \angle PC_1B = \angle PAA_2 = \pi - \angle A_2QP$

$ \Longrightarrow$ $ C, Q, A_2$ are collinear and similarly, $ A, Q, C_2$ are collinear. From $ (X)$, $ A_1Q$ is antiparallel of $ AA_2 \parallel BC$ WRT angle $ \angle (AB, A_2C)$ $ \Longrightarrow$ $ A_1BCQ$ is cyclic, and $ A_2P$ is antiparallel of $ AA_1 \parallel DC$ WRT angle $ \angle (DA, CA_1)$ $ \Longrightarrow$ $ CDA_2P$ is also cyclic. From $ \odot (A_1BCQ), \odot(CDA_2P),$

$ \angle QBA = \angle QBA_1 = \angle QCA_1 = \angle QCP = \angle A_2CP = \angle A_2DP = \angle ADP.$
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ahiles
374 posts
#3 • 2 Y
Y by Adventure10, Mango247
From Virgil Nicula's extension we have

$ \frac {\sin \angle ABQ}{\sin \angle CBQ} = \frac {AA_1}{CC_1}$

Denote by $ E$ the intersection of the lines $ AD$ and $ CP$. Then

$ \dfrac{\sin \angle ADP}{\sin \angle CDP} = \dfrac{EP}{PC} \cdot \dfrac{CD}{ED}$

But

$ \dfrac{EP}{PC} = \dfrac{EA}{CC_1}$

and

$ \dfrac{AD}{ED} = 1 - \dfrac{EA}{ED} = 1 - \dfrac{AA_1}{CD} = \dfrac{CD - AA_1}{CD}$

$ ED = \dfrac{CD \cdot AD}{CD - AA_1} = \dfrac{CD \cdot AD}{AB - AA_1} = \dfrac{CD \cdot AD}{BA_1}$

So

$ \dfrac{\sin \angle ADP}{\sin \angle CDP} = \dfrac{EA}{CC_1} \cdot \dfrac{CD}{\dfrac{CD \cdot AD}{BA_1}} = \dfrac{EA}{BC} \cdot \dfrac{BA_1}{CC_1} = \dfrac{AA_1}{BA_1} \cdot \dfrac{BA_1}{CC_1} = \frac {AA_1}{CC_1} = \frac {\sin \angle ABQ}{\sin \angle CBQ}$

As function $ f(x) = \dfrac{\sin (\alpha - x)}{\sin x}$ is strictly decreasing on $ (0,\pi)$ we get that $ \angle PDA = \angle QBA$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
vladimir92
212 posts
#4 • 3 Y
Y by Swad, Adventure10, Mango247
Sorry to revive this old thread, But I have an alternative solution to this beautifull problem.
My solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
yugrey
2326 posts
#5 • 2 Y
Y by Adventure10, Mango247
Use complex numbers. Let $Q=0$. Note that in angle measure we have $QAP=QA_1P=QA_1C=QBC$, $QPA=QA_1A=QCC_1=QCB$ since $Q$ takes $AC_1$ to $A_1C$. So $Q$ takes $AP$ to $BC$ and $pb=ac$. So $p(a+c-d)=ac$, $-pd=-ap-cp+ac$, and $p(p-d)=(p-a)(p-c)$. Thus, $P$ takes $AD$ to $QC$. So now $PDA=PCA=A_1CQ=A_1BQ=QBA$, so we're done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
anantmudgal09
1980 posts
#6 • 4 Y
Y by Anar24, TheCosineLaw, Rg230403, Adventure10
Nice angle chasing exercise! :)

[asy]  /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki, go to User:Azjps/geogebra */
import graph; size(14.182cm); 
real labelscalefactor = 0.5; /* changes label-to-point distance */
pen dps = linewidth(0.7) + fontsize(10); defaultpen(dps); /* default pen style */ 
pen dotstyle = black; /* point style */ 
real xmin = -4.3, xmax = 15.96, ymin = -5.24, ymax = 6.3;  /* image dimensions */
pen xdxdff = rgb(0.49019607843137253,0.49019607843137253,1.); pen ffxfqq = rgb(1.,0.4980392156862745,0.); pen bfffqq = rgb(0.7490196078431373,1.,0.); pen ffqqff = rgb(1.,0.,1.); pen xfqqff = rgb(0.4980392156862745,0.,1.); 
 /* draw figures */
draw((4.32,3.2)--(5.36,0.), xdxdff); 
draw((2.66,0.)--(5.36,0.), xdxdff); 
draw((1.62,3.2)--(4.32,3.2), xdxdff); 
draw((1.62,3.2)--(2.66,0.), xdxdff); 
draw((4.32,3.2)--(4.1,0.)); 
draw((4.859378365410247,1.5403742602761632)--(2.66,0.)); 
draw(circle((3.38,0.5817777444167372), 0.9256702133582054), linetype("2 2") + ffxfqq); 
draw(circle((3.919179933099226,2.152271624016165), 1.1217804936225562), linetype("2 2") + ffxfqq); 
draw(circle((4.73,1.56425), 1.686350515907057), linetype("4 4") + bfffqq); 
draw((3.518359866198457,3.2)--(2.66,0.), linewidth(1.2) + linetype("4 4") + ffqqff); 
draw(circle((2.569179933099227,1.739483478257249), 1.7418527652134657), dotted + xfqqff); 
 /* dots and labels */
dot((2.66,0.),dotstyle); 
label("$A$", (2.38,-0.26), NE * labelscalefactor); 
dot((5.36,0.),dotstyle); 
label("$B$", (5.46,-0.38), NE * labelscalefactor); 
dot((4.32,3.2),dotstyle); 
label("$C$", (4.38,3.36), NE * labelscalefactor); 
dot((1.62,3.2),linewidth(3.pt) + dotstyle); 
label("$D$", (1.36,3.04), NE * labelscalefactor); 
dot((4.1,0.),dotstyle); 
label("$A_1$", (4.14,-0.44), NE * labelscalefactor); 
dot((4.859378365410247,1.5403742602761632),dotstyle); 
label("$C_1$", (5.02,1.52), NE * labelscalefactor); 
dot((4.172843888664785,1.059547471487769),linewidth(3.pt) + dotstyle); 
label("$P$", (4.34,0.78), NE * labelscalefactor); 
dot((4.172843888664785,1.059547471487769),linewidth(3.pt) + dotstyle); 
dot((3.0478152622528927,1.4457908484299304),linewidth(3.pt) + dotstyle); 
label("$Q$", (3.12,1.56), NE * labelscalefactor); 
dot((4.32,3.2),linewidth(3.pt) + dotstyle); 
dot((3.518359866198457,3.2),linewidth(3.pt) + dotstyle); 
label("$A_2$", (3.6,3.32), NE * labelscalefactor); 
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); 
 /* end of picture */

[/asy]

Lemma 1. Points $A_1, B, C, Q$ lie on a circle.

Proof. We have $$\angle A_1QC=\angle A_1QP+\angle PQC=\angle A_1AP+\angle PC_1B=180^{\circ}-\angle A_1BC_1 \Longrightarrow A_1, B, C, Q \, \text{are concyclic}. \, \square$$
Lemma 2. Points $A, Q, A_2$ are collinear where $A_2$ is the second intersection of $(CC_1P)$ with $CD$.

Proof. Note that from $A_2C \parallel A_1B$ we have $$\angle AQP+\angle A_2QP=\angle PA_1B+\left(180^{\circ}-\angle PCA_2\right)=180^{\circ} \Longrightarrow A, Q, A_2 \, \text{are collinear}. \, \square$$
Lemma 3. Points $D, A_2, P, A$ are concyclic.

Proof. We have $$\angle APA_2=\angle A_2CC_1=180^{\circ}-\angle ADA_1 \Longrightarrow A, D, A_2, P \, \text{are concyclic}. \, \square$$
As $$\angle PDA=\angle PA_2Q=\angle QCA_1=\angle QBA,$$we are done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
amplreneo
947 posts
#7 • 2 Y
Y by Adventure10, Mango247
Let $APQ$ interrsect $AD$ at $X$ and let $CPQ$ intersect $CD$ at $Y$.

Observe that $\angle XAP = \angle PC_1B = \angle PQC$. Thus $X, Q, C$ are collinear. Similarly, $A, Q, Y$ are collinear.

This mean that $DAPY$ is cyclic and $BA_1QC$ is cyclic (properties of the Miquel Point). This gives us

$\angle PDA = \angle PYA = \angle PYQ = \angle PCQ = \angle A_1CQ = \angle ABQ$ as required.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kayak
1298 posts
#8 • 2 Y
Y by Adventure10, Mango247
Pick $A_2 \in \overline{AD}, C_2 \in \overline{CD}$ such that $AA_1A_2PQ$, $CC_1C_2PQ$ are concylic. Observe that $Q$ is the Miquel point of $PA_1BC_1$.

$\angle PQA_2 + \angle PQC = 180 - \angle PAA_2 + 180 - \angle PC_1C = 180$, and hence $A_2, Q, C$ are colinear. Similarly $C_2, A, Q$ are colinear. Thus $P$ is the Miquel point of $QC_2DA_2$.

Now we're done since $\angle QBA = \angle QC_1A = \angle PC_1Q = \angle PC_2Q = \angle AC_2Q = \angle ADP$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mahdi_Mashayekhi
694 posts
#9
Y by
Let circle $AA_1P$ and $CC_1P$ meet $AD$ and $CD$ at $S,K$.
Claim $: BA_1QC$ is cyclic.
Proof $:$ Note that $\angle CQA_1 = \angle CQP + \angle PQA_1 = \angle BC_1A + \angle PAB = \angle 180 - \angle A_1BC$.
Claim $: A,Q,K$ and $C,Q,S$ are collinear.
Proof $:$ Note that $\angle PQA = \angle PA_1B = \angle PCK = \angle 180 - \angle PQK$. we prove the other one with same approach.
Claim $: CPSD$ is cyclic.
Proof $:$ Note that $\angle PSA = \angle PQA = \angle PCK = \angle PCD$.
Now Note that $\angle QBA = \angle QCA_1 = \angle QCP = \angle SCP = \angle SDP = \angle PDA$.
we're Done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
JAnatolGT_00
559 posts
#10 • 1 Y
Y by Infinityfun
Denote by $R$ reflection of $P$ wrt center of parallelogram. In $A_1BC_1P$ Miquel point $Q$ is the isogonal conjugate of $\infty_{BR},$ since $BR$ is homothetic to it's Gauss line with center $P$ and coefficient $2,$ therefore $$\angle PDA\stackrel{\text{symmetry}}{=}\angle RBC=\angle QBA.$$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
starchan
1603 posts
#11
Y by
solution
Z K Y
N Quick Reply
G
H
=
a