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
hard problem
Cobedangiu   15
N 13 minutes ago by arqady
Let $a,b,c>0$ and $a+b+c=3$. Prove that:
$\dfrac{4}{a+b}+\dfrac{4}{b+c}+\dfrac{4}{c+a} \le \dfrac{1}{a}+\dfrac{1}{b}+\dfrac{1}{c}+3$
15 replies
2 viewing
Cobedangiu
Apr 21, 2025
arqady
13 minutes ago
One on reals
Rushil   30
N 17 minutes ago by Maximilian113
Source: INMO 2001 Problem 3
If $a,b,c$ are positive real numbers such that $abc= 1$, Prove that \[ a^{b+c} b^{c+a} c^{a+b} \leq 1 . \]
30 replies
+1 w
Rushil
Oct 10, 2005
Maximilian113
17 minutes ago
Bounding is hard
whatshisbucket   20
N 44 minutes ago by torch
Source: ELMO 2018 #5, 2018 ELMO SL A2
Let $a_1,a_2,\dots,a_m$ be a finite sequence of positive integers. Prove that there exist nonnegative integers $b,c,$ and $N$ such that $$\left\lfloor \sum_{i=1}^m \sqrt{n+a_i} \right\rfloor =\left\lfloor \sqrt{bn+c} \right\rfloor$$holds for all integers $n>N.$

Proposed by Carl Schildkraut
20 replies
whatshisbucket
Jun 28, 2018
torch
44 minutes ago
Yet another domino problem
juckter   14
N an hour ago by math-olympiad-clown
Source: EGMO 2019 Problem 2
Let $n$ be a positive integer. Dominoes are placed on a $2n \times 2n$ board in such a way that every cell of the board is adjacent to exactly one cell covered by a domino. For each $n$, determine the largest number of dominoes that can be placed in this way.
(A domino is a tile of size $2 \times 1$ or $1 \times 2$. Dominoes are placed on the board in such a way that each domino covers exactly two cells of the board, and dominoes do not overlap. Two cells are said to be adjacent if they are different and share a common side.)
14 replies
juckter
Apr 9, 2019
math-olympiad-clown
an hour ago
Amc 10 mock
Mathsboy100   4
N 3 hours ago by pooh123
let \[\lfloor  x   \rfloor\]denote the greatest integer less than or equal to x . What is the sum of the squares of the real numbers x for which \[  x^2 - 20\lfloor x \rfloor + 19 = 0  \]
4 replies
Mathsboy100
Oct 9, 2024
pooh123
3 hours ago
Inequalities
sqing   0
4 hours ago
Let $ a,b,c>0 . $ Prove that
$$ \left(1 +\frac{a}{b}\right)\left(1+\frac{b}{c}\right)\left(1+\frac{c}{a}\right )\geq 4\left(\frac{a+b}{b+c}+ \frac{b+c}{a+b}\right)$$$$ \left(1 +\frac{a}{b}\right)\left(1+\frac{b}{c}\right)\left(1+\frac{c}{a}\right )\geq \frac{32}{9}\left(\frac{a+b}{b+c}+ \frac{c+a}{a+b}\right)$$$$ \left(1 +\frac{a}{b}\right)\left(1+\frac{b}{c}\right)\left(1+\frac{c}{a}\right )\geq  \frac{8}{3}\left(  \frac{a+b}{b+c}+ \frac{b+c}{c+a}+ \frac{c+a}{a+b}\right)$$$$ \left(1 +\frac{a^2}{b^2}\right)\left(1+\frac{b^2}{c^2}\right)\left(1+\frac{c^2}{a^2}\right )\geq \frac{8}{3}\left(  \frac{a^2+bc}{b^2+ca}+\frac{b^2+ca}{c^2+ab}+\frac{c^2+ab}{a^2+bc}\right)$$
0 replies
sqing
4 hours ago
0 replies
Purple Comet High School Math Meet 2024 P1
franklin2013   3
N 4 hours ago by codegirl2013
Joe ate one half of a fifth of a pizza. Gale ate one third of a quarter of that pizza. The difference in the amounts that the two ate was $\frac{1}{n}$ of the pizza, where $n$ is a positive integer. Find $n$.
3 replies
franklin2013
5 hours ago
codegirl2013
4 hours ago
Cool vieta sum
Kempu33334   0
4 hours ago
Let the roots of \[\mathcal{P}(x) = x^{108}+x^{102}+x^{96}+2x^{54}+3x^{36}+4x^{24}+5x^{18}+6\]be $r_1, r_2, \dots, r_{108}$. Find \[\dfrac{r_1^6+r_2^6+\dots+r_{108}^6}{r_1^6r_2^6+r_1^6r_3^6+\dots+r_{107}^6r_{108}^6}\]without Newton Sums.
0 replies
Kempu33334
4 hours ago
0 replies
Inequality, tougher than it looks
tom-nowy   2
N 4 hours ago by pooh123
Prove that for $a,b \in \mathbb{R}$
$$ 2(a^2+1)(b^2+1) \geq 3(a+b). $$Is there an elegant way to prove this?
2 replies
tom-nowy
Tuesday at 3:51 AM
pooh123
4 hours ago
Stylish Numbers
pedronis   3
N 5 hours ago by pedronis
A positive even integer $n$ is called stylish if the set $\{1, 2, \ldots, n\}$ can be partitioned into $\frac{n}{2}$ pairs such that the sum of the elements in each pair is a power of $3$. For example, $6$ is stylish because the set $\{1, 2, 3, 4, 5, 6\}$ can be partitioned as $\{1,2\}, \{3,6\}, \{4,5\}$, with sums $3$, $9$, and $9$ respectively. Determine the number of stylish numbers less than $3^{2025}$.
3 replies
pedronis
Apr 13, 2025
pedronis
5 hours ago
Transformation of a cross product when multiplied by matrix A
Math-lover1   2
N Yesterday at 9:23 PM by Math-lover1
I was working through AoPS Volume 2 and this statement from Chapter 11: Cross Products/Determinants confused me.
[quote=AoPS Volume 2]A quick comparison of $|\underline{A}|$ to the cross product $(\underline{A}\vec{i}) \times (\underline{A}\vec{j})$ reveals that a negative determinant [of $\underline{A}$] corresponds to a matrix which reverses the direction of the cross product of two vectors.[/quote]
I understand that this is true for the unit vectors $\vec{i} = (1 \ 0)$ and $\vec{j} = (0 \ 1)$, but am confused on how to prove this statement for general vectors $\vec{v}$ and $\vec{w}$ although its supposed to be a quick comparison.

How do I prove this statement easily with any two 2D vectors?
2 replies
Math-lover1
Tuesday at 10:29 PM
Math-lover1
Yesterday at 9:23 PM
unfair coin, points winning 2024 TMC AIME Mock #9
parmenides51   5
N Yesterday at 8:44 PM by Math-lover1
Krithik has an unfair coin with a $\frac13$ chance of landing heads when flipped. Krithik is playing a game where he starts with $1$ point. Every turn, he flips the coin, and if it lands heads, he gains $1$ point, and if it lands tails, he loses $1$ point. However, after the turn, if he has a negative number of points, his point counter resets to $1$. Krithik wins when he earns $8$ points. Find the expected number of turns until Krithik wins.
5 replies
parmenides51
Apr 26, 2025
Math-lover1
Yesterday at 8:44 PM
BrUMO 2025 Team Round Problem 15
lpieleanu   1
N Yesterday at 8:01 PM by vanstraelen
Let $\triangle{ABC}$ be an isosceles triangle with $AB=AC.$ Let $D$ be a point on the circumcircle of $\triangle{ABC}$ on minor arc $AB.$ Let $\overline{AD}$ intersect the extension of $\overline{BC}$ at $E.$ Let $F$ be the midpoint of segment $AC,$ and let $G$ be the intersection of $\overline{EF}$ and $\overline{AB}.$ Let the extension of $\overline{DG}$ intersect $\overline{AC}$ and the circumcircle of $\triangle{ABC}$ at $H$ and $I,$ respectively. Given that $DG=3, GH=5,$ and $HI=1,$ compute the length of $\overline{AE}.$
1 reply
lpieleanu
Apr 27, 2025
vanstraelen
Yesterday at 8:01 PM
trigonometric functions
VivaanKam   9
N Yesterday at 7:12 PM by aok
Hi could someone explain the basic trigonometric functions to me like sin, cos, tan etc.
Thank you!
9 replies
VivaanKam
Tuesday at 8:29 PM
aok
Yesterday at 7:12 PM
Iran National Math Olympiad-Day 2-Problem 5
Amir Hossein   12
N Mar 29, 2022 by Mahdi_Mashayekhi
In triangle $ABC$ we havev $\angle A=\frac{\pi}{3}$. Construct $E$ and $F$ on continue of $AB$ and $AC$ respectively such that $BE=CF=BC$. Suppose that $EF$ meets circumcircle of $\triangle ACE$ in $K$. ($K\not \equiv E$). Prove that $K$ is on the bisector of $\angle A$.
12 replies
Amir Hossein
Apr 30, 2010
Mahdi_Mashayekhi
Mar 29, 2022
Iran National Math Olympiad-Day 2-Problem 5
G H J
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Amir Hossein
5452 posts
#1 • 6 Y
Y by son7, Adventure10, Mango247, and 3 other users
In triangle $ABC$ we havev $\angle A=\frac{\pi}{3}$. Construct $E$ and $F$ on continue of $AB$ and $AC$ respectively such that $BE=CF=BC$. Suppose that $EF$ meets circumcircle of $\triangle ACE$ in $K$. ($K\not \equiv E$). Prove that $K$ is on the bisector of $\angle A$.
This post has been edited 1 time. Last edited by Amir Hossein, May 1, 2010, 4:15 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
frenchy
150 posts
#2 • 2 Y
Y by Adventure10, Mango247
a very cute problem
using the result obtained here http://www.artofproblemsolving.com/Forum/viewtopic.php?p=827187sid=864d49327d5df0a637f8725f4205e6a2#p827187 BMO 2007
we get that OE=OF where O is the intersection of the diagonals of quadrilateral EBCF
CBF=g(angle)=CFB and BEC=BCE=b from triangle ABC we get b+g=60
but OEF=OFE=f so f=30 from trianlge AEF so KAC=f let us now prove OCFK is cyclic we have from angle chasing COF=60(OBAC-cyclic) and CKF=60(EACK cyclic) so OCFK cyclic so ECK=EAK=KAC so K is on the bisector
now let us take the case when EC=BF which is omited in the BMO 2007 problem then BCF and BEC are congruent and b=g so BO=OC and one more time OE=OF so we continue with the same thing from above
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lasha
204 posts
#3 • 3 Y
Y by son7, Adventure10, and 1 other user
Denote $AB=x$, $AC=y$, $BE=CF=BC=z$. By cosine law applied in triangle $ABC$, $z^2=x^2-xy+y^2$. (1) By cosine law in triangle $AFE$, \[EF^2=(x+z)^2-(x+z)(y+z)+(y+z)^2\]. Using (1), \[EF=\sqrt{z(x+y+2z)}\]. As $A,C,K,E$ lie on one circle, $FK\cdot {FE}=FC \cdot{FA}$, from which $FK=\frac{(y+z)\sqrt{z}}{\sqrt{x+y+2z}}$. So, $EK=EF-FK=\sqrt{z(x+y+2z)}-\sqrt{\frac{z}{x+y+2z}}\cdot{(y+z)}=\frac{(x+z)\sqrt{z}}{\sqrt{x+y+2z}}$. It means that $EK\cdot{EF}=z(x+z)$. Finally, $\frac{EK}{KF}=\frac{EK\cdot{EF}}{KF\cdot{EF}}=\frac{z(x+z)}{z(y+z)}=\frac{x+z}{y+z}=\frac{AE}{AF}$, which means that $K$ lies on the bisector of $\angle{A}$, as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
goodar2006
1347 posts
#4 • 5 Y
Y by son7, Adventure10, and 3 other users
my solution :
first I'll prove a lemma :
in a quadrilateral $ABCD$, if we have $\angle DAC=\angle BAC, BC=CD$ and $AB\neq AD$, then $ABCD$ is concyclic.
$proof$:
$\triangle ABC:\frac{AC}{sin\angle B}=\frac{BC}{sin\angle CAB}$

$\triangle ACD:\frac{AC}{sin\angle D}=\frac{CD}{sin \angle DAC}$

$BC=CD,\angle DAC=\angle BAC$ so we have $sin\angle B=sin\angle D$. because $AB\neq AD$ we have $B+D=180$ and so $ABCD$ is concyclic.
now my solution to the question:
suppose that $K$ is not on the internal bisector of $A$, so internal bisector of $A$ meets circumcircle of $ACE$ at $T\neq K$. $AT$ is bisector, so we have $ET=TC$.

$ET=TC$
$TB=TB$ so $\Longrightarrow$ $\triangle BCT=\triangle BET$ $\Longrightarrow$ $\angle BCT=\angle BET$
$BE=BC$

$ACTE$ is concyclic, so we have $\angle BET=\angle TCF=\angle BCT$.

$BC=CF$
$\angle BCT=\angle TCF$ $\Longrightarrow$ $\triangle BCT=\triangle FCT$ $\Longrightarrow$ $BT=TF$.
$CT=CT$

$BT=TF$, $\angle BAT=\angle TAF$, $AB\neq AF$ so by lemma we have $ABTF$ is concyclic.

$\triangle BCT=\triangle FCT$ so $\angle CFT=\angle CBT$
$ABTF$ is concyclic, so we have $\angle CBT=\angle EBT=\angle CFT$

$\angle A=60$ so $\angle B+\angle C=120$ so $\angle EBC+\angle FCB=240$
$\angle EBT+\angle CBT+\angle BCT+\angle FCT=240$

$\angle CBT=\angle EBT$

$\angle BCT=\angle FCT$
so we have $\angle BCT+\angle CBT=120$ and hence $\angle BTC=60$
$\triangle EBT=\triangle CBT=\triangle CFT$ so we have $\angle BTE=\angle BTC=\angle FTC=60$ so $\angle ETF=180$
this is a contradiction because we supposed that $T$ is not $K$ , and so $T$ is not on $EF$.
Dear Mathlinkers, please read it carefully and tell me if I've made a mistake or not. I really need your answer, my life depends on this!
best regards :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MJ GEO
304 posts
#5 • 3 Y
Y by Adventure10, Mango247, and 1 other user
It is very easy!
we just need to prove that $K=I_a$ where $I_a$ is center of A_excircle.but $BI_aC=60$ and form that $I_a$ lies on $EF$ and $ACI_aE$ is cyclic and we are done. :)
This is the method that i used in contest and solve it in less than 15 minutes. :)
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
goodar2006
1347 posts
#6 • 2 Y
Y by Adventure10 and 1 other user
I know that, but please tell me where of my solution is wrong, because when they corrected my paper, they gave me 6 out of 7!!!
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
goodar2006
1347 posts
#7 • 3 Y
Y by Adventure10, Mango247, and 1 other user
please! tell me what's wrong with my solution!
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sunken rock
4388 posts
#8 • 1 Y
Y by Adventure10
It is well known that, for a triangle $\triangle AEF$ with $\angle A=60^\circ$, $FO$ and $EO$ intersect $AE$ and $EF$ respectively at $B$ and $C$, so that $BE=BC=CF$, where $O$ is the circumcenter of $\triangle ACE$, hence $\angle OEF=\angle OFE=30^\circ$, i.e. $\angle CEF=30^\circ$, or $EF$ intersects the circle $\odot (ACE)$ at $K$, the midpoint of the arc $CE$, done.

A second method may use direct calculation, finding $EF$ from cosine theorem, then from $AF\cdot CF=EF\cdot KF$ finding $KF$ and, finally, $EK$ and proving $\frac{EK}{FK}=\frac{AE}{AF}=\frac{a+c}{a+b}$.

Yet a 3rd method: calculating $BC$ and $EF$ by cosine formula we get $EF^2=a\cdot (2a+b+c)$, where $a, b, c$ are the sizes of $BC, CA, AB$. Taking $M$ on $FA$ produced so that $AM=AE$ we get $EF^2=CF\cdot FM$, and $EF$ is tangent to $\odot (ECM)$, with $\angle FEC=30^\circ$.

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.
abacadaea
2176 posts
#9 • 2 Y
Y by Adventure10, Mango247
Click to reveal hidden text
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
vulalach
43 posts
#10 • 2 Y
Y by Adventure10 and 1 other user
Using vector rotation.

Denote $O$ be the center of the rotation: $\vec{EB} \mapsto \vec{CF}$
We have $A,C, O, E$ are concyclic and $A, B, O, F$ are concyclic and $\angle BOF = \angle EOC = 120^0$
From $BC = BE = CF$, hence $OB, OC$ are perpendicular bisectors of $CE$ and $BF$, respectively.
It following $E, O, F$ are colinear, so $O \equiv K$. And it easy to prove $AO$ be the bisector of $\angle A$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sunken rock
4388 posts
#11 • 1 Y
Y by Adventure10
Take $M$ midpoint of arc $EAF$ of the circle $(EAF)$; then $\Delta EFM$ is equilateral, $AEFM$ cyclic, $\angle AEM=\angle AFM, \Delta BEM=\Delta CFM$ (s.a.s), hence a $60^\circ$ rotation around $M$ maps $F$ to $E$ and $C$ to $B$, or $\Delta BCM$ equilateral, i.e. $BM=MC=BC=BE=CF$; consequently $EFMC$ is a kite, i.e. $CE$ is angle bisector of $\angle FEM$, or $\angle CEK=30^\circ$, hence $AK$ is angle bisector.

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.
aditya21
717 posts
#12 • 2 Y
Y by Adventure10, Mango247
my proof = since $ACKE$ are cyclic.
thus $\angle EKC=120$
also due to $BE=EC=CF$ we get $\angle BEC=\angle BCE=B/2$ and $\angle CBF=\angle CFB=C/2$
now using sine law in triangle $CFE,BFE$ and using $BE=CF$ with letting $\angle CEF=x$
we get $\frac{sinx}{sin(60-x)} = \frac{sin(120-C/2)}{sin(120-B/2)}$
now using $\angle B+C = 120$ and expanding the above expression using $sin(A+B)=sinAcosB+sinBcosA$
we get $2sinx=(\sqrt 3)cosx - sinx$ or $tanx=\frac{1}{\sqrt 3}$ and hence $\angle x = 30$

thus $\angle CEK=\angle KAC=30=\angle KAB$
or $AK$ bisect $\angle BAC$
we are done :D
This post has been edited 1 time. Last edited by aditya21, Mar 14, 2015, 7:39 AM
Reason: typo
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Mahdi_Mashayekhi
695 posts
#13
Y by
Let $AB = c, AC = b, BC = BE = CF = a$.
Note that $a^2 = b^2 + c^2 - bc$ and $EF^2 = (a+b)^2 + (a+c)^2 - (a+b)(a+c) = a^2 + b^2 + c^2 + ab + ac - bc = 2a^2 + ab + ac = a(2a+b+c)$ and $FK.FE = a(a+b)$ so $EK.EF = a(2a+b+c) - a(a+b) = a(a+c) \implies ABKF$ is cyclic.
$\angle BEK = \angle FCK$ and $CFK = \angle EBK$ and $AB = CF$ so $BEK$ and $FCK$ are congruent so $CK = EK$ so $\angle EAK = \angle KAC$ which implies $AK$ is angle bisector of $EAF$.
Z K Y
N Quick Reply
G
H
=
a