Join our free webinar April 22 to learn about competitive programming!

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
As some nations like to say "Heavy theorems mostly do not help"
Assassino9931   9
N 4 minutes ago by EVKV
Source: European Mathematical Cup 2022, Senior Division, Problem 2
We say that a positive integer $n$ is lovely if there exist a positive integer $k$ and (not necessarily distinct) positive integers $d_1$, $d_2$, $\ldots$, $d_k$ such that $n = d_1d_2\cdots d_k$ and $d_i^2 \mid n + d_i$ for $i=1,2,\ldots,k$.

a) Are there infinitely many lovely numbers?

b) Is there a lovely number, greater than $1$, which is a perfect square of an integer?
9 replies
Assassino9931
Dec 20, 2022
EVKV
4 minutes ago
congruence
moldovan   5
N 33 minutes ago by EVKV
Source: Canada 2004
Let $p$ be an odd prime. Prove that:
\[\displaystyle\sum_{k=1}^{p-1}k^{2p-1} \equiv \frac{p(p+1)}{2} \pmod{p^2}\]
5 replies
moldovan
Jun 26, 2009
EVKV
33 minutes ago
Checking a summand property for integers sufficiently large.
DinDean   1
N 36 minutes ago by Double07
For any fixed integer $m\geqslant 2$, prove that there exists a positive integer $f(m)$, such that for any integer $n\geqslant f(m)$, $n$ can be expressed by a sum of positive integers $a_i$'s as
\[n=a_1+a_2+\dots+a_m,\]where $a_1\mid a_2$, $a_2\mid a_3$, $\dots$, $a_{m-1}\mid a_m$.
1 reply
DinDean
2 hours ago
Double07
36 minutes ago
Equations
Jackson0423   1
N an hour ago by Maxklark
Solve the system of equations
\[
\begin{cases}
x - y z = 1,\\[2pt]
y - z x = 2,\\[2pt]
z - x y = 4.
\end{cases}
\]
1 reply
Jackson0423
2 hours ago
Maxklark
an hour ago
Calculate the distance of chess king!!
egxa   3
N an hour ago by egxa
Source: All Russian 2025 9.4
A chess king was placed on a square of an \(8 \times 8\) board and made $64$ moves so that it visited all squares and returned to the starting square. At every moment, the distance from the center of the square the king was on to the center of the board was calculated. A move is called $\emph{pleasant}$ if this distance becomes smaller after the move. Find the maximum possible number of pleasant moves. (The chess king moves to a square adjacent either by side or by corner.)
3 replies
egxa
Apr 18, 2025
egxa
an hour ago
real+ FE
pomodor_ap   4
N an hour ago by jasperE3
Source: Own, PDC001-P7
Let $f : \mathbb{R}^+ \to \mathbb{R}^+$ be a function such that
$$f(x)f(x^2 + y f(y)) = f(x)f(y^2) + x^3$$for all $x, y \in \mathbb{R}^+$. Determine all such functions $f$.
4 replies
pomodor_ap
Yesterday at 11:24 AM
jasperE3
an hour ago
FE solution too simple?
Yiyj1   8
N an hour ago by lksb
Source: 101 Algebra Problems from the AMSP
Find all functions $f: \mathbb{R} \rightarrow \mathbb{R}$ such that the equality $$f(f(x)+y) = f(x^2-y)+4f(x)y$$holds for all pairs of real numbers $(x,y)$.

My solution

I feel like my solution is too simple. Is there something I did wrong or something I missed?
8 replies
Yiyj1
Apr 9, 2025
lksb
an hour ago
Polynomials in Z[x]
BartSimpsons   16
N an hour ago by bin_sherlo
Source: European Mathematical Cup 2017 Problem 4
Find all polynomials $P$ with integer coefficients such that $P (0)\ne  0$ and $$P^n(m)\cdot P^m(n)$$is a square of an integer for all nonnegative integers $n, m$.

Remark: For a nonnegative integer $k$ and an integer $n$, $P^k(n)$ is defined as follows: $P^k(n) = n$ if $k = 0$ and $P^k(n)=P(P(^{k-1}(n))$ if $k >0$.

Proposed by Adrian Beker.
16 replies
BartSimpsons
Dec 27, 2017
bin_sherlo
an hour ago
Why is the old one deleted?
EeEeRUT   13
N an hour ago by EVKV
Source: EGMO 2025 P1
For a positive integer $N$, let $c_1 < c_2 < \cdots < c_m$ be all positive integers smaller than $N$ that are coprime to $N$. Find all $N \geqslant 3$ such that $$\gcd( N, c_i + c_{i+1}) \neq 1$$for all $1 \leqslant i \leqslant m-1$

Here $\gcd(a, b)$ is the largest positive integer that divides both $a$ and $b$. Integers $a$ and $b$ are coprime if $\gcd(a, b) = 1$.

Proposed by Paulius Aleknavičius, Lithuania
13 replies
EeEeRUT
Apr 16, 2025
EVKV
an hour ago
Factor sums of integers
Aopamy   2
N 2 hours ago by cadaeibf
Let $n$ be a positive integer. A positive integer $k$ is called a benefactor of $n$ if the positive divisors of $k$ can be partitioned into two sets $A$ and $B$ such that $n$ is equal to the sum of elements in $A$ minus the sum of the elements in $B$. Note that $A$ or $B$ could be empty, and that the sum of the elements of the empty set is $0$.

For example, $15$ is a benefactor of $18$ because $1+5+15-3=18$.

Show that every positive integer $n$ has at least $2023$ benefactors.
2 replies
Aopamy
Feb 23, 2023
cadaeibf
2 hours ago
Least integer T_m such that m divides gauss sum
Al3jandro0000   33
N 2 hours ago by NerdyNashville
Source: 2020 Iberoamerican P2
Let $T_n$ denotes the least natural such that
$$n\mid 1+2+3+\cdots +T_n=\sum_{i=1}^{T_n} i$$Find all naturals $m$ such that $m\ge T_m$.

Proposed by Nicolás De la Hoz
33 replies
Al3jandro0000
Nov 17, 2020
NerdyNashville
2 hours ago
Estonian Math Competitions 2005/2006
STARS   2
N 2 hours ago by jasperE3
Source: Juniors Problem 4
A $ 9 \times 9$ square is divided into unit squares. Is it possible to fill each unit square with a number $ 1, 2,..., 9$ in such a way that, whenever one places the tile so that it fully covers nine unit squares, the tile will cover nine different numbers?
2 replies
STARS
Jul 30, 2008
jasperE3
2 hours ago
Sum of whose elements is divisible by p
nntrkien   43
N 2 hours ago by lpieleanu
Source: IMO 1995, Problem 6, Day 2, IMO Shortlist 1995, N6
Let $ p$ be an odd prime number. How many $ p$-element subsets $ A$ of $ \{1,2,\dots,2p\}$ are there, the sum of whose elements is divisible by $ p$?
43 replies
nntrkien
Aug 8, 2004
lpieleanu
2 hours ago
Arrangement of integers in a row with gcd
egxa   2
N 2 hours ago by Qing-Cloud
Source: All Russian 2025 10.5 and 11.5
Let \( n \) be a natural number. The numbers \( 1, 2, \ldots, n \) are written in a row in some order. For each pair of adjacent numbers, their greatest common divisor (GCD) is calculated and written on a sheet. What is the maximum possible number of distinct values among the \( n - 1 \) GCDs obtained?
2 replies
egxa
Apr 18, 2025
Qing-Cloud
2 hours ago
Concurrence of angle bisectors
proglote   65
N Mar 30, 2025 by smbellanki
Source: Brazil MO #5
Let $ABC$ be an acute triangle and $H$ is orthocenter. Let $D$ be the intersection of $BH$ and $AC$ and $E$ be the intersection of $CH$ and $AB$. The circumcircle of $ADE$ cuts the circumcircle of $ABC$ at $F \neq A$. Prove that the angle bisectors of $\angle BFC$ and $\angle BHC$ concur at a point on $BC.$
65 replies
proglote
Oct 20, 2011
smbellanki
Mar 30, 2025
Concurrence of angle bisectors
G H J
Source: Brazil MO #5
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
proglote
958 posts
#1 • 6 Y
Y by Davi-8191, mathematicsy, jdong2006, Jufri, Adventure10, Mango247
Let $ABC$ be an acute triangle and $H$ is orthocenter. Let $D$ be the intersection of $BH$ and $AC$ and $E$ be the intersection of $CH$ and $AB$. The circumcircle of $ADE$ cuts the circumcircle of $ABC$ at $F \neq A$. Prove that the angle bisectors of $\angle BFC$ and $\angle BHC$ concur at a point on $BC.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Luis González
4147 posts
#2 • 12 Y
Y by proglote, ayan_mathematics_king, Naruto.D.Luffy, iceylemon157, myh2910, MatteD, jdong2006, rg_ryse, third_one_is_jerk, Adventure10, Mango247, and 1 other user
Clearly, the reflection $P$ of $H$ about the midpoint $M$ of $\overline{BC}$ is the antipode of $A$ WRT $\odot(ABC).$ If $PH$ cuts $\odot(ABC)$ again at $F',$ then $\angle AF'H \equiv \angle AF'P=90^{\circ},$ i.e. $F' \in \odot(ADE)$ $\Longrightarrow$ $F \equiv F'.$ Since $MD,ME$ are tangents of $\odot(AED)$ at $D,E,$ then $FDHE$ is harmonic $\Longrightarrow$ $FE \cdot HD=FD \cdot HE,$ but $\triangle FBC$ and $\triangle FED$ are similar, due to $\angle EFD=\angle EAD=\angle BFC$ and $\angle FDE=\angle FAE=\angle FCB$ $\Longrightarrow$ $\frac{_{FB}}{^{FC}}=\frac{_{FE}}{^{FD}}=\frac{_{HE}}{^{HD}}=\frac{_{HB}}{^{HC}}$ $\Longrightarrow$ bisectors of $\angle BFC$ and $\angle BHC$ meet on $BC.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Zhero
2043 posts
#3 • 6 Y
Y by rg_ryse, Adventure10, Mango247, and 3 other users
Let $P_1$ and $P_2$ be the points of intersection of the angle bisectors of $\angle BFC$ and $\angle BHC$ with $BC$, respectively. Since $F$ is the Miquel point of quadrilateral $EDCB$, we have $\triangle FEB \sim \triangle FDC$, so
\[ \frac{BP_1}{P_1 C} = \frac{FB}{FC} = \frac{EB}{DC} = \frac{\frac{EB}{BC}}{\frac{DC}{BC}} = \frac{\sin \angle ECB}{\sin \angle DBC} = \frac{\sin \angle HCB}{\sin \angle HBC} = \frac{HB}{HC} = \frac{BP_2}{P_2C}, \]
so $P_1 = P_2$, as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
dragon96
3212 posts
#4 • 6 Y
Y by PNT, Akkuman, Adventure10, Mango247, poirasss, and 1 other user
Let H' be the reflection of H about BC and I the foot of A on BC. We start with two lemmas:

Lemma 1: AF, DE, and BC concur at a point Q.

Note that AFED, BCDE, and ACBF are all cyclic. Use the radical axis theorem.

Lemma 2: (B,C;Q,I) is a harmonic bundle.

From Ceva's Theorem with H as concurrency point, we get:

\[ -\frac{IC}{IB} = -\frac{DA}{CD}\cdot\frac{EB}{AE} \]

Similarly, Menelaus' Theorem about Q yields:

\[ \frac{QB}{QC} = -\frac{DA}{CD}\cdot\frac{EB}{AE} \]

Hence, we have that $\frac{QB}{QC} =  -\frac{IC}{IB}$, as desired.

Proof:

Let G be the intersection point of the angle bisector of <BHC and BC. We wish to show that HC/HB = FC/FB, so the result would follow by the Angle Bisector Theorem. This is equivalent to showing that H'C/H'B = FC/FB, or that cyclic quadrilateral FBH'C is harmonic. We consider point A on its circumcircle and project the four points onto line BC. From Lemma 1, AF intersects BC at Q. Applying Lemma 2 directly gives us the desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
hatchguy
555 posts
#5 • 4 Y
Y by CaptainCuong, Adventure10, Mango247, and 1 other user
Clearly we have $\angle FBE = \angle FBA = \angle FCA = \angle FCD$ (1)

Also $\angle EFD = \angle EAD =\angle BAC =\angle BFC$ hence we have \[ \angle CFD+ \angle EFC = \angle EFD = \angle BFC = \angle EFC + \angle BFE\] and therefore $\angle BFE = \angle CFD$ (2)

From (1) and (2) we have $\triangle BFE \sim \triangle CFD => \frac{BF}{FC} =\frac{BE}{CD}$

But clearly, since $\triangle BHE \sim \triangle CHD$ we have $\frac{BE}{CD}=\frac{BH}{CH}$ and therefore \[ \frac{BF}{FC} =\frac{BE}{CD} =\frac{BH}{CH}\] and 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.
sunken rock
4384 posts
#6 • 3 Y
Y by StanleyST, Adventure10, Mango247
As before, $H, M, P$ are respectively the orthocenter of $\triangle ABC$, midpoint of $BC$ and antipode of $A$, it is well known that $F,H,M,P$ are collinear and $BPCH$ is a parallelogram.
M being the midpoint of $BC$, it follows that the triangles $\triangle FBP, \triangle FCP$ have equal areas; as $sin \angle FBP=sin \angle FCP$, we shall get $BF\cdot BP=CF\cdot PC$; from the parallelogram property, $CP=BH, BP=CH$, hence $\frac{BF}{CF}=\frac{BH}{CH}$, done.

Best regards,
sunken rock
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
r1234
462 posts
#7 • 3 Y
Y by harshmishra, Adventure10, Mango247
Also there's a proof by inversion.Let $X\equiv DE\cap BC$.Now we invert this figure WRT $A$ with power $AD.AB=k^{2}$.Note that $F$ goes to $X$.So $A,F,X$ are collinear.Now $BF=\frac {k^{2}DX}{AD.AX}$ and

$CF=\frac {k^{2}EX}{AE.AX}$. This gives $\frac {FB}{FC}=\frac {AD.XE}{AE.DX}$.Let $G\equiv AH\cap DE$.Since

$(XG;ED)=-1$, so we get $\frac {FB}{FC}=\frac {AD.EG}{AE.DG}$.Now its easy to get that $\frac {AD.EG}
{AE.DG}=\frac {BH}{CH}$.Hence the result follows.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
v_Enhance
6874 posts
#8 • 13 Y
Y by Durjoy1729, FadingMoonlight, Lcz, snakeaid, HamstPan38825, jdong2006, rg_ryse, harshmishra, rayfish, crazyeyemoody907, Adventure10, Mango247, and 1 other user
Note that the circumcircle of $AED$ is simply the circle with diameter $AH$. Let $R$ be the midpoint of $AH$. Then $F$ is the reflection of $A$ across $RO$ by radical axis, where $O$ is the circumcenter of $ABC$.

Now place everything on the complex plane with $o=0$. Then $r=a+\frac{b+c}{2}$ and $f=\frac{r}{\bar r}\bar a$. We need to verify that $\left|\frac{f-b}{f-c}\right|^2 = \left|\frac{h-b}{h-c}\right|^2$ or \[ (f-b)(\bar f - \bar b)(a+b)(\bar a + \bar b) = (f-c)(\bar f - \bar c)(a+c)(\bar a + \bar c) \]
We will now make the simplifying assumption that $r \in \mathbb R$; this can be done by simply rotating the triangle. Thus, $r = \bar r$ and $f = \bar a$. Now the LHS of the above is equal to \begin{align*} LHS &= (1/a-b)(a-1/b)(a+b)(1/a+1/b) \\ &= \text{kaboom} \\ &= 4-2ba-2/ba+2b/a+2a/b-b^2-1/b^2-a^2-1/a^2 \\ &= 4-a^2-1/a^2 + (2/b-2b)a+(2b-2/b)/a - (b^2+1/b^2) \end{align*} Now the fact that $r=\bar r$ can be rearranged to \[ b-1/b = 1/c - c + (2/a-2a) \] and also \[ b^2+1/b^2 = (c^2+1/c^2) + (4/a^2+4a^2-8) + (4/a-4a)(1/c - c) = (c^2+1/c^2) + (4/a^2+4a^2-8) - (4c-4/c)(1/a) - (4/c-4c)(a) \]

Finally, \begin{align*} LHS =& 4-a^2-1/a^2 + (2/b-2b)a+(2b-2/b)/a - (b^2+1/b^2) \\
 =& 4-a^2-1/a^2 + (2c-2/c+4/a-4a)a + (2/c-2c+4a-4/a)/a \\ & - (c^2+1/c^2) - (4/a^2+4a^2-8) + (c-1/c)(4/a) + (c-1/c)(4a) \\ 
=& 4-a^2-1/a^2 + ((2c-2/c)+(4/c-4c))a + ((2/c-2c)+(4c-4/c))/a \\& + (4/a-4a)a + (4a-4/a)/a - (4/a^2+4a^2-8) \\ =&  4-a^2-1/a^2 + (2/c-2c)a+(2c-2/c)/a - (c^2+1/c^2) \\ =& RHS \end{align*}
and I can now start on my English homework we are done.

(For the record, the above calculations were all done by hand.)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SCP
1502 posts
#9 • 2 Y
Y by Adventure10, Mango247
dragon96 wrote:
Hence, we have that $\frac{QB}{QC} =  -\frac{IB}{IC}$

It has to be this, you missed in the Ceva theorem.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cnyd
394 posts
#10 • 2 Y
Y by Adventure10, Mango247
Here is my solution.

From the chasing angle ,we find that ; $\angle BFH=\angle HBC$ and $\angle HFC=\angle HCB$

It means $BC$ tangents of circumcircles of $\triangle BHF$ and $\triangle HFC$

Therefore,$HF$ bisects $BC$.

If we use sinus theorem in $\triangle BHC$,we find that $\frac{BH}{HC}=\frac{BF}{FC}$

The rest is obvious.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sayantanchakraborty
505 posts
#11 • 2 Y
Y by Adventure10, Mango247
Trigo Bashing!!!

Let $\angle{ABF}=\theta$.Applying the sine rule in $\triangle{AFE}$ and $\triangle{ABF}$ we have
$\frac{AF}{sin(C+\theta-B}=2RcosA \Rightarrow \frac{sin\theta}{sinC+\theta-B}=cosA$
$\Rightarrow tan\theta=\frac{sin(B-C)}{2cosBcosC}$.
Now $\frac{BF}{CF}=\frac{sin(C+\theta)}{sin(B-\theta)}=\frac{sinC+cosCtan\theta}{sinB-cosBtan\theta}=\frac{cosB}{cosC}$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jayme
9782 posts
#12 • 1 Y
Y by Adventure10
Dear Mathlinkers,
sorry, I rewrite the problem wrt the point A…

1. ABC an acute triangle
2. (O) the circumcircle of ABC
3. M the midpoint of BC
4. B’, C’ the feet of the B, C-altitudes of ABC
5. F the second point of intersection of (O) with the circumcircle of AB’C’ (F, H and M are collinear, well known)

Prove : the F, H-inner bissector of FBC, HBC intersect on BC

An outline of my proof

1. (O’) the symmetric of (O) wrt BC
2. X the midpoint of the arc BC which doesn’t contai A
3. Y the second point of intersection of the H-inner bssector of HBC with (O’)
4. by an angle chasing, we prove that F, H, X and Y are concyclic
5. by a converse of the three chords theorem, we are done…

Sincerely
Jean-Louis
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
IDMasterz
1412 posts
#13 • 2 Y
Y by Adventure10, Mango247
Let the reflection of $H$ on $BC$ be $H'$. By direct application of radical axis theorem, $AF, DE, BC$ concur at the harmonic conjugate of $AH \cap BC = T$ wrt $BC$, hence $BFCH'$ is an harmonic quadrilateral, and clearly the angle bisectors of $\angle BFC, \angle BH'C$ will meet at $BC$, but then again, the angle bisector of $\angle B'HC$ meets the angle bisector of $\angle BHC$ at $BC$ as well due to reflexive properties.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
SmartClown
82 posts
#14 • 2 Y
Y by Adventure10, Deadline
By easy angle chase we get $\triangle FDB \sim \triangle FEC$ so we have $\frac{FB}{FC}=\frac{BD}{CE}=\frac{BH}{CH}$ 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.
trumpeter
3332 posts
#15 • 1 Y
Y by Adventure10
Solution
Z K Y
G
H
=
a