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

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

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

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

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

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

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

Prealgebra 2 Self-Paced

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

Introduction to Algebra A Self-Paced

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

Introduction to Counting & Probability Self-Paced

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

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

Introduction to Algebra B Self-Paced

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

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

Intermediate: Grades 8-12

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

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

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

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

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

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

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

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

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

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

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

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

AMC 12 Final Fives
Sunday, May 18 - Jun 15

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

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


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

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

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

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

Physics

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

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

Relativity
Sat & Sun, Apr 26 - Apr 27 (4:00 - 7:00 pm ET/1:00 - 4:00pm PT)
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Apr 2, 2025
0 replies
Difficult Inequality
EthanWYX2009   3
N 39 minutes ago by RainbowNeos
$a_1,\ldots ,a_n>0,$ show that
\[\frac{a_1}{a_1+a_2}+\frac{a_2}{a_2+a_3}+\cdots +\frac{a_n}{a_n+a_1}\ge\frac{a_1+a_2+\cdots +a_n}{a_1+a_2+\cdots +a_n-(n-2)\sqrt[n]{a_1a_2\cdots a_n}}>1.\]
3 replies
EthanWYX2009
Apr 25, 2025
RainbowNeos
39 minutes ago
Modular Strip
MarkBcc168   11
N an hour ago by YaoAOPS
Source: IMO Shortlist 2023 C4
Let $n\geqslant 2$ be a positive integer. Paul has a $1\times n^2$ rectangular strip consisting of $n^2$ unit squares, where the $i^{\text{th}}$ square is labelled with $i$ for all $1\leqslant i\leqslant n^2$. He wishes to cut the strip into several pieces, where each piece consists of a number of consecutive unit squares, and then translate (without rotating or flipping) the pieces to obtain an $n\times n$ square satisfying the following property: if the unit square in the $i^{\text{th}}$ row and $j^{\text{th}}$ column is labelled with $a_{ij}$, then $a_{ij}-(i+j-1)$ is divisible by $n$.

Determine the smallest number of pieces Paul needs to make in order to accomplish this.
11 replies
+1 w
MarkBcc168
Jul 17, 2024
YaoAOPS
an hour ago
amazing balkan combi
egxa   4
N an hour ago by SomeonesPenguin
Source: BMO 2025 P4
There are $n$ cities in a country, where $n \geq 100$ is an integer. Some pairs of cities are connected by direct (two-way) flights. For two cities $A$ and $B$ we define:

$(i)$ A $\emph{path}$ between $A$ and $B$ as a sequence of distinct cities $A = C_0, C_1, \dots, C_k, C_{k+1} = B$, $k \geq 0$, such that there are direct flights between $C_i$ and $C_{i+1}$ for every $0 \leq i \leq k$;
$(ii)$ A $\emph{long path}$ between $A$ and $B$ as a path between $A$ and $B$ such that no other path between $A$ and $B$ has more cities;
$(iii)$ A $\emph{short path}$ between $A$ and $B$ as a path between $A$ and $B$ such that no other path between $A$ and $B$ has fewer cities.
Assume that for any pair of cities $A$ and $B$ in the country, there exist a long path and a short path between them that have no cities in common (except $A$ and $B$). Let $F$ be the total number of pairs of cities in the country that are connected by direct flights. In terms of $n$, find all possible values $F$

Proposed by David-Andrei Anghel, Romania.
4 replies
1 viewing
egxa
Yesterday at 1:57 PM
SomeonesPenguin
an hour ago
Interesting number theory
giangtruong13   2
N an hour ago by epl1
Source: Hanoi Specialized School’s Practical Math Entrance Exam (Round 2)
Let $a,b$ be integer numbers $\geq 3$ satisfy that:$a^2=b^3+ab$. Prove that:
a) $a,b$ are even
b) $4b+1$ is a perfect square number
c) $a$ can’t be any power $\geq 1$ of a positive integer number
2 replies
giangtruong13
Today at 4:15 PM
epl1
an hour ago
No more topics!
Circumcenters pass through common point
cauchyguy   6
N May 30, 2015 by JuanOrtiz
Source: 2003 USA TST
Let $\overline{AH_1}, \overline{BH_2}$, and $\overline{CH_3}$ be the altitudes of an acute scalene triangle $ABC$. The incircle of triangle $ABC$ is tangent to $\overline{BC}, \overline{CA},$ and $\overline{AB}$ at $T_1, T_2,$ and $T_3$, respectively. For $k = 1, 2, 3$, let $P_i$ be the point on line $H_iH_{i+1}$ (where $H_4 = H_1$) such that $H_iT_iP_i$ is an acute isosceles triangle with $H_iT_i = H_iP_i$. Prove that the circumcircles of triangles $T_1P_1T_2$, $T_2P_2T_3$, $T_3P_3T_1$ pass through a common point.
6 replies
cauchyguy
May 7, 2004
JuanOrtiz
May 30, 2015
Circumcenters pass through common point
G H J
Source: 2003 USA TST
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cauchyguy
61 posts
#1 • 2 Y
Y by Adventure10, Mango247
Let $\overline{AH_1}, \overline{BH_2}$, and $\overline{CH_3}$ be the altitudes of an acute scalene triangle $ABC$. The incircle of triangle $ABC$ is tangent to $\overline{BC}, \overline{CA},$ and $\overline{AB}$ at $T_1, T_2,$ and $T_3$, respectively. For $k = 1, 2, 3$, let $P_i$ be the point on line $H_iH_{i+1}$ (where $H_4 = H_1$) such that $H_iT_iP_i$ is an acute isosceles triangle with $H_iT_i = H_iP_i$. Prove that the circumcircles of triangles $T_1P_1T_2$, $T_2P_2T_3$, $T_3P_3T_1$ pass through a common point.
This post has been edited 1 time. Last edited by v_Enhance, May 30, 2015, 8:33 PM
Reason: \ol -> \overline
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
darij grinberg
6555 posts
#2 • 2 Y
Y by Adventure10, Mango247
Your three circumcircles intersect at the orthocenter of triangle $ T_1 T_2 T_3$. Here is a proof using some triangle geometry facts.

At first, for reasons of laziness, I rename everything:

Suppose ABC is an acute, scalene triangle. Let $ H_a$, $ H_b$, $ H_c$ be the feet of the altitudes from A, B, and C, respectively. Also let X, Y, Z be the points where the incircle of triangle ABC touches BC, CA, and AB, respectively. Now, let X' be the point on the line $ H_a H_b$ such that $ H_a X' = H_a X$ and the angle $ \angle X' H_a X$ is acute. Define Y' and Z' by cyclic permutation. Prove that the circumcircles of triangles X'XY, Y'YZ and Z'ZX intersect at a common point.

Proof. Let H' be the orthocenter of triangle XYZ. We will prove that the circumcircles of triangles X'XY, Y'YZ and Z'ZX pass through H'.

At first, we show a classical result:

Lemma 1. For every triangle ABC with orthocenter H, the circumcenter of triangle BCH is the reflection of the circumcenter of triangle ABC in the line BC.

Proof. It is well-known ([1], Lemma 1) that the reflection A' of the orthocenter H in the line BC lies on the circumcircle of triangle ABC. Hence, the circumcenter of triangle BCA' coincides with the circumcenter of triangle ABC. But since A' is the reflection of H in the line BC, the triangles BCH and BCA' are symmetric with respect to BC, and the circumcenter of triangle BCH must be the reflection of the circumcenter of triangle BCA' in the line BC, i. e. the reflection of the circumcenter of triangle ABC in the line BC. Lemma 1 is proven.

Now, let I be the incenter of triangle ABC. Then, I is the circumcenter of triangle XYZ. Applied to triangle XYZ, Lemma 1 yields that the circumcenter F of triangle XYH' is the reflection of I in the line XY. Thus, XF = XI and YF = YI. But obviously, XI = YI; so, XF = XI = YI = YF, and the quadrilateral XFYI is a rhombus, so that XF is parallel to YI, or, in other words, XF is perpendicular to CY. Similarly, YF is perpendicular to CX. Thus, F is the orthocenter of triangle CXY.

But according to [2] Theorem 3.6, the following result holds:

Lemma 2. The orthocenter of triangle CXY coincides with the incenter of triangle $ H_a H_b C$.

In other words, F is the incenter of triangle $ H_a H_b C$. Hence, the line $ H_a F$ is the angle bisector of the angle $ \angle C H_a H_b = \angle X' H_a X$. Now, the isosceles triangle $ X' H_a X$ yields that the angle bisector of the angle $ X' H_a X$, i. e. in the line $ H_a F$, is the perpendicular bisector of the segment XX', i. e. the point X' is the reflection of the point X in the line $ H_a F$.

But since F is the circumcenter of triangle XYH', the circumcircle of triangle XYH' has center F. The line $ H_a F$ is a diameter of this circumcircle, and since the reflection of a point on a circle in a diameter of the circle lies on the same circle again, the reflection X' of X in the line $ H_a F$ lies on the circumcircle of triangle XYH' again. In other words, the circumcircle of triangle X'XY passes through H. Similarly, the circumcircles of triangles Y'YZ and Z'ZX pass through H, and we are done.

References (both avaliable at my geometry website; I was too lazy to browse other sites)

[1] Darij Grinberg, Anti-Steiner points with respect to a triangle.

[2] Darij Grinberg, Generalization of the Feuerbach point.

Darij
This post has been edited 1 time. Last edited by darij grinberg, Sep 13, 2009, 11:10 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
imortal
110 posts
#3 • 2 Y
Y by Adventure10, Mango247
Here I give my solution:

Call the three circumcircles $k_1$, $k_2$ and $k_3$
Firstly we can see that the circumcenter of $T_1P_1T_2$ is the incenter of $CH_1H_2$. This is true because $S_{T_1T_2}$ is $l_{\angle H_1CH_2}$ and $S_{T_1P_2}$ is $l_{\angle CH_1H_2}$. Call that center $I_C$.
So $\frac{CI_C}{CI} =\frac{CH_1}{CA} =cos{\gamma}$ because $\triangle{H_1H_2C}$ is similar to $\triangle{ABC}$ !

Consider $\triangle{CIT_1}$ and point $I_C$ on $CI$ so that $\frac{CI_C}{CI} =cos{2\angle{ICT_1}}$. Let $K$ be the reflection of $I_C$ over $CT_1$. Then $\angle{IKC}= 90'$. ' means degree sign(sorry I didn't found it :) ). Let $IK$ intersects $CT_1$ in point $L$.

$\angle{CI_CK}= 90' - \frac{\gamma}{2} = \angle {CLK}$

So $C$, $I_C$, $L$ and $K$ lie on circle -> $\angle {CI_CL}=90$ -> $I_C$, $I$, $T_1$ and $L$ lie on circle -> $\angle{II_CT_1}=\angle{ILT_1}= 90' - \frac{\gamma}{2}$

Then $\angle{T_1I_CT_2}= 180' - \gamma$.

We are almost ready!

Let circle $k_1(I_C) \cap k_2(I_B)=U$. By simple calculation of angles we can see that point $U$ lies also on $k_3$. The problem is solved!

Also knowing the angles of $\triangle{T_1T_2T_3}$ we can easily see also that $U$ is its orthocenter!
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
epitomy01
240 posts
#4 • 2 Y
Y by Adventure10, Mango247
Here's another approach:
As in the two previous solutions, we shall prove that the circumcircle of $ T_{1}P_{1}T_{2}$ passes through the orthocentre $ X$ of $ T_{1}T_{2}T_{3}$, which is clearly sufficient.

Assume $ AB$ is the shortest side of the triangle (we can't WLOG this, but in all other cases, the solution will be the same with slight modifications. The difference is, that when $ AB$ is shortest side. $ H_{1}$ is closer to $ B$ than $ T_{1}$ is, and $ H_{2}$ is closer to $ A$ than $ T_{2}$ is.)

Let $ Q_{2}$ be the point on $ H_{1}H_{2}$ such that $ H_{2}Q_{2} = H_{2}T_{2}$. Since $ \angle H_{1}H_{2}C = B$, $ \angle H_{2}Q_{2}T_{2} = 90 - \frac{B}{2}$. Since $ \angle H_{2}H_{1}C = A$, $ \angle P_{1}T_{1}H_{1} = 90 - \frac{A}{2}$, and $ \angle T_{2}T_{1}C = 90 - \frac{C}{2}$, $ \angle P_{1}T_{1}T_{2} = 180 - ( \angle H_{1}T_{1}P_{1} + \angle CT_{1}T_{2}) = 90 - \frac{B}{2} = \angle H_{2}Q_{2}T_{2}$. Thus quadrilateral $ T_{1}P_{1}Q_{2}T_{2}$ is concyclic.
A little more angle chasing gives $ \angle Q_{2}T_{2}T_{1} = 180 - \angle H_{2}T_{2}Q_{2} - \angle CT_{2}T_{1} = 90 - \frac {A}{2}$, and since $ \angle P_{1}T_{1}T_{2} = 90 - \frac{B}{2}$, if we let $ T_{1}P_{1}$ intersect $ T_{2}Q_{2}$ at a point $ T'_{3}$, we have $ T_{1}T_{2}T_{3}$ and $ T_{1}T_{2}T'_{3}$ are congruent triangles. Thus, the quadrilateral $ T_{1}T_{2}T_{3}T'_{3}$ is a concyclic, iscoceles trapezium, so $ T'_{3}$ lies on the incircle.
Computations give us $ H_{2}T_{2} = AT_{2} - AH_{2} = (s-a) - c*cos B = \frac{(s-b)(a-c)}{b}$. Also, $ Q_{2}H_{2}T_{2}$ is similar to $ BT_{3}T_{1}$, so $ \frac {Q_{2}T_{2}}{T_{2}T'_{3}} = \frac {Q_{2}T_{2}}{T_{3}T_{1}} = \frac {T_{2}H_{2}}{BT_{1}} = \frac { \frac {(s-b)(a-c)}{b} }{s-b} = \frac {a-c}{b}$.
Choose a point $ S$, distinct from $ T_{3}$ on segment $ T_{1}T_{3}$ so that $ T_{2}S =T_{2}T_{3}$, so $ \angle T_{2}ST_{1} = 90 + \frac {C}{2}$. Sin Rule gives:
$ \frac {ST_{1}}{T_{1}T_{3}} = \frac {ST_{1}}{T_{1}T_{2}} * \frac {T_{1}T_{2}}{T_{1}T_{3}} = \frac {sin ( \frac {A}{2} - \frac {C}{2} )}{cos ( \frac {B}{2} ) }$ $ = \frac {2 cos (\frac{A}{2} + \frac{C}{2}) * sin ( \frac {A}{2} - \frac {C}{2} )} {2 sin (\frac  {B}{2}) * cos (\frac {B}{2})} = \frac {sin A - sin C}{sin B} = \frac {a-c}{b}$.
Thus $ \frac {ST_{1}}{T_{1}T_{3}} = \frac {Q_{2}T_{2}}{T_{2}T'_{3}}$. Since $ T_{1}T_{2}T_{3}T'_{3}$ is an iscoceles trapezium, this shows us that $ T_{2}T_{1}Q_{2}S$ is also an iscoceles trapezium, and more importantly, is cyclic. But a quick angle chase shows us that $ \angle T_{2}ST_{1} = 90 + \frac{C}{2} = \angle T_{1}XT_{2}$, so $ T_{1}T_{2}XS$ is cyclic. This shows that $ T_{1}, T_{2}, X, S, Q_{2}, P_{1}$ all lie on a circle, as required.
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
#5 • 3 Y
Y by Adventure10, Mango247, and 1 other user
cauchyguy wrote:
Let $ \ol{AH_1}, \ol{BH_2}$, and $ \ol{CH_3}$ be the altitudes of an acute scalene triangle $ ABC$. The incircle of triangle $ ABC$ is tangent to $ \ol{BC}, \ol{CA},$ and $ \ol{AB}$ at $ T_1, T_2,$ and $ T_3$, respectively. For $ k = 1, 2, 3$, let $ P_i$ be the point on line $ H_iH_{i + 1}$ (where $ H_4 = H_1$) such that $ H_iT_iP_i$ is an acute isosceles triangle with $ H_iT_i = H_iP_i$. Prove that the circumcircles of triangles $ T_1P_1T_2$, $ T_2P_2T_3$, $ T_3P_3T_1$ pass through a common point.
Notice that the problem is vitrually the same with this one: http://www.artofproblemsolving.com/Forum/viewtopic.php?p=351094#351094

Reflect $ H_1$ and $ H_2$ into $ T_1T_2$ to form $ X$ and $ Y$ respectively. One intersection, $ K$, of $ XY$ and the incircle will be such that $ T_1K\parallel T_2T_3$ by the link. We will now prove that $ K$ is the reflection of $ P_1$ into $ T_1T_2$. Since $ K$ lies on $ XY$ and $ P_1$ lies on $ H_1H_2$, it suffices to show that $ \angle P_1T_1T_2=\angle T_2T_1K$. Yet, \[ \angle KT_1T_2=\angle T_3T_2T_1=180-\angle T_1T_3T_2-\angle T_3T_1T_2\] We see that $ \angle T_1T_3T_2=\angle T_2T_1C$ and $ \angle PT_1H_1=\angle AT_3T_2=\angle T_3T_1T_2$ the first because $ \triangle H_1P_1T_1\sim \triangle AT_3T_2$ since $ AT_3=AT_2$, $ P_1H_1=T_1H_1$, and $ \angle T_3AT_2=\angle H_2H_1T_1=\angle P_1H_1T_2$. Thus, we have that \[ \angle T_2T_1K=180-\angle P_1T_1H_1-\angle T_2T_1C=\angle PT_1T_2\] implying that $ P_1$ and $ K$ are reflections of each other over $ T_1T_2$. Thus, the circumcircle of $ \triangle P_1T_1T_2$ is the reflection of the circumcircle of $ \triangle T_1T_3T_2$ into $ T_1T_2$. Since the reflection of the orthocenter of $ \triangle T_1T_2T_3$, $ H$, into $ T_1T_2$ lies on the circumcircle of $ \triangle T_1T_3T_2$, we see that $ H$ lies on the circumcircle of $ \triangle T_1T_2P_1$. Doing the same with the other circles, we see that they all pass through $ H$, and are hence concurrent.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sunken rock
4386 posts
#6 • 2 Y
Y by Adventure10, Mango247
See at http://www.mathlinks.ro/viewtopic.php?t=315623 that the three circles are equal with the incircle of triangle $ ABC$, hence they all pass through the orthocenter of triangle $ T_1T_2T_3$ (4 circles theorem?)

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.
JuanOrtiz
366 posts
#7 • 2 Y
Y by Adventure10, Mango247
Notice that

$\frac{sin T_1P_1T_2}{sin T_1T_2P_1} =  \frac{T_1T_2}{T_1P_1} = \frac{CI sin C}{2(sin A/2)T_1H_1} = \frac{CI sin C}{2IA(sin(A/2+B-90))sin(A/2)} = \frac{sin(90+C/2)}{sin(A/2+B-90)}$

and that $90+C/2+A/2+B-90 = 90-B/2 = \angle T_1P_1T_2 + \angle T_1T_2P_1$. Thus, $ \angle T_1P_1T_2 = 90+C/2 = 180 - \angle T_1T_3T_2$. So the circumcircle of $T_1P_1T_2$ is the reflection across $T_1T_2$ of the circumcircle of $T_1T_2T_3$, and we finish easily.
This post has been edited 1 time. Last edited by JuanOrtiz, May 30, 2015, 6:32 PM
Z K Y
N Quick Reply
G
H
=
a