Join our FREE webinar on May 1st to learn about managing anxiety.

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
Add a digit to obtain a new perfect square
Lukaluce   2
N 3 minutes ago by TopGbulliedU
Source: 2024 Junior Macedonian Mathematical Olympiad P4
Let $a_1, a_2, ..., a_n$ be a sequence of perfect squares such that $a_{i + 1}$ can be obtained by concatenating a digit to the right of $a_i$. Determine all such sequences that are of maximum length.

Proposed by Ilija Jovčeski
2 replies
Lukaluce
Apr 14, 2025
TopGbulliedU
3 minutes ago
D1025 : Can you do that?
Dattier   2
N 7 minutes ago by CerealCipher
Source: les dattes à Dattier
Let $x_{n+1}=x_n^3$ and $x_0=3$.

Can you calculate $\sum\limits_{i=1}^{2^{2025}} x_i \mod 10^{30}$?
2 replies
Dattier
Yesterday at 8:24 PM
CerealCipher
7 minutes ago
Simple inequality
sqing   7
N 12 minutes ago by sqing
Source: Daniel Sitaru
Let $a,b,c>0$ . Prove that$$\frac{a^3}{b^3}+\frac{b^3}{c^3}+\frac{c^3}{a^3}+9>\frac{3}{2}\left(\frac{a^2}{b^2}+\frac{b^2}{c^2}+\frac{c^2}{a^2}+
\frac{a}{b}+\frac{b}{c}+\frac{c}{a}\right)$$
7 replies
sqing
Feb 10, 2017
sqing
12 minutes ago
Vector Vortex
steven_zhang123   1
N 13 minutes ago by Mathzeus1024
Source: NS Issue 1 P3 (2014.4)
Let $v_{1}, v_{2}, \cdots, v_{n}$ be $n$ unit vectors on a plane, where $n$ is an odd number. Prove that there exist $\varepsilon _i\in \left \{ -1,1 \right \} $ for $i=1,2,\cdots,n$ such that $\left | \sum_{i=1}^{n} \varepsilon_i v_i \right | \le 1.$
1 reply
steven_zhang123
Feb 15, 2025
Mathzeus1024
13 minutes ago
China Northern MO 2009 p4 CNMO
parkjungmin   0
13 minutes ago
Source: China Northern MO 2009 p4 CNMO P4
The problem is too difficult.
0 replies
parkjungmin
13 minutes ago
0 replies
The Appetizer of Iran NT2023
alinazarboland   6
N 26 minutes ago by A22-
Source: Iran MO 3rd round 2023 NT exam , P1
Find all integers $n > 4$ st for every two subsets $A,B$ of $\{0,1,....,n-1\}$ , there exists a polynomial $f$ with integer coefficients st either $f(A) = B$ or $f(B) = A$ where the equations are considered mod n.
We say two subsets are equal mod n if they produce the same set of reminders mod n. and the set $f(X)$ is the set of reminders of $f(x)$ where $x \in X$ mod n.
6 replies
alinazarboland
Aug 17, 2023
A22-
26 minutes ago
Do not try to case bash lol
ItzsleepyXD   1
N 27 minutes ago by Haris1
Source: Own , Mock Thailand Mathematic Olympiad P3
Let $n,d\geqslant 6$ be a positive integer such that $d\mid 6^{n!}+1$ .
Prove that $d>2n+6$ .
1 reply
ItzsleepyXD
an hour ago
Haris1
27 minutes ago
Rutthee on some APMO style
ItzsleepyXD   0
28 minutes ago
Source: Own , Mock Thailand Mathematic Olympiad P10 (Not Rutthee problem , Idk what to name a sequence)
Let $a_0,a_1,\dots$ be Rutthee sequence if $a_0$ be a positive integer and
$$a_{i}\in\left\{3a_{i-1}+2,\frac{2a_{i-1}+1}{a_{i-1}+2},\frac{a_{i-1}}{2a_{i-1}+3}\right\}$$for all $i \in \mathbb{Z^+}$ and there are some positive integer $n$ sastisfied $a_n\in\{2025,2568\}$
Is it possible that there are Rutthee sequence such that there exist positive integer $m\neq n$ such that $a_m=2025$ and $a_n=2568$ also find all possible value of $a_0$ in Rutthee sequence
0 replies
ItzsleepyXD
28 minutes ago
0 replies
3 var inequality
sqing   0
33 minutes ago
Source: Own
Let $ a,b,c>0 ,\frac{a}{b} +\frac{b}{c} +\frac{c}{a} \leq 2\left( \frac{1}{a}+\frac{1}{b}+\frac{1}{c}\right). $ Prove that
$$a+b+c+2\geq abc$$Let $ a,b,c>0 , a^3+b^3+c^3\leq 2(ab+bc+ca). $ Prove that
$$a+b+c+2\geq abc$$
0 replies
sqing
33 minutes ago
0 replies
Do not try to bash on beautiful geometry
ItzsleepyXD   0
33 minutes ago
Source: Own , Mock Thailand Mathematic Olympiad P9
Let $ABC$be triangle with point $D,E$ and $F$ on $BC,AB,CA$
such that $BE=CF$ and $E,F$ are on the same side of $BC$
Let $M$ be midpoint of segment $BC$ and $N$ be midpoint of segment $EF$
Let $G$ be intersection of $BF$ with $CE$ and $\dfrac{BD}{DC}=\dfrac{AC}{AB}$
Prove that $MN\parallel DG$
0 replies
ItzsleepyXD
33 minutes ago
0 replies
already well-known, but yet strangely difficult
Valentin Vornicu   37
N 35 minutes ago by cursed_tangent1434
Source: Romanian ROM TST 2004, problem 6
Let $a,b$ be two positive integers, such that $ab\neq 1$. Find all the integer values that $f(a,b)$ can take, where \[ f(a,b) = \frac { a^2+ab+b^2} { ab- 1} . \]
37 replies
Valentin Vornicu
May 1, 2004
cursed_tangent1434
35 minutes ago
1 line solution to Inequality
ItzsleepyXD   0
36 minutes ago
Source: Own , Mock Thailand Mathematic Olympiad P8
Let $x_1,x_2,\dots,x_n$ be positive real integer such that $x_1^2+x_2^2+\cdots+x_n^2=2$ Prove that
$$\sum_{i=1}^{n}\frac{1}{x_i^3(x_{i-1}+x_{i+1})}\geqslant \left(\sum_{i=1}^{n}\frac{x_i}{x_{i-1}+x_{i+1}}\right)^3$$such that $x_{n+1}=x_1$ and $x_0=x_n$
0 replies
ItzsleepyXD
36 minutes ago
0 replies
Invariant board combi style
ItzsleepyXD   0
37 minutes ago
Source: Own , Mock Thailand Mathematic Olympiad P7
Oh write $2025^{2025^{2025}}$ real number on the board such that each number is more than $2025^{2025}$ .
Oh erase 2 number $x,y$ on the board and write $\frac{xy-2025}{x+y-90}$ .
Prove that the last number will always be the same regardless the order of number that Oh pick .
0 replies
1 viewing
ItzsleepyXD
37 minutes ago
0 replies
finite solutions (CGMO2009/1)
earldbest   6
N 38 minutes ago by Namisgood
Source: China Girls Mathematical Olympiad 2009, Problem 1
Show that there are only finitely many triples $ (x,y,z)$ of positive integers satisfying the equation $ abc=2009(a+b+c).$
6 replies
earldbest
Aug 18, 2009
Namisgood
38 minutes ago
circumcenter of an acute triangle [BT perpendicular DE]
orl   15
N Aug 25, 2023 by IAmTheHazard
Source: Russian Olympiad 2004, problem 9.8
Let $O$ be the circumcenter of an acute-angled triangle $ABC$, let $T$ be the circumcenter of the triangle $AOC$, and let $M$ be the midpoint of the segment $AC$. We take a point $D$ on the side $AB$ and a point $E$ on the side $BC$ that satisfy $\angle BDM = \angle BEM = \angle ABC$. Show that the straight lines $BT$ and $DE$ are perpendicular.
15 replies
orl
May 3, 2004
IAmTheHazard
Aug 25, 2023
circumcenter of an acute triangle [BT perpendicular DE]
G H J
Source: Russian Olympiad 2004, problem 9.8
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
orl
3647 posts
#1 • 3 Y
Y by narutomath96, Adventure10, Mango247
Let $O$ be the circumcenter of an acute-angled triangle $ABC$, let $T$ be the circumcenter of the triangle $AOC$, and let $M$ be the midpoint of the segment $AC$. We take a point $D$ on the side $AB$ and a point $E$ on the side $BC$ that satisfy $\angle BDM = \angle BEM = \angle ABC$. Show that the straight lines $BT$ and $DE$ are perpendicular.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
grobber
7849 posts
#2 • 4 Y
Y by narutomath96, Adventure10, Mango247, and 1 other user
Assume the circumcircle of $\triangle AOC$ intersects the sides $AB$ and $BC$ again at $A'$ and $C'$ respectively. The foot of the perpendicular from $T$ to $BC$ is the midpt of $CC'$. It's easy to show (quick angle chase) that $AC'||DM||A\"C$, where $A\"$ is the reflection of $A$ in $D$. All of this means that $DM$ cuts $BC$ in the midpoint of $CC'$, which is also the foot of the perpendicular from $T$ to $BC$. In the same way we show that $EM$ cuts $AB$ in the midpt of $AA'$, which is the foot of the perpendicular from $T$ to $AB$.

Let the perpendicular from $T$ to $AB$ cut $BC$ in $C_1$. Similarly we define $A_1$. Let $X$ and $Y$ be the midpts of $AA'$ and $CC'$ respectively. The figures $BXEC_1$ and $BYDA_1$ are obviously similar, so $A_1C_1||DE$ (#).

In $\triangle BA_1C_1$ the point $T$ is the orthocenter, so $BT\perp A_1C_1$ (##).

From (#) and (##) we get the desired conclusion.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
iandrei
138 posts
#3 • 3 Y
Y by narutomath96, Adventure10, Mango247
Let N be the midpoint of BC and P be the midpoint of AC. Let D' be the intersection of the perpendicular bisector of MN with AB. It is easy to show that D' is the midpoint of BD. Let E' be the intersection of the perpendicular bisector of MP with BC. E' is the midpoint of BE.

Set up a coordinate system with the center in O and such that the circumcenter of ABC is the unit circle. Then, by a quick and easy computation we obtain : (we have denoted by lowercase leters the affixes of points denoted by uppercase letters)

d = 2a + b + c - ab/c
e = a + b + 2c - bc/a
t = ac/(a+c)

We must prove that (d-e)/(b-t) is an imaginary complex number. But :

d-e = (ab+bc-ac)(c-a)/ac
b-t = (ab+bc-ac)/(a+c)

Therefore z = (d-e)/(b-t) = (c-a)(c+a)/ac. It is easy to see that if z' is the conjugate of z , z+z'=0. Whence the conclusion.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Thanhliem
131 posts
#4 • 3 Y
Y by narutomath96, Adventure10, Mango247
we have BE=RsinA+2RsinCcosB
BD=RsinC+2sinAcosB
DE <sup>2</sup> =R <sup>2</sup> [(sinC) <sup>2</sup>+6sinAsinCcosB +(sinC) <sup>2</sup> -8sinAsinC(cosB)^3]
then[ 1/(sinDEB) <sup>2</sup>] -1=
[(cos(A-B)) <sup>2</sup> /(sinC+2sinAcosB) <sup>2</sup> ]
then tg TBC=[cosBcos(A-B)]/[sin(A-B)cosB-sinA] then tg TBC=cotgDEB => we prove
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
j555
68 posts
#5 • 4 Y
Y by narutomath96, Adventure10, Mango247, and 1 other user
Consider a homothety $h$ with center in centroid of $\triangle ABC$, s.t. $h(M)=B$. Denote
$\angle ABC=\alpha$
$F=h(D)$ and $G=h(E)$.
It is easy that
$\angle BFC=\angle BCF=\angle BGA=\angle BAG=\angle TCO=\angle TOC=\angle TAO=\angle TOA=\alpha$.
Thus
$\triangle CFB \sim \triangle COT$ and $\triangle AGB \sim \triangle AOT$, so
$\triangle CFO \sim \triangle CBT$ and $\triangle AGO \sim \triangle ABT$. Hence
$OF=\frac{TB\cdot OC}{TC}=\frac{TB\cdot OA}{TA}=OG$ and
$\angle FOG=\angle OCT+\angle OAT=2\alpha$.
Let $k$ be a bisector of $\angle FOG$. We have
$\angle(OF, BT)=\angle OCT=\alpha=\angle(OF, k)$.
Thus $BT \parallel k$ and $k\perp FG$ because $\triangle OFG$ is isocles
triangle, so $BT\perp FG$. By homothety $DE\parallel FG$ and in the end $BT\perp DE$. :) :D
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
greentreeroad
484 posts
#6 • 1 Y
Y by Adventure10
Thanhliem wrote:
we have BE=RsinA+2RsinCcosB
BD=RsinC+2sinAcosB
DE <sup>2</sup> =R <sup>2</sup> [(sinC) <sup>2</sup>+6sinAsinCcosB +(sinC) <sup>2</sup> -8sinAsinC(cosB)^3]
then[ 1/(sinDEB) <sup>2</sup>] -1=
[(cos(A-B)) <sup>2</sup> /(sinC+2sinAcosB) <sup>2</sup> ]
then tg TBC=[cosBcos(A-B)]/[sin(A-B)cosB-sinA] then tg TBC=cotgDEB => we prove

Can you involve a little bit more detail?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Virgil Nicula
7054 posts
#7 • 3 Y
Y by narutomath96, Adventure10, Mango247
orl wrote:
Let $ C(O)$ , $ C(T)$ be the circumcircles of an acute $ \triangle ABC$ and $ \triangle AOC$ respectively. Let $ M$ be the midpoint of $ [AC]$ .

Consider the points $ D\in [AB]$ and $ E\in [BC]$ which satisfy $ \widehat {BDM}\equiv\widehat {BEM}\equiv\widehat {ABC}$ . Show that $ BT\perp DE$ .

Proof (similar with the nice Grobber's proof). I"ll use the Grobber's notations. Denote the points $ \left\{\begin{array}{c} A'\in BA\ ,\ A'B = A'C \\
 \\
C'\in BC\ ,\ C'B = C'A\end{array}\right\|$ .

Observe that $\left \{\begin{array}{c} m(\widehat {AOC}) = 2B \\
 \\
m(\widehat {AA'C}) = m(\widehat {AC'C}) = 180^{\circ} - 2B\end{array}\right\|$ , i.e. the points $ A'$ , $ C'$ belong to the circle $ C(T)$ .

Denote the midpoints $ X$ , $ Y$ of the segments $ [AA']$ , $ [CC']$ respectively. Observe that $ \left\{\begin{array}{c} MX\parallel A'C\implies E\in XM \\
 \\
MY\parallel C'A\implies D\in MY\end{array}\right\|$ .

$\left \{\begin{array}{c} TX\perp BA \\
 \\
TY\perp BC\end{array}\right\|\implies$ the quadrilateral $ BXTY$ is ciclically (the circumcenter is the midpoint of the segement $ [BT]$ ).

From the relations $ m(\widehat {XDY}) = m(\widehat {XEY}) = 180^{\circ} - B$ obtain that the quadrilateral $ DEYX$ is cyclically.

Thus, the perpendicular line $ d$ from the point $ B$ to the line $ DE$ passes through the center of the circumcircle of $ \triangle BXY$

(and of the quadrilateral $ BXTY$ ) , i.e. the midpoint of the segment $ [BT]$ . Thus, $ d\equiv BT$ . In conclusion, $ BT\perp DE$ .
This post has been edited 1 time. Last edited by Virgil Nicula, Dec 11, 2016, 9:08 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
The QuattoMaster 6000
1184 posts
#8 • 2 Y
Y by Adventure10, Mango247
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
math154
4302 posts
#9 • 3 Y
Y by narutomath96, Adventure10, Mango247
iandrei wrote:
Let N be the midpoint of BC and P be the midpoint of AC. Let D' be the intersection of the perpendicular bisector of MN with AB. It is easy to show that D' is the midpoint of BD. Let E' be the intersection of the perpendicular bisector of MP with BC. E' is the midpoint of BE.

Set up a coordinate system with the center in O and such that the circumcenter of ABC is the unit circle. Then, by a quick and easy computation we obtain : (we have denoted by lowercase leters the affixes of points denoted by uppercase letters)

d = 2a + b + c - ab/c
e = a + b + 2c - bc/a
t = ac/(a+c)

We must prove that (d-e)/(b-t) is an imaginary complex number. But :

d-e = (ab+bc-ac)(c-a)/ac
b-t = (ab+bc-ac)/(a+c)

Therefore z = (d-e)/(b-t) = (c-a)(c+a)/ac. It is easy to see that if z' is the conjugate of z , z+z'=0. Whence the conclusion.
It's a pretty minor thing, but I think it's worth pointing out: it should be
\[2d=2a+c-\frac{ab}{c}\]and
\[2e=a+2c-\frac{bc}{a}.\]
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
NewAlbionAcademy
910 posts
#10 • 2 Y
Y by mgrulz, Adventure10
Solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
leader
339 posts
#11 • 2 Y
Y by Adventure10, Mango247
Let $N,P,L$ be midpoints of $BC,BA$ and the center of the 9-point circle of $\triangle ABC$. $S$ is the foot of perpendicular of $B$ on $AC$. Since the composition of inversion with center $B$ and radius $\frac{BA\cdot BC}{2}$ and symmetry WRT the internal bisector of $\angle ABC$ pictures $S,N,P$ to $O,A,C$ then it pictures $\odot SNP$ to $\odot AOC$ so $\angle CBT=\angle ABL$(1). Note that $MN||BD$ and $\angle MDB=\angle NBD$ then $MNBD$ is an isosceles trapezoid so since $LM=LN$ then $LB=LD$ Likewise $LB=LE$ so $L$ is the circumcenter of $\triangle BDE$. So from (1) $BT\perp DE$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
junioragd
314 posts
#12 • 2 Y
Y by Adventure10, Mango247
Let the circumcircle of AOC intersects AB and CB at S and P,respectively.Now,we easy have that MD/ME=BS/BP=BC/BA(Let R and Q be the midpoints of BC and BA,then MD=MQ and MR=ME and the conclusion follows).Now,it is easy by angle chasing that <STP=2<ABC,now let point N be such that BR=BN and <RBN=<STP and <SBN=3<ABC.Now,SBN is similar to MDE,so we need to prove that(this is reduced by trivial angle chase) <PNS=<PBT,but this is obvious aplying spiral homothety with center P,so BPN is similar to STP,from which we have that SPN is similar to BPT,so we are finished.
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
#13 • 2 Y
Y by Adventure10, Mango247
Let $F$ be the point such that $\triangle FBA \sim \triangle FCB$. It is well-known that $BF$ is a symmedian in triangle $ABC$ and points $A,F,O,C$ lie on a circle. Let $E'$ be the intersection of lines $AB$ and $CF,$ and $D'$ be the intersection of lines $AF$ and $BC$.

Apply inversion at $B$ of radius $\sqrt{\frac{1}{2}\cdot AB\cdot BC}$ followed by reflection in the internal bisector of angle $ABC$. As the circle $(BDM)$ passes through the midpoint of $BC$ and $M \rightarrow F,$ we conclude that $D \rightarrow D'$. Similarly, $E \rightarrow E'$ and we obtain $D'E' \parallel DE$.

Finally, we note that $$\angle D'BF=\angle D'CB \Longrightarrow D'B^2=D'F\cdot D'C.$$Similarly, $E'B^2=E'F\cdot E'A$. Thus, the line $D'E'$ is the radical axis of $B$ and the circle $(AFC)$. The conclusion $BT \perp DE$ follows.

Note: The fact that $B$ acts as a "point circle" was crucial to finish the proof.
This post has been edited 1 time. Last edited by anantmudgal09, Dec 11, 2016, 8:38 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
L567
1184 posts
#14 • 2 Y
Y by Aayuu, p_square
Solved with p_square, Aayuu

Let $Z$ denote the reflection of $O$ across $AC$. Observe that $AMZD$ and $CMZE$ are cyclic. So, it suffices to show $BZ$ and $BT$ are isogonal since $BZ$ is the diameter of $(BDZE)$.

Let $T'$ be the isogonal conjugate of $T$ in $\triangle ABC$, so it suffices to show $Z,B,T'$ are collinear or that $BT'$ goes through the circumcenter of $\triangle AHC$, or show that $T'$ lies on the euler liner of $\triangle AHC$.

So we have reduced the problem to the following.
Rephrased problem wrote:
Let $ABDC$ be a quadrilateral with $\angle A = \angle B = \angle C$. Show that $D$ lies on the Euler line of $\triangle ABC$.

To do this, let $X = AB \cap CD$ and $Y = BD \cap AC$. Let $P,Q$ denote midpoints of $AB,AC$ and let $G$ be the centroid. Note that $YB = YA$ and $XA = XC$.

Black magic, by Pappus on $XBP$ and $YCQ$, $D$ lies on $OG$, the Euler line, done. $\blacksquare$
This post has been edited 1 time. Last edited by L567, Oct 9, 2021, 8:16 PM
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
#15 • 1 Y
Y by IAmTheHazard
Let rays $BA,BC$ meet $\odot (AOC)$ again at $S,R$ respectively; $DM\cap BC=N,DE\cap BA=K.$ Observe that $RA\parallel MD$ (analogously $SC\parallel ME$), since $\angle RAB=\pi-\angle ABR-\angle ARB=\angle ABR=\angle MDB.$ Hence by the Thales $N,K$ are midpoints of $CR,AS.$ Next $\angle BKT=90^{\circ}=\angle BNT,\angle KDN=\angle KEN,$ so $BNTK,DENK$ are cyclic.
Thus the diameter $BT$ of $\odot (BNK)$ is perpendicular to $DE,$ as desired.
This post has been edited 2 times. Last edited by JAnatolGT_00, Oct 17, 2021, 7:16 PM
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
#16 • 1 Y
Y by centslordm
Let $P$ and $Q$ be the feet of the altitudes from $M$ to $\overline{BA}$ and $\overline{BC}$ respectively. Then it is clear that $D$ is the reflection of the midpoint of $\overline{BA}$ over $P$, and a similar fact is true for $E$. Now use complex numbers with $(ABC)$ as the unit circle, setting $A=a,B=1,C=c$, so $M=\tfrac{a+c}{2}$. We can compute $P=\tfrac{3}{4}a+\tfrac{1}{4}c-\tfrac{a}{4c}+\tfrac{1}{4}$ and $Q=\tfrac{3}{4}c+\tfrac{1}{4}a-\tfrac{c}{4a}+\tfrac{1}{4}$, hence $D=a+\tfrac{1}{2}c-\tfrac{a}{2c}$ and $E=c+\tfrac{1}{2}a-\tfrac{c}{2a}$. Furthermore, the circumcenter formula yields $t=\tfrac{ac}{a+c}$. We wish to prove that
$$\frac{2(d-e)}{t-1}=\frac{a-c-\frac{a}{c}+\frac{c}{a}}{\frac{ac-a-c}{a+c}}=\frac{(a^2-c^2)(1-\frac{a+c}{ac})}{ac-a-c}=\frac{a^2-c^2}{ac}$$is imaginary, which is clear since its conjugate is its negative.
Z K Y
N Quick Reply
G
H
=
a