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

G
Topic
First Poster
Last Poster
k a May Highlights and 2025 AoPS Online Class Information
jlacosta   0
May 1, 2025
May is an exciting month! National MATHCOUNTS is the second week of May in Washington D.C. and our Founder, Richard Rusczyk will be presenting a seminar, Preparing Strong Math Students for College and Careers, on May 11th.

Are you interested in working towards MATHCOUNTS and don’t know where to start? We have you covered! If you have taken Prealgebra, then you are ready for MATHCOUNTS/AMC 8 Basics. Already aiming for State or National MATHCOUNTS and harder AMC 8 problems? Then our MATHCOUNTS/AMC 8 Advanced course is for you.

Summer camps are starting next month at the Virtual Campus in math and language arts that are 2 - to 4 - weeks in duration. Spaces are still available - don’t miss your chance to have an enriching summer experience. 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 upcoming events:
[list][*]May 9th, 4:30pm PT/7:30pm ET, Casework 2: Overwhelming Evidence — A Text Adventure, a game where participants will work together to navigate the map, solve puzzles, and win! All are welcome.
[*]May 19th, 4:30pm PT/7:30pm ET, What's Next After Beast Academy?, designed for students finishing Beast Academy and ready for Prealgebra 1.
[*]May 20th, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 1 Math Jam, Problems 1 to 4, join the Canada/USA Mathcamp staff for this exciting Math Jam, where they discuss solutions to Problems 1 to 4 of the 2025 Mathcamp Qualifying Quiz!
[*]May 21st, 4:00pm PT/7:00pm ET, Mathcamp 2025 Qualifying Quiz Part 2 Math Jam, Problems 5 and 6, Canada/USA Mathcamp staff will discuss solutions to Problems 5 and 6 of the 2025 Mathcamp Qualifying Quiz![/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
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
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
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
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
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
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
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

Paradoxes and Infinity
Mon, Tue, Wed, & Thurs, Jul 14 - Jul 16 (meets every day of the week!)

Intermediate: Grades 8-12

Intermediate Algebra
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
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
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
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
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

AIME Problem Series A
Thursday, May 22 - Jul 31

AIME Problem Series B
Sunday, Jun 22 - Sep 21

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
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
May 1, 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
Inequality
Sadigly   3
N 32 minutes ago by pooh123
Source: Azerbaijan Junior MO 2025 P5
For positive real numbers $x;y;z$ satisfying $0<x,y,z<2$, find the biggest value the following equation could acquire:


$$(2x-yz)(2y-zx)(2z-xy)$$
3 replies
Sadigly
Friday at 7:59 AM
pooh123
32 minutes ago
Calculus
youochange   2
N 36 minutes ago by youochange
Find the area enclosed by the curves $e^x,e^{-x},x^2+y^2=1$
2 replies
youochange
Yesterday at 2:38 PM
youochange
36 minutes ago
A strong inequality problem
hn111009   0
42 minutes ago
Source: Somewhere
Let $a,b,c$ be the positive number satisfied $a^2+b^2+c^2=3.$ Find the minimum of $$P=\dfrac{a^2}{b+c}+\dfrac{b^2}{c+a}+\dfrac{c^2}{a+b}+\dfrac{3abc}{2(ab+bc+ca)}.$$
0 replies
hn111009
42 minutes ago
0 replies
help me please,thanks
tnhan.129   0
an hour ago
find f: R+ -> R such that:
f(x)/x + f(y)/y = (1/x + 1/y).f(sqrt(xy))
0 replies
tnhan.129
an hour ago
0 replies
Easy divisibility
a_507_bc   2
N an hour ago by TUAN2k8
Source: ARO Regional stage 2023 9.4~10.4
Let $a, b, c$ be positive integers such that no number divides some other number. If $ab-b+1 \mid abc+1$, prove that $c \geq b$.
2 replies
a_507_bc
Feb 16, 2023
TUAN2k8
an hour ago
Inspired by old results
sqing   0
an hour ago
Source: Own
Let $a,b,c,d$ be real numbers such that $a^2+b^2+c^2 =3$. Prove that$$\frac{9}{5}>(a-b)(b-c)(2a-1)(2c-1)\geq -16$$
0 replies
sqing
an hour ago
0 replies
integer functional equation
ABCDE   149
N an hour ago by ezpotd
Source: 2015 IMO Shortlist A2
Determine all functions $f:\mathbb{Z}\rightarrow\mathbb{Z}$ with the property that \[f(x-f(y))=f(f(x))-f(y)-1\]holds for all $x,y\in\mathbb{Z}$.
149 replies
ABCDE
Jul 7, 2016
ezpotd
an hour ago
A geometry problem involving 2 circles
Ujiandsd   0
an hour ago
Source: L
Point M is the midpoint of side BC of triangle ABC. The length of the radius of the outer circle of triangle ABM, triangle ACM
is 5 and 7 respectively find the distance between the center of their outer circles
0 replies
Ujiandsd
an hour ago
0 replies
Inequality, inequality, inequality...
Assassino9931   10
N an hour ago by sqing
Source: Al-Khwarizmi Junior International Olympiad 2025 P6
Let $a,b,c$ be real numbers such that \[ab^2+bc^2+ca^2=6\sqrt{3}+ac^2+cb^2+ba^2.\]Find the smallest possible value of $a^2 + b^2 + c^2$.

Binh Luan and Nhan Xet, Vietnam
10 replies
Assassino9931
Yesterday at 9:38 AM
sqing
an hour ago
Grid with rooks
a_507_bc   3
N an hour ago by TUAN2k8
Source: ARO Regional stage 2022 9.3
Given is a positive integer $n$. There are $2n$ mutually non-attacking rooks placed on a grid $2n \times 2n$. The grid is splitted into two connected parts, symmetric with respect to the center of the grid. What is the largest number of rooks that could lie in the same part?
3 replies
a_507_bc
Feb 16, 2023
TUAN2k8
an hour ago
IMO Shortlist 2013, Number Theory #3
lyukhson   47
N an hour ago by cursed_tangent1434
Source: IMO Shortlist 2013, Number Theory #3
Prove that there exist infinitely many positive integers $n$ such that the largest prime divisor of $n^4 + n^2 + 1$ is equal to the largest prime divisor of $(n+1)^4 + (n+1)^2 +1$.
47 replies
lyukhson
Jul 10, 2014
cursed_tangent1434
an hour ago
Darboux cubic
srirampanchapakesan   1
N 2 hours ago by srirampanchapakesan
Source: Own
Let P be a point on the Darboux cubic (or the McCay Cubic ) of triangle ABC.

P1P2P3 is the circumcevian or pedal triangle of P wrt ABC.

Prove that P also lie on the Darboux cubic ( or the McCay Cubic) of P1P2P3 .
1 reply
srirampanchapakesan
May 7, 2025
srirampanchapakesan
2 hours ago
IMO Shortlist 2011, Algebra 2
orl   43
N 2 hours ago by ezpotd
Source: IMO Shortlist 2011, Algebra 2
Determine all sequences $(x_1,x_2,\ldots,x_{2011})$ of positive integers, such that for every positive integer $n$ there exists an integer $a$ with \[\sum^{2011}_{j=1} j  x^n_j = a^{n+1} + 1\]

Proposed by Warut Suksompong, Thailand
43 replies
orl
Jul 11, 2012
ezpotd
2 hours ago
Sequence inequality
BR1F1SZ   1
N 2 hours ago by IndoMathXdZ
Source: 2025 Francophone MO Seniors P1
Let $a_1, a_2, a_3, \ldots$ be a sequence of positive integers satisfying the following property: for all positive integers $k < \ell$, for all distinct integers $m_1, m_2, \ldots, m_k$ and for all distinct integers $n_1, n_2, \ldots, n_\ell$,
\[
a_{m_1} + a_{m_2} + \cdots + a_{m_k} \leqslant a_{n_1} + a_{n_2} + \cdots + a_{n_\ell}.
\]Prove that there exist two integers $N$ and $b$ such that $a_n = b$ for all $n \geqslant N$.
1 reply
BR1F1SZ
3 hours ago
IndoMathXdZ
2 hours ago
Cyclic Points
IstekOlympiadTeam   39
N Apr 25, 2025 by Ilikeminecraft
Source: EGMO 2017 Day1 P1
Let $ABCD$ be a convex quadrilateral with $\angle DAB=\angle BCD=90^{\circ}$ and $\angle ABC> \angle CDA$. Let $Q$ and $R$ be points on segments $BC$ and $CD$, respectively, such that line $QR$ intersects lines $AB$ and $AD$ at points $P$ and $S$, respectively. It is given that $PQ=RS$.Let the midpoint of $BD$ be $M$ and the midpoint of $QR$ be $N$.Prove that the points $M,N,A$ and $C$ lie on a circle.
39 replies
IstekOlympiadTeam
Apr 8, 2017
Ilikeminecraft
Apr 25, 2025
Source: EGMO 2017 Day1 P1
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
IstekOlympiadTeam
542 posts
#1 • 11 Y
Y by tenplusten, anantmudgal09, xhenisa, Problem_Penetrator, AlirezaSh, megarnie, Adventure10, Mango247, ItsBesi, Rounak_iitr, PikaPika999
Let $ABCD$ be a convex quadrilateral with $\angle DAB=\angle BCD=90^{\circ}$ and $\angle ABC> \angle CDA$. Let $Q$ and $R$ be points on segments $BC$ and $CD$, respectively, such that line $QR$ intersects lines $AB$ and $AD$ at points $P$ and $S$, respectively. It is given that $PQ=RS$.Let the midpoint of $BD$ be $M$ and the midpoint of $QR$ be $N$.Prove that the points $M,N,A$ and $C$ lie on a circle.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
juckter
323 posts
#2 • 6 Y
Y by Domingues3, gradysocool, geomath, Vladimir_Djurica, Adventure10, PikaPika999
Notice $PQ = RS$ implies $N$ is also the midpoint of $PS$, then as $APS$ and $CQR$ are right angled it follows that

$$\angle ANC = \angle ANP + \angle CNQ = 2(\angle ASN + \angle CRN) = 2(\angle DSR + \angle DRS) = 2\angle ADC$$
As $M$ is the center of cyclic queadrilateral $ABCD$ it follows that $\angle AMC = 2\angle ADC$ too, done.
This post has been edited 2 times. Last edited by juckter, Apr 8, 2017, 5:58 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Dexenberg
143 posts
#3 • 3 Y
Y by Adventure10, Mango247, PikaPika999
Notice that $\angle MAN=\angle MCN \Leftrightarrow \angle NAS - \angle MAD=\angle MCD- \angle NCR$, and since $N$ is the midpoint of $PS$, we get that the later is equivalent with $\angle MDA+\angle CDM=\angle DRS +\angle RSD$, which is true as $\angle RDA$ is an exterior angle of $\Delta RDS$.
Finally, we can conclude that $\angle MAN=\angle MCN$, hence $AMNC$ is a cyclic quadrilateral.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
tenplusten
1000 posts
#4 • 6 Y
Y by Problem_Penetrator, BarishNamazov, Vladimir_Djurica, Adventure10, Mango247, PikaPika999
İs it really EGMO P1?too easy.
The KEY is that in right angled triangle the median is equal to the half of hipotenous.
Solution
This post has been edited 2 times. Last edited by tenplusten, Apr 8, 2017, 12:50 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
v_Enhance
6877 posts
#5 • 9 Y
Y by hwl0304, gradysocool, vsathiam, v4913, HamstPan38825, Adventure10, Rounak_iitr, PikaPika999, MS_asdfgzxcvb
The condition is equivalent to $N$ being the midpoint of both $\overline{PS}$ and $\overline{QR}$ simultaneously. (Thus triangles $BAD$ and $BCD$ play morally dual roles.)

The rest is angle chasing. We have \begin{align*} 	\measuredangle ANC &= \measuredangle ANP + \measuredangle QNC \\ 	&= 2\measuredangle ASP + 2\measuredangle QRC \\ 	&= 2 \measuredangle DSR + 2 \measuredangle DRS = 2 \measuredangle RDS \\ 	&= 2 \measuredangle ADC = \measuredangle AMC. \end{align*}
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
elnoga71
4 posts
#6 • 2 Y
Y by Adventure10, PikaPika999
Solution
@juckter I believe you mean to type $PS$ not $PQ$.
This post has been edited 1 time. Last edited by elnoga71, Apr 8, 2017, 5:11 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
juckter
323 posts
#7 • 3 Y
Y by Adventure10, Mango247, PikaPika999
Thanks, edited.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ABCDE
1963 posts
#8 • 1 Y
Y by Adventure10
Let $W,X$ and $Y,Z$ be the feet of the altitudes from $A,C$ to $PQ$ and $BD$, respectively. Note that as $CQR$ and $ABD$ are right triangles, $\angle WAY$ is the reflection of $\angle NAM$ over the angle bisector of $\angle BAD$. Similarly, $\angle XCZ$ the reflection of $\angle NCM$ over the angle bisector of $\angle BCD$. As $AW,CX$ and $AY,CZ$ are pairs of parallel lines, $\angle WAY=\angle XCZ$, so $\angle NAM=\angle NCM$ as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EulerMacaroni
851 posts
#9 • 2 Y
Y by Adventure10, Mango247
Notice that $\odot(APS)$ and $\odot(CRQ)$ have common circumcenter at $N$, so
$$\angle ANQ+\angle CNQ=2\pi-2\angle APN-2\angle CQN=2\angle BPQ=2\angle ADC=\angle AMC$$as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mcdonalds106_7
1138 posts
#10 • 2 Y
Y by Adventure10, Mango247
Extension: Prove that $(CQR), (ABCD), AN$ concur. (And similarly, $(APS), (ABCD), CN$ concur.)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
gradysocool
392 posts
#11 • 2 Y
Y by kk108, Adventure10
What is the point of $\angle ABC > \angle CDA$? Configuration issues?
This post has been edited 1 time. Last edited by gradysocool, Apr 10, 2017, 2:44 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Not_a_Username
1215 posts
#12 • 2 Y
Y by Adventure10, Mango247
There is no circle if ABC equals CDA.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HadjBrahim-Abderrahim
169 posts
#13 • 2 Y
Y by Adventure10, Mango247
IstekOlympiadTeam wrote:
Let $ABCD$ be a convex quadrilateral with $\angle DAB=\angle BCD=90^{\circ}$ and $\angle ABC> \angle CDA$. Let $Q$ and $R$ be points on segments $BC$ and $CD$, respectively, such that line $QR$ intersects lines $AB$ and $AD$ at points $P$ and $S$, respectively. It is given that $PQ=RS$.Let the midpoint of $BD$ be $M$ and the midpoint of $QR$ be $N$.Prove that the points $M,N,A$ and $C$ lie on a circle.

Here is my solution. Because $PQ=RS$ the point $N$ is the midpoint of $PS.$ Because $\angle SAP=\angle QCR=90^\circ,$ we deduce that the point $N$ is the circumcenter of both triangles $SAP$ and $QCR.$ Therefore,
\begin{align*}\angle CNA &=\angle CNQ+\angle PNA\\&=2\angle CRQ+2\angle PSA \\&= 2(\angle DRS+\angle RSD) \\&= 2\angle CDA=\angle CMA  \end{align*}and this proves that the points $M,N,A$ and $C$ lie on a circle.
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Achillys
137 posts
#14 • 1 Y
Y by Adventure10
I understand that the solution is just easy angle chasing, but just for the sake of curiosity, is it "legal" to make projective transformation that sends $AC \cap BD$ to the center of circumcircle $ABCD$ or anything similar? If then, does the new line $A'M'N'C'$ (they become collinear in the new configuration) map to a circle in the original configuration?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
nikolapavlovic
1246 posts
#15 • 3 Y
Y by Achillys, Adventure10, Mango247
Yeah but you need to show that $M,N,A,C$ are concyclic which isn't something projectivity saves .(for example a perspectivity).
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
mathfun1
11 posts
#16 • 2 Y
Y by Adventure10, Mango247
simple angle chase
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lilavati_2005
357 posts
#17 • 5 Y
Y by char2539, amar_04, AbodeMokayed, Adventure10, Mango247
Solution(with char_2539)
We see that $M$ is the circumcenter of cyclic quadrilateral $ABCD \Longrightarrow MA = MB  = MC = MD$
N is the circumcenter of $\triangle RCQ$ and $\triangle ASP \Longrightarrow NC = NQ = NR$ ; $NA = NP = NS$
$\angle DBA = \alpha $ , $\angle DBC = \beta$ and $BQP = \gamma$
See that $\angle BCA = \angle DAM = 90 - \alpha$ and $\angle CAB = 90 - \beta$ and $\angle NCQ = \gamma$
Also, $\angle MCA = \angle MAC = \alpha + \beta - 90 \Longrightarrow \angle NCM = \beta - \gamma$
$\angle APS = \alpha + \beta - \gamma \Longrightarrow \angle ASP  = \angle NAS = 90 - \alpha - \beta + \gamma$
Thus, $\angle MAN = \beta - \gamma$
$MNCA$ is cyclic.
This post has been edited 3 times. Last edited by lilavati_2005, Nov 2, 2019, 7:58 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
VulcanForge
626 posts
#19 • 1 Y
Y by Adventure10
Since $N$ is the center of both $(CQR)$ and $(APS)$, we have that $$\angle MCN = \angle MCD - \angle NCR = \angle BDR - \angle DRS = \angle DSR - \angle ADM = \angle DAN - \angle DAM = \angle MAN$$, as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
AopsUser101
1750 posts
#20 • 1 Y
Y by v4913
The key observation here is that $M$ is the center of $(BAD)$ and $N$ is the center of $(APS)$ and $(QCR)$. We can proceed with angle-chase.

Let $\angle ABD = a, \angle PSA = b, $ and $\angle BDR = c$. Then, we have that $\angle MDA = 90-a, \angle QBD = 90-c, $ and $\angle APS = 90-b$. Clearly then, looking at $\triangle PQB$, $\angle PQB = b+a-c$. Therefore, since $\angle QCN = b+a-c$ and $\angle QCM = 90-c$, $\angle MCN = b+a-90$. On the other hand, $\angle PAN = 90-b$ and $\angle BAM = a$, so $\angle NAM = b + a -90$. Therefore, $\angle MCN = \angle NAM$ and $MNAC$ is cyclic.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
EulersTurban
386 posts
#21
Y by
From the condition that $RS=PQ$, we have that $NS=NP$, thus we have that $N$ is the center of $\left(APS\right)$, also we have that $N$ is the center of $\left(CRQ\right)$.
We denote with $x=\angle DRS=\angle PRC$, and we denote with $\beta =\angle ADC$.Then we have the following:
$$\angle ANC=\angle ANP+\angle PNC=2.(\angle ASN+\angle PRC)=2.(180-(180-\beta+x)+x)=2\beta=\angle AMC$$thus we have that $AMNC$ is cyclic
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HoRI_DA_GRe8
598 posts
#22
Y by
sol
This post has been edited 2 times. Last edited by HoRI_DA_GRe8, Jan 18, 2022, 10:31 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
CT17
1481 posts
#23 • 1 Y
Y by centslordm
We have

$$\measuredangle AMC = 2\measuredangle  ADC = 2\measuredangle  DSR + 2\measuredangle  SRD = \measuredangle  ANP + \measuredangle  PNC = \measuredangle  ANC$$
as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mogmog8
1080 posts
#24 • 1 Y
Y by centslordm
Notice $PQ=RS$ implies $N$ is the midpoint of $PS,$ so $N$ is the center of $(CQR)$ and $(APS),$ while $M$ is the center of $(ABC).$ Notice $$\angle BDA+\angle CDB=\angle CDA=\angle RSD+\angle DRS,$$so \begin{align*}\angle MAN&=\angle DAN-\angle DAM=\angle NSA-\angle MDA\\&=\angle CDM-\angle DRS=\angle MCR-\angle NCR=\angle MCN.\end{align*}$\square$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jelena_ivanchic
151 posts
#25
Y by
Probably same as the above solutions but still posting.
Solved with Krutarth and Malay.

Note that $N$ is the midpoint of $PS$. And since $\angle DCB=90\implies NC=NQ=NR.$ Similarly, we have $AN=AP=AS$. So we have $$ \angle ANC=\angle ANP+\angle PNC$$$$=180-\angle 2\angle APN+180-2\angle BQP=360-2(\angle  APN+ \angle BQP)=2(180-(\angle  APN+ \angle BQP))$$$$=2\angle CBP=2\angle ADC.$$
But since $M$ is the center of $ABCD$ we have $$\angle ANC= 2\angle ADC=\angle AMC\implies ANMC\text{ cyclic}.$$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
HamstPan38825
8863 posts
#26
Y by
We will show that $\angle CMA = \angle CNA$, which is enough to imply the result. This is true because $$\measuredangle CNA = \measuredangle CNQ + \measuredangle QNA = 2\measuredangle CQR + 2\measuredangle NPA = 2\measuredangle QBP = \measuredangle CMA$$by utilizing that $M$ is the center of the circle and $N$ is a common midpoint.
This post has been edited 1 time. Last edited by HamstPan38825, Jan 31, 2023, 5:26 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bever209
1522 posts
#27
Y by
Note that $N$ is the center of $(APS)$ and $M$ is the center of $(ABCD)$. Now \[ 2 \angle D = \angle CMA \]and \[ \angle CNA= \angle CNQ +\angle ANQ = (180-2 \angle PQB )+(180 - 2 \angle NAP) = 360 - 2(\angle NPB+\angle PQB) = 2\angle D\]
This post has been edited 1 time. Last edited by bever209, Mar 20, 2023, 4:41 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
john0512
4187 posts
#28
Y by
Let $\angle ADC=\alpha$ and $\angle ASC=\beta.$ THen, $\angle AMC=2\alpha.$ However, since $N$ is the midpoint of $PS$, $\angle ANP=2\beta.$ Then, $$\angle PNC=2\angle NKC=2(\alpha-\beta),$$so $\angle ANC=\angle ANP=\angle PNC=2\alpha,$ hence done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Minkowsi47
48 posts
#29
Y by
Easiest of all EGMO geometry.
$$\angle{AMC}=2\angle{ADQ}$$.
$$\angle{ANC}=\angle{ANQ} + \angle{PNC}=2\angle{ASN}+2\angle{NRC}=2\angle{ANC}+ 2\angle{DRS}=2\angle{ADQ}$$.
Hence this proves that $MNCA$ is a cyclic quadrilateral.
This post has been edited 1 time. Last edited by Minkowsi47, Apr 19, 2023, 9:24 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dancho
38 posts
#31
Y by
It's simply angle chasing. Mine is not ideal but here it is.
$ABCD$ is cyclic $\implies$ $\angle{ADC}=\angle{PBQ}$
From median in a right triangle we have:
$\angle{ABM}=\angle{BAM}=90^{\circ}-\angle{ADB}$
$\angle{BCM}=\angle{CBM}=90^{\circ}-\angle{BDC}$
$\angle{APN}=\angle{PAN}$
$\angle{CQN}=\angle{QCN}$
$\angle{MCN}=\angle{QCN}-\angle{QCM}=\angle{CQN}-(90^{\circ}-\angle{BCD})=\angle{PQB}+\angle{BDC}-90^{\circ}=180-\angle{PBQ}-\angle{BPQ}+\angle{BDC}-90^{\circ}=90-\angle{ADB}-\angle{APN}=\angle{BAM}-\angle{BAN}=\angle{MAN}$
$\implies AMNC$ is cyclic qed.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
BorisAngelov1
15 posts
#32 • 1 Y
Y by topologicalsort
This is a cringe solution :)
Note that $CN$, $CM$, $AM$ and $AN$ are medians in right angled triangles
Let $\angle CDB = \alpha$ and $\angle ADB = \beta$ and $\angle MCN = \psi$. $\angle MDC = \angle DCM = \alpha$ and $\angle DCM = \alpha - \psi$ and $\angle MDA = \angle MAD = \beta$.
From $\triangle CRQ \implies \angle CRN = \alpha - \psi$. Then $\angle DRS = \angle NRC = \alpha - \psi \implies \angle DSR = \beta + \psi$
Since $AN$ is a median in the right angle $\triangle SAP \implies \angle SAN = \angle ASN = \beta + \psi$, but $\angle MAD = \beta \implies \angle MAN = \psi$. Combining with $\angle MCN = \psi \implies A, M, N C$ are concyclic.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Math4Life7
1703 posts
#33
Y by
We can obviously see that $M$ is the curcumcenter of $ABCD$. We can also see that $N$ is the midpoint of $PS$ and $QR$ which creates a lot of isosceles triangles.

We claim that $\angle AMC = \angle ANC = 2 \cdot \angle ADC $. We prove this for $\angle AMC$ first. We can see that \[\angle AMC = \angle AMB + \angle BMC \Rightarrow \angle MAB + \angle MCB = 180 - \frac{\angle AMC}{2} \Rightarrow \angle ADC = \angle DAM + \angle DCM = \frac{\angle AMC}{2} \]For $\angle ANC$ we have \[ \angle ANC = \angle ANP + \angle NQC \Rightarrow \angle NAP + \angle NCQ = 180 - \frac{\angle ANC}{2} \Rightarrow \angle DAN + \angle ANC + \angle NCD + \angle ADC = 360\](note that this is not convex). Thus we can see that, $\frac{\angle ANC}{2} + 360 - \angle ANC + \angle ADC = 360$. $\blacksquare$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
IAmTheHazard
5001 posts
#34
Y by
The condition implies $N$ is the midpoint of $\overline{PS}$. Now,
$$\angle ANC=\angle ANP+\angle CNQ=2(\angle ASP+\angle CRQ)=2(\angle DPR+\angle DRP)=2\angle ADC=\angle AMC,$$since $M$ is the cicrumcenter of $ABCD$. $\blacksquare$
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
#35
Y by
Notice that $N$ is the midpoint of $\overline{SP}$ as well. Thus, we have

\[\angle ANC = \angle ANP + \angle QNC = 2(\angle ASP + \angle QRC) = 2(\angle DSR+\angle DRS) = 2 \angle ADC\]
Then, since $M$ is the center of cyclic quadrilateral $ABCD$, we have $\angle AMC = 2 \angle ADC$. This means that $\angle AMC = \angle ANC$, so $AMNC$ is cyclic. $\square$

[asy]
 /* Geogebra to Asymptote conversion, documentation at artofproblemsolving.com/Wiki go to User:Azjps/geogebra */
import graph; size(10cm); 
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 = -3.574715947923021, xmax = 10.84089483568482, ymin = -2.17273844548352, ymax = 6.725248240918899;  /* image dimensions */

 /* draw figures */
draw((0,4)--(0,0), linewidth(1)); 
draw((0,0)--(3,0), linewidth(1)); 
draw((3,0)--(3.996502867506914,2.1321871118141122), linewidth(1)); 
draw((3.996502867506914,2.1321871118141122)--(0,4), linewidth(1)); 
draw((0,4)--(0,4.647781263843776), linewidth(1)); 
draw((0,4.647781263843776)--(5.031359934663131,0), linewidth(1)); 
draw((5.031359934663131,0)--(3,0), linewidth(1)); 
draw((0,4)--(3,0), linewidth(1)); 
draw((1.5,2)--(2.5156799673315655,2.323890631921888), linewidth(1)); 
draw((2.5156799673315655,2.323890631921888)--(3.996502867506914,2.1321871118141122), linewidth(1)); 
draw((1.5,2)--(0,0), linewidth(1)); 
draw((0,0)--(3.996502867506914,2.1321871118141122), linewidth(1)); 
draw((0,0)--(2.5156799673315655,2.323890631921888), linewidth(1)); 
draw((1.5,2)--(3.996502867506914,2.1321871118141122), linewidth(1)); 
 /* dots and labels */
dot((0,0),dotstyle); 
label("$A$", (0.0054334115247282,-0.15628020336219746), NE * labelscalefactor); 
dot((3,0),dotstyle); 
label("$B$", (3.04425208963368,0.03628020336219746), NE * labelscalefactor); 
dot((0,4),dotstyle); 
label("$D$", (0.03554334115247282,4.008193333153482), NE * labelscalefactor); 
dot((3.996502867506914,2.1321871118141122),dotstyle); 
label("$C$", (4.036552075494734,2.1435417113706215), NE * labelscalefactor); 
dot((3.6125462655944176,1.3106467582555346),dotstyle); 
label("$Q$", (3.654898234778944,1.314807657244906), NE * labelscalefactor); 
dot((1.419326061944203,3.336661176302054),dotstyle); 
label("$R$", (1.413114749525407,3.4030252107631043), NE * labelscalefactor); 
dot((5.031359934663131,0),linewidth(4pt) + dotstyle); 
label("$P$", (5.032469643151878,0.05447141246415232), NE * labelscalefactor); 
dot((0,4.647781263843776),linewidth(4pt) + dotstyle); 
label("$S$", (0.04554334115247282,4.6297438737477675), NE * labelscalefactor); 
dot((1.5,2),linewidth(4pt) + dotstyle); 
label("$M$", (1.439445517668565,2.0908801750843056), NE * labelscalefactor); 
dot((2.5156799673315655,2.323890631921888),linewidth(4pt) + dotstyle); 
label("$N$", (2.514458689876687,2.40710764310596), NE * labelscalefactor); 
clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); 
 /* end of picture */
[/asy]
This post has been edited 1 time. Last edited by joshualiu315, Oct 28, 2023, 5:47 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
bjump
1026 posts
#36
Y by
Angles :love:
Note that
$$\angle ANC=360^{\circ}- \angle CNR- \angle ANR =180^{\circ}- \angle CNR+180^{\circ}- \angle ANR $$$$=2\angle ASN+ 2\angle RNC= 2\angle DSR+2\angle DRS= 2(180^{\circ}-\angle RDS)=2\angle ADC= \angle AMC$$
Which means $A$,$M$, $N$, and $C$ are cyclic.
This post has been edited 1 time. Last edited by bjump, Dec 19, 2023, 9:38 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
kamatadu
480 posts
#37 • 1 Y
Y by GeoKing
$PQ = RS$, $NQ=NR\implies N$ is the midpoint of $PS$. Now,
\begin{align*}
    \measuredangle NCM &=\measuredangle NCQ-\measuredangle MCB\\
    &= (90^\circ - \measuredangle NRC) - (90^\circ - \measuredangle BDC)\\
    &=\measuredangle BDC - \measuredangle SRD\\
    &=(\measuredangle BDA+\measuredangle SDC) - \measuredangle SRD\\
    &=\measuredangle BDA + \measuredangle SPR + \measuredangle DRS\\
    &=\measuredangle BDA + \measuredangle DSR\\
    &=\measuredangle BDA -\measuredangle RSD
.\end{align*}
And,
\begin{align*}
    \measuredangle NAM &= \measuredangle BAM - \measuredangle BAN\\
    &=-(90^\circ - \measuredangle BDA)-\measuredangle PAN\\
    &=\measuredangle BDA - 90^\circ-(-(90^\circ-\measuredangle PSA))\\
    &=\measuredangle BDA -90^\circ + 90^\circ - \measuredangle PSA\\
    &=\measuredangle BDA \measuredangle PSA\\
    &=\measuredangle BDA - \measuredangle RSD
.\end{align*}
Thus $\measuredangle NCM=\measuredangle NAM \implies MNAC$ is cyclic. :yoda:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
fearsum_fyz
52 posts
#40
Y by
We are given that $\square{ABCD}$ is cyclic with center $M$ and $N$ is the midpoint of both $PS$ and $QR$, the respective hypotenuses of right triangles $\Delta{APS}$ and $\Delta{CQR}$.
Hence, we have:
$\measuredangle{ANC} = \measuredangle{ANP} + \measuredangle{QNC} = 2 \measuredangle{NAP} + 2 \measuredangle{QCN} = 2 \measuredangle{NAB} + 2 \measuredangle{BCN} = 2 (\measuredangle{ANC} + \measuredangle{CBA}) = 2 \measuredangle{ABC} = 2 \measuredangle{ADC} = \measuredangle{AMC}$.
https://i.imgur.com/IAYkMTH_d.webp?maxwidth=1520&fidelity=grand
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Likeminded2017
391 posts
#41
Y by
$N$ is the circumcenter of $(CRQ)$ and $(ASP).$ So
\[\angle ANC=\angle CNQ+\angle ANP=2(\angle CRQ+\angle ASP)=2(\angle DRS+\angle DSR)=2\angle ADC=\angle AMC.\]
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Maximilian113
575 posts
#42
Y by
Pretty similar to the above solutions, but this is for storage.

Notice that $M$ is the circumcenter of both $(ABD), (CBD),$ while $N$ is the circumcenter of both $(APS), (CQR).$ Therefore, $$\angle ANC = \angle CNQ + \angle ANP = 2(\angle ASP+\angle CRQ) = 2\angle ADR = 2(\angle ADB+\angle BDC) = \angle AMB+\angle BMC = \angle AMC,$$and the desired result follows. QED
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
eg4334
637 posts
#43
Y by
$M$ is the circumcenter of $ABCD$, and $N$ is both the circumcenter of $QCR$ and $APS$. Now, $\angle AMC = 2 \angle D$ obviously. Also, $\angle ANC = \angle ANP + \angle QNC = 2 \angle ASP + 2 \angle QRC = 2 \angle ASP + 2 \angle DRS = 2 \angle D$ which finishes.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ilikeminecraft
627 posts
#44
Y by
By the given, we have that $N$ is the midpoint of $\overline{PS}.$
\begin{align*}
	\angle ANC & = \angle PNC + \angle PNA \\
	& = 2\angle NRC + 2\angle ASN \\
	& = 2\angle ADC \\
	& = \angle AMC
\end{align*}thus, we are done.
Z K Y
N Quick Reply
G
H
=
a