G
Topic
First Poster
Last Poster
k a April Highlights and 2025 AoPS Online Class Information
jlacosta   0
Yesterday at 3:18 PM
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
Yesterday at 3:18 PM
0 replies
D1010 : How it is possible ?
Dattier   13
N 4 minutes ago by Dattier
Source: les dattes à Dattier
Is it true that$$\forall n \in \mathbb N^*, (24^n \times B \mod A) \mod 2 = 0 $$?

A=1728400904217815186787639216753921417860004366580219212750904
024377969478249664644267971025952530803647043121025959018172048
336953969062151534282052863307398281681465366665810775710867856
720572225880311472925624694183944650261079955759251769111321319
421445397848518597584590900951222557860592579005088853698315463
815905425095325508106272375728975

B=2275643401548081847207782760491442295266487354750527085289354
965376765188468052271190172787064418854789322484305145310707614
546573398182642923893780527037224143380886260467760991228567577
953725945090125797351518670892779468968705801340068681556238850
340398780828104506916965606659768601942798676554332768254089685
307970609932846902
13 replies
+1 w
Dattier
Mar 10, 2025
Dattier
4 minutes ago
iran tst 2018 geometry
Etemadi   10
N 4 minutes ago by amirhsz
Source: Iranian TST 2018, second exam day 2, problem 5
Let $\omega$ be the circumcircle of isosceles triangle $ABC$ ($AB=AC$). Points $P$ and $Q$ lie on $\omega$ and $BC$ respectively such that $AP=AQ$ .$AP$ and $BC$ intersect at $R$. Prove that the tangents from $B$ and $C$ to the incircle of $\triangle AQR$ (different from $BC$) are concurrent on $\omega$.

Proposed by Ali Zamani, Hooman Fattahi
10 replies
Etemadi
Apr 17, 2018
amirhsz
4 minutes ago
n=y^2+108
Havu   2
N 16 minutes ago by MuradSafarli
Given the positive integer $n = y^2 + 108$ where $y \in \mathbb{N}$.
Prove that $n$ cannot be a perfect cube of a positive integer.
2 replies
Havu
39 minutes ago
MuradSafarli
16 minutes ago
Functional equations
hanzo.ei   10
N 35 minutes ago by truongphatt2668
Source: Greekldiot
Find all $f: \mathbb R_+ \rightarrow \mathbb R_+$ such that $f(xf(y)+f(x))=yf(x+yf(x)) \: \forall \: x,y \in \mathbb R_+$
10 replies
+1 w
hanzo.ei
Mar 29, 2025
truongphatt2668
35 minutes ago
No more topics!
TST PERU - IMO 2007 [Day 2- Q02]
carlosbr   12
N Nov 30, 2017 by lebathanh
Source: TST PERU -IMO 2007.
Let $ABC$ be a triangle such that $CA \neq CB$,
the points $A_{1}$ and $B_{1}$ are tangency points for the ex-circles relative to sides $CB$ and $CA$,
respectively, and $I$ the incircle.
The line $CI$ intersects the cincumcircle of the triangle $ABC$ in the point $P$.
The line that trough $P$ that is perpendicular to $CP$, intersects the line $AB$ in $Q$.
Prove that the lines $QI$ and $A_{1}B_{1}$ are parallels.
12 replies
carlosbr
May 16, 2007
lebathanh
Nov 30, 2017
TST PERU - IMO 2007 [Day 2- Q02]
G H J
Source: TST PERU -IMO 2007.
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
carlosbr
500 posts
#1 • 3 Y
Y by Adventure10, Mango247, and 1 other user
Let $ABC$ be a triangle such that $CA \neq CB$,
the points $A_{1}$ and $B_{1}$ are tangency points for the ex-circles relative to sides $CB$ and $CA$,
respectively, and $I$ the incircle.
The line $CI$ intersects the cincumcircle of the triangle $ABC$ in the point $P$.
The line that trough $P$ that is perpendicular to $CP$, intersects the line $AB$ in $Q$.
Prove that the lines $QI$ and $A_{1}B_{1}$ are parallels.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
yetti
2643 posts
#2 • 1 Y
Y by Adventure10
WLOG, let a = BC < CA = b. Let $A_{1}B_{1}$ meet AB at $C_{1},$ let $K \in AB$ be foot of the angle bisector $CI \equiv CP,$ Let parallel to CK through $A_{1}$ meet AB at L and let M be the midpoint of c = AB. As usual, R is the triangle circumradius, s its semiperimeter, and $\triangle$ its area.

$\frac{IK}{CK}= \frac{c}{a+b+c},$ $\frac{A_{1}L}{CK}= \frac{s-c}{a},$ $\frac{A_{1}L}{IK}= \frac{2s(s-c)}{ca}.$

By Menelaus theorem for the $\triangle ABC$ cut by the line $A_{1}B_{1}C_{1},$ $\frac{C_{1}B}{C_{1}A}= \frac{s-a}{s-b}.$ In addition, $C_{1}B-C_{1}A = c,$ hence $C_{1}B = \frac{c(s-a)}{b-a}.$ Since $\frac{BL}{BK}= \frac{s-c}{a}$ and $BK = \frac{ca}{a+b},$ we have $BL = \frac{c(s-c)}{a+b}$ and $C_{1}L = C_{1}B-BL = \frac{bc^{2}}{b^{2}-a^{2}}.$

The right $\triangle PQK \sim \triangle MPK$ are similar, hence $\frac{PK}{QK}= \frac{MK}{PK},$ $QK = \frac{PK^{2}}{MK}= \frac{MK^{2}+MP^{2}}{MK}.$ $MK = BM-BK = \frac{c(b-a)}{2(a+b)}$ and

$MP = R(1-\cos C) = \frac{4R(s-a)(s-b)}{2ab}= \frac{c(s-a)(s-b)}{2 \triangle}$

$MP^{2}= \frac{c^{2}(s-a)(s-b)}{4s(s-c)}$

$QK = \left((b-a)^{2}+\frac{(s-a)(s-b)}{s(s-c)}(b+a)^{2}\right) \cdot \frac{c^{2}}{4(b+a)^{2}}\cdot \frac{2(b+a)}{c(b-a)}=$

$= \frac{s(s-c)(b-a)^{2}+(s-a)(s-b)(b+a)^{2}}{s(s-c)}\cdot \frac{c}{2(b^{2}-a^{2})}=$

$= \frac{[(b+a)^{2}-c^{2}](b-a)^{2}+[c^{2}-(b-a)^{2}](b+a)^{2}}{4s(s-c)}\cdot \frac{c}{2(b^{2}-a^{2})}=$

$= \frac{4abc^{2}}{4s(s-c)}\cdot \frac{c}{2(b^{2}-a^{2})}= \frac{abc^{3}}{2s(s-c) (b^{2}-a^{2})}$

$\frac{C_{1}L}{QK}= \frac{2s(s-c)}{ca}= \frac{A_{1}L}{IK}$

The $\triangle QKI \sim \triangle C_{1}LA_{1}$ are centrally similar by SAS, hence $QI \parallel C_{1}A_{1}\equiv B_{1}A_{1}.$
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
#3 • 3 Y
Y by Adventure10, Mango247, and 1 other user
PP. Let $\triangle ABC$ so that $a\ne b$ with circumcircle $\alpha =C(O,R)$ and incircle $w=\mathbb C(I,r)$ .

Let $\left\{\begin{array}{c}
A_{1}\in BC\cap w_a\\\\
B_{1}\in AC\cap w_b\\\\\
\{C,P\}=CI\cap\alpha\end{array}\right\|$ and $Q\in AB$ so that $PQ\perp PC$ . Prove that $IQ\parallel A_{1}B_{1}$ .


Proof. Suppose w.l.o.g. $a>b$. Denote the diameters $[CC']$, $[PP']$ of $\alpha$ and $\left\{\begin{array}{c}K\in CI\cap AB\ ,\ S\in C'P'\cap AB\\\\ U\in CB\cap IQ\ ,\ V\in CA\cap IQ\end{array}\right\|$.

$1\blacktriangleright$ At first I"ll find the position of $Q\in AB$, i.e. the ratio $\frac{QA}{QB}$. Thus, $\left\{\begin{array}{c}P'C'\parallel CP\implies C'S\perp C'Q\\\\ P'A=P'B\implies \widehat{AC'S}\equiv\widehat{BC'S}\end{array}\right\|$ $\implies$

the division $(A,B,S,Q)$ is harmonically, i.e. $\frac{QA}{QB}=\frac{SA}{SB}=$ $\frac{C'A}{C'B}=\frac{2R\sin\widehat{ACC'}}{2R\sin\widehat{BCC'}}=$ $\frac{\sin(90^{\circ}-B)}{\sin(90^{\circ}-A)}=$ $\frac{\cos B}{\cos A}$ $\implies$

$\boxed{\frac{QA}{\cos B}=\frac{QB}{\cos A}}=\frac{c}{\cos B-\cos A}$.

$2\blacktriangleright$ At second I"ll find the positions of $U\in CB$, $V\in CA$ and I"ll value the ratio $\frac{CV}{CU}$. Observe that $\boxed{\frac{CB_{1}}{CA_{1}}=\frac{p-a}{p-b}}$

and $QK=QB+BK=\frac{c\cdot\cos A}{\cos B-\cos A}+\frac{ca}{a+b}=$ $c\cdot\frac{(a+b)\cos A+a(\cos B-\cos A)}{(a+b)(\cos B-\cos A)}=$

$c\cdot\frac{b\cos A+a\cos B}{(a+b)(\cos B-\cos A)}=$ $\frac{(b^{2}+c^{2}-a^{2})+(a^{2}+c^{2}-b^{2})}{2(a+b)(\cos B-\cos A)}$ $\implies$ $\boxed{QK=\frac{c^{2}}{(a+b)(\cos B-\cos A)}}$ $\implies$

$\left\{\begin{array}{c}\frac{QA}{QK}=\frac{c\cos B}{\cos B-\cos A}\cdot\frac{(a+b)(\cos B-\cos A)}{c^{2}}\implies \frac{QA}{QK}=\frac{(a+b)\cos B}{c}\\\\ \frac{QB}{QK}=\frac{c\cos A}{\cos B-\cos A}\cdot\frac{(a+b)(\cos B-\cos A)}{c^{2}}\implies \frac{QB}{QK}=\frac{(a+b)\cos A}{c}\end{array}\right\|$. Apply the Menelaus' theorem to the transversal $\overline{QUIV}$

in: $\left\{\begin{array}{cccccc}
\triangle ACK\ : & \frac{QA}{QK}\cdot\frac{IK}{IC}\cdot\frac{VC}{VA}=1 & \implies & \frac{(a+b)\cos B}{c}\cdot \frac{c}{a+b}\cdot \frac{VC}{VA}=1 & \implies & \frac{VA}{\cos B}=\frac{VC}{1}=\frac{b}{1+\cos B}\\\\
\triangle BCK\ : & \frac{QB}{QK}\cdot\frac{IK}{IC}\cdot\frac{UC}{UB}=1 & \implies & \frac{(a+b)\cos A}{c}\cdot\frac{c}{a+b}\cdot\frac{UC}{UB}=1 & \implies & \frac{UB}{\cos A}=\frac{UC}{1}=\frac{a}{1+\cos A}\end{array}\right\|$ $\implies$

$\frac{CV}{CU}=\frac{b}{a}\cdot\frac{1+\cos A}{1+\cos B}=$ $\frac{b}{a}\cdot\frac{2\cos^{2}\frac{A}{2}}{2\cos^{2}\frac{B}{2}}=$ $\frac{b}{a}\cdot\frac{p(p-a)}{bc}\cdot\frac{ac}{p(p-b)}$ $\implies$ $\boxed{\frac{CV}{CU}=\frac{p-a}{p-b}}$.

In conclusion, $\frac{CV}{CU}=\frac{CB_{1}}{CA_{1}}$ $\implies$ $\triangle CVU\sim\triangle CB_{1}A_{1}$ $\implies$ $UV\parallel A_{1}B_{1}$ $\implies$ $\boxed{IQ\parallel A_{1}B_{1}}$.
This post has been edited 10 times. Last edited by Virgil Nicula, Feb 6, 2016, 9:16 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Huyền Vũ
91 posts
#4 • 11 Y
Y by vi1lat, Adventure10, Mango247, and 8 other users
Let $(I)$ touch $BC,AC$ at $F,E$. $PQ$ meets $(O)$ at $K$
Let the perpendicular line from $I$ to $BK,AK$ meet $BK,AK$ at $M,N$
We have $IN//AC$ and $IM//BC$ so $\angle NIM=\angle ACB$
Because $NAEI, MIFB$ are rectangle so $IN=AE=CB1$ and $IM=FB=CA1$
Thus triangle $IMN$ and $CA1B1$ are congruent.
So $\angle MNI=\angle A1B1C$. But $IN//AC$ so $MN//A1B1$ $(1)$
we have $\angle PQB=\angle PAB-\angle KBA=\angle PBA-\angle KBA=\angle PBK=\angle PAK$
so triangle $PAK$ and $POA$ are similar.
Then $PK*PO=PA^{2}=PI^{2}$
Thus triangle $PKI$ and $PIQ$ are similar
then $\angle PKI=\angle PIQ$
we have $K,N,P,M,I$ are cyclic so
$\angle INM=\angle IKM=\angle IKP-\angle PKM=\angle PIQ-\angle BCP=$$\angle PIQ-\angle ACP=\angle PIQ-\angle NIP=\angle NIQ$
Thus $MN//IQ$ $(2)$
From (1) and (2) $QI//A1B1$ $q.e.d$
Attachments:
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
4145 posts
#5 • 2 Y
Y by tnoodee, Adventure10
I'm changing the notations according to my solution.
Quote:
Let $ ABC$ be a triangle such that $ AB \neq AC,$ the points $ B_{1}$ and $ C_{1}$ are tangency points for the ex-circles relative to sides $ AC$ and $ AB,$ respectively and $ I$ the incircle. The line $ AI$ intersects the cincumcircle of the triangle $ ABC$ in the point $ P.$ The line that goes trough $ P$ perpendicular to $ AP$ intersects the line $ BC$ in $ Q.$ Prove that $ QI$ and $ B_{1}C_{1}$ are parallel.
Let us use barycentric coordinates with respect to $ \triangle ABC.$ Then

$ B_1 (s - a: 0: s - c) \ , \ C_1 (s - a: s - b: 0)$

Line $ B_1C_1$ has infinite point $ T_{\infty} ((s - a)(s - c): b(s - b): - c(s - c))$

Since $P$ is the midpoint of the arc $ BC$ of the circumcircle, then its coordinates are

$ P ( - a^2: b(b + c): c(b + c))$

Line $ \mathcal{L}_a$ passing through $ P$ and orthogonal to $ AP$ is parallel to the external bisector of $ \angle BAC,$ hence they have the same infinite point $ (c - b: b: - c).$ Its equation is then

$ \mathcal{L}_a \equiv bc(b + c)x - cS_Cy - bS_Bz = 0 \Longrightarrow Q \equiv BC \cap \mathcal{L}_a \equiv (0: bS_B: - cS_C)$

$ \Longrightarrow IQ \equiv abcx - cS_Cy - bS_Bz = 0.$ Coordinates of its infinite point $ R_{\infty}$ are:

$ R_{\infty} (cS_C - bS_B: b(S_B + ac): - c(S_C + ab))$

Now, using the identities

$ cS_C - bS_B = 2s(s - a)(b - c) \ , \ S_B + ac = 2s(s - b) \ , \ S_C + ab = 2s(s - c).$

$R_{\infty} ((s - a)(b - c): b(s - b): - c(s - c)) \Longrightarrow T_{\infty} \equiv R_{\infty} \Longrightarrow IQ \parallel B_1C_1$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
shoki
843 posts
#6 • 2 Y
Y by Adventure10, Mango247
let $ \{L,C \}=CO \cap (O)$ and obviously we have $ PQ \cap (O)= \{P,L \}$let $ \{B',B \}=BI \cap (O)$ and define similarly $ A'$.Let $ S_1=LA' \cap BC$ and $ S_2=LB' \cap AC$.by pascal's theorem for $ ACBB'LA'$ and $ BCPLA'A$ we get the collinearity of $ S_1,S_2,I,Q$.it remains to prove that $ S_1S_2 || A_1B_1$.so we need to compute $ CS_1,CS_2$ for proving $ \frac{CS_1}{CS_2}=\frac{p-b}{p-a}$.but we have $ \frac{CS_1}{BC}=\frac{CL}{BL+LC}=\frac{1}{1+\cos \angle A}$ and similarly for $ \frac{CS_2}{AC}=\frac{1}{1+\cos \angle B}$.now we must prove $ \frac{1+\cos \angle B}{1+\cos \angle A}=\frac{(p-b)b}{(p-a)a}$ which is obvious since $ \cos \angle B= \frac{a^2+c^2-b^2}{2ac}$ and similarly for $ \cos \angle A$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TelvCohl
2312 posts
#7 • 3 Y
Y by Adventure10, Mango247, and 1 other user
My solution:

Let $ A_2, B_2 $ be the projection of $ I $ on $ CB, CA $ .
Let $ C'=PQ \cap \odot (ABC) $ and $ A', B' $ be the projection of $ I $ on $ C'A, C'B $, respectively .

Since $ IA'=B_2A=CB_1, IB'=A_2B=CA_1 $ and $ IA' \parallel CA, IB' \parallel CB $ ,
so $ \triangle IA'B' $ and $ \triangle CB_1A_1 $ are homothety (also congruent) .
Since $ I, A', B', C', P $ are concyclic at $ \odot (IC') $ ,
so $ \angle PQA= \angle PAB- \angle APQ =\angle ACP -\angle ACC'=\angle C'AP $ ,
hence we get $ \triangle PAC' \sim \triangle PQA $ and $ PI^2=PA^2=PC' \cdot PQ $ .
i.e. $ \triangle PIC' \sim \triangle PQI $
Since $ \angle B'A'I=\angle B'C'I=\angle PC'I -\angle PC'B'=\angle QIP- \angle A'IP=\angle QIA' $ ,
so we get $ QI \parallel A'B' $ . i.e. $ QI \parallel A_1B_1 $

Q.E.D
This post has been edited 1 time. Last edited by TelvCohl, Jan 14, 2015, 8:56 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jayme
9775 posts
#8 • 2 Y
Y by Adventure10, Mango247
Dear Mathlinkers,
see
http://www.artofproblemsolving.com/Forum/viewtopic.php?search_id=576791942&t=189585

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.
TelvCohl
2312 posts
#9 • 10 Y
Y by Dukejukem, rassom, buzzychaoz, AlastorMoody, Ard_11103, Arefe, future_gold_in_IMO, Adventure10, Mango247, and 1 other user
I found another simpler proof by using Reim theorem :)

My solution:

Let $ Z $ be the tangent point of $ \odot (I) $ with $ AB $ .
Let a line passing through $ A $ and parallel to $ A_1B_1 $ intersect $ CP, CB $ at $ X, Y $, respectively .

From $ \angle IPQ=\angle IZQ=90^{\circ} \Longrightarrow I, P, Q, Z $ are concyclic . ... $ (1) $

From $ \frac{AX}{XY}=\frac{CA}{CY}=\frac{CB_1}{CA_1}=\frac{AZ}{ZB} \Longrightarrow XZ \parallel CB \Longrightarrow A, P, X, Z $ are concyclic (Reim theorem). ... $ (2) $

Combine with $ (1), (2) \Longrightarrow IQ \parallel XA $ (Reim theorem). i.e. $ IQ \parallel A_1B_1 $

Q.E.D
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
jayme
9775 posts
#10 • 2 Y
Y by Adventure10, Mango247
Dear,
very nice proof with my favorite theorem....which make some proof very elegant in my mind.
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.
buzzychaoz
178 posts
#11 • 2 Y
Y by Adventure10, Mango247
Let $QI$ meet $CB,CA$ at $A_2,B_2$ respectively, incircle touches $AB$ at $Z$.

WLOG assume $CA>CB$. Note $I,Z,P,Q$ concyclic, so $\angle APZ=\angle APC + \angle IPZ= \angle ABC + \angle IQZ=\angle CA_2B_2$, similarly $\angle BPZ=\angle CB_2A_2$.

Thus $\frac{CA_1}{CB_1}=\frac{BZ}{AZ}=\frac{\sin \angle BPZ}{\sin \angle APZ}=\frac{\sin \angle CB_2A_2}{\sin \angle CA_2B_2}=\frac{CA_2}{CB_2}$, so $A_1B_1\parallel A_2B_2\equiv QI$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
ATimo
228 posts
#15 • 1 Y
Y by Adventure10
Let $R$ be the intersection point of $PQ$ with the circumcircle of $\triangle ABC$. Let $M$ be the midpoint of $RI$. We want to say that $QI$ and $A_{1}B_{1}$ are parallels. $PB^2=PI^2=PR.PQ$, so using the inversion with the center $P$ and the radius $PB$, we have to prove that $PM$ is perpendicular to $A_{1}B_{1}$. Because the line $QI$, goes to the circumcircle of $\triangle PRI$ and $\angle RPI=90$, so $M$ is the center of the circumcircle of $\triangle PRI$. Let $T$ be the midpoint of the arc $ACB$ of the circumcircle of $\triangle ABC$. And let $O$ be its circumcenter. Let $L$ and $N$ be the reflection points of $I$ and $M$ trough $O$. The reflection of $R$ and $P$ trough $O$ are $C$ and $T$. So it is enough to prove that $TN$ is perpendicular to $A_{1}B_{1}$. $N$ is the midpoint of $CL$. $L$ is the circumcenter of the circumcircle of the excenters of $\triangle ABC$. So $LA_{1}$ and $LB_{1}$ are perpendicular to $AC$ and $BC$. So $LB_{1}CA_{1}$ is concyclic with the center $N$. $AA_{1}=BB_{1}$, so $TB_{1}=TA_{1}$ and $CTB_{1}A_{1}$ is concyclic. So $CTB_{1}LA_{1}$ is concyclic with the center $N$. So $TN$ is the perpendicular bisector of $A_{1}B_{1}$. So $TN$ is perpendicular to $A_{1}B_{1}$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
lebathanh
464 posts
#16 • 2 Y
Y by Adventure10, Mango247
my solution (L.B.T) : X = CO cut (O)) , (I) contact AB = D , PD cut (O) = Y . X,I,Y collinear (easy) . YA/YB=AD/BD=CB1/CA1 ==> YBA=CA1B1
A1B1 cut AB = Z . A1ZA = B-CA1B1 = B-YBA=CBY=IPD=IQD
Z K Y
N Quick Reply
G
H
=
a