These problems are INMO~ish level. So trying this would be a good practice for INMO!
Let ABCD be a quadrilateral. Let M,N,P,Q be the midpoints of sides
AB,BC,CD,DA. Prove that MNPQ is a parallelogram.
Consider \Delta ABD and \Delta BDC .Note that NP||BD||MQ. Similarly,
NM||AC||PQ. Hence the parallelogram.
In \Delta ABC, \angle A be right. Let D be the foot of the altitude from
A onto BC. Prove that AD^2=BD\cdot CD.
Note that \Delta ADB\sim \Delta CDA. So by similarity, we have
\frac{AD}{BD}=\frac{CD}{AD}.
In \Delta ABC, \angle A be right. Let D be the foot of the altitude from
A onto BC. Prove that AD^2=BD\cdot CD.
Let D\in CA, such that AD = AB.Note that BD||AS. So by the Thales’
Proportionality Theorem, we are done!
Given \Delta ABC, construct equilateral triangles \Delta BCD,\Delta
CAE,\Delta ABF outside of \Delta ABC. Prove that AD=BE=CF.
This is just congruence. Note that in \Delta ABD, \Delta FBC we have
\angle FBC=\angle ABC+60^{\circ}=\angle ABD. And FB=AB,BC=BD. So we get
\Delta ABD \cong \Delta FBC. So AD=FC. Similarly, we can show BE=FC.
If line PQ intersecting AB on \triangle ABC, where P is on BC, Q
is on the extension of AC, and R on the intersection of PQ and AB,
then\frac{PB}{CP} \cdot \frac{QC}{QA} \cdot \frac{AR}{RB} = 1.
Draw a line parallel to QP through A to intersect BC at K. \triangle
RBP \sim \triangle ABK \implies \frac{AR}{RB}=\frac{KP}{PB} \triangle QCP
\sim \triangle ACK \implies \frac{QC}{QA}=\frac{CP}{KP} Multiplying the two
equalities together to eliminate the PK factor, we get:
\frac{AR}{RB}\cdot\frac{QC}{QA}=\frac{CP}{PB}\implies
\frac{AR}{RB}\cdot\frac{QC}{QA}\cdot\frac{PB}{CP}=1
In \Delta ABC, choose points D,E,F on sides BC,CA,AB respectively. Prove
that circles (AEF),(BFD),(CDE) share a point known as the miquel point.
Define M=(AEF)\cap (BFD). So note that \measuredangle FME=\measuredangle
A,\measuredangle EMD=\measuredangle C\implies \measuredangle FMD=B\implies
M\in (DFB).
Let \omega_1, \omega_2 be two circles intersecting at M,N. Let line
\ell_M through M intersect \omega_1, \omega_2 at A_1, A_2. Let B_1,
B_2 be points on \omega_1, \omega_2 respectively, Then A_1B_1\parallel
A_2B_2 if , and only if, B_1,N,B_2 are collinear on a line \ell_N.
Suppose that B_1NB_2 is a straight line. Then \measuredangle MA_1B_1 =
\measuredangle MNB_1 = \measuredangle MA_2B_2 \implies A_1B_1 \parallel
A_2B_2.
Let a triangle \triangle ABC and a point P be given. Let D, E, and F
be the foots of the perpendiculars dropped from P to lines AB, AC, and BC,
respectively. Then points D, E, and F are collinear iff the point P lies
on circumcircle of \triangle ABC.
Let the point P be on the circumcircle of \triangle ABC. So \angle BFP =
\angle BDP = 90^\circ \implies BPDF \text{ is cyclic }\implies \angle PDF =
180^\circ – \angle CBP. So \angle ADP = \angle AEP = 90^\circ \implies
AEPD \text{ is cyclic }$\implies \angle PDE = \angle PAE. And ACBP \text{
is cyclic } \implies \angle PBC = \angle PAE \implies \angle PDF + \angle PDE
= 180^\circ \implies D, E, and F are collinear as desired.
Let AB be a chord in \omega(O, r) and let TA be a tangent to \omega at
A. Let \angle BAT = \alpha. Let \angle APB be any inscribed angle over
the arc AB. Then \angle BAT=\angle APB.
Since TA is a tangent, then it must be perpendicular to OA. So \angle OAT
= 90^{\circ}. So \angle OAB = \angle OAT − \angle BAT = 90− \alpha. Note
that \Delta OAB is isosceles. So \angle OAB = \angle OBA = 90^{\circ} −
\alpha,\angle AOB = 180^{\circ} −2(90^{\circ} −\alpha) = 2\alpha. And
\angle APB=\angle AOB/2=\alpha. So done.
Olympiad Problems
Let ABC be a triangle. Let I be the Incenter of ABC and S be the
midpoint of arc BAC. Define IA as the A-excenter wrt ABC. Define
\omega to be the circle centred at S with radius SB. Let AI_A \cap
\omega = X, Y. Show that \angle BCX = \angle ACY.
Note that\angle AYC=\angle XYC=\angle XBC.And we have\angle
BXC=180-\frac{BSC}{2} = 180 - \frac{A}{2}.And note that X-A-Y is the angle
bisector of \angle BAC. So\angle YAC=180-\frac{A}{2}.So we get
that\Delta BXC\sim\Delta YAC\implies \angle BCX=\angle ACY.
Let ABC be a triangle. The incircle of ABC has center I and is tangent
to AB and AC at D and E respectively. Let O denote the circumcenter
of BCI. Prove that \angle ODB = \angle OEC.
Note that A,I,O are collinear. Now \triangle ADO \cong \triangle AEO
\implies \angle ODB = \angle OEC
Let ABCD be a convex quadrilateral inscribed in a circle and satisfying DA
< AB = BC < CD. Points E and F are chosen on sides CD and AB such
that BE \perp AC and EF \parallel BC. Prove that FB = FD.
Let P = AC \cap BE. Since \triangle{ABC} is isosceles we know that P is
the mid point of AC. Let \angle{CBE} = \angle{ABE} = \alpha. We also know
that \angle{BCA} = \angle{BAC} = 90 - \alpha. By parallel lines we know that
\angle{FEB} = \alpha. Hence \triangle{FEB} is isosceles or FB = FE. Let
\angle{DCA} = \angle{DBA} = \theta. By parallel lines we see that
\angle{DEF} = 90 - \alpha + \theta. Since EP \perp AC and P is the
midpoint of AC as previously stated, we know that \triangle{AEC} is
isosceles or \angle{EAC} = \angle{ECA} = \theta. Note that AFED is cyclic
due to\angle{AFE} + \angle{ADE} = 180 - \angle{BFE} + 180 - \angle{ABC} =
180 - (180 - 2\alpha) + 180 - 2\alpha = 180.Hence we know that \angle{FAE}
= \angle{FAC} + \angle{CAE} = 90 - \alpha + \theta = \angle{FDE} meaning that
\angle{FDE} = \angle{FED} or \triangle{FED} is isosceles. Therefore we
know that FE = FD. Previously we found that FB = FE, thus we get FB = FE
as desired.
Two circles G_1 and G_2 intersect at two points M and N. Let AB be
the line tangent to these circles at A and B, respectively, so that M
lies closer to AB than N. Let CD be the line parallel to AB and
passing through the point M, with C on G_1 and D on G_2. Lines AC
and BD meet at E; lines AN and CD meet at P; lines BN and CD
meet at Q. Show that EP = EQ.
Let MN\cap AB=P \implies M is midpoint of PQ. It is enough to show that
EM\cap CD or show that EM\cap AB. Note that \angle ACM=\angle,~~\angle
EAB=\angle ECD. So EAMB is kite. And we are done.
Let ABC be a triangle. Circle \Gamma passes through A, meets segments
AB and AC again at points D and E respectively, and intersects segment
BC at F and G such that F lies between B and G. The tangent to
circle BDF at F and the tangent to circle CEG at G meet at point T.
Suppose that points A and T are distinct. Prove that line AT is parallel
to BC.
Redefine T such that T\in (ABC) and AT||BC.
TF tangent to (BDF).
Note that is enough to show that 180-\angle BDF=\angle BFT. But note
that\angle BDF=\angle TFG=\angle FTA.
Similarly, we get that TG is tangent to (EGC). And we are done.
Two circles \omega_1 and \omega_2, of equal radius intersect at different
points X_1 and X_2. Consider a circle \omega externally tangent to
\omega_1 at T_1 and internally tangent to \omega_2 at point T_2. Prove
that lines X_1T_1 and X_2T_2 intersect at a point lying on \omega.
Note that the composition of homotheties gives us \omega_1 \xrightarrow{T_1}
\omega \xrightarrow{T_2} \omega_2. Moreover, since the product of scales are
-1 ( not 1, else it will be a transformation), so the composition is a
homothety. But the homothety taking \omega_1\rightarrow \omega_2 is simply
1 or -1 ratio as the radius is the same and the centre lies on O_1O_2.
But ratio 1 is absurd. Hence,the ratio is -1 with the centre of the
homothety being the midpoint of X_1X_2,O_1O_2. Let M be the midpoint of
O_1O_2,X_1X_2. So note that\omega_1\xrightarrow{O} \omega_2=\omega_1
\xrightarrow{T_1} \omega \xrightarrow{T_2} \omega_2.But the homothety
\omega_1\xrightarrow{O} \omega_2 takes X_1\rightarrow X_2. Now, we
consider the homothety \omega_1 \xrightarrow{T_1} \omega \xrightarrow{T_2}
\omega_2, this takesX_1\rightarrow X_1T_1\cap \omega \text { say } A
\rightarrow AT_2\cap \omega_2.But we should have AT_2\cap \omega_2=X_2. So
T_2-A-X_2. And we are done!
Let ABC be a triangle with circumcentre O. The points D,E,F lie in the
interiors of the sides BC,CA,AB respectively, such that DE is
perpendicular to CO and DF is perpendicular to BO. (By interior we mean,
for example, that the point D lies on the line BC and D is between B
and C on that line.) Let K be the circumcentre of triangle AFE. Prove
that the lines DK and BC are perpendicular.
Note that \angle FKE=2\angle A and\angle OBC=\angle OCB=90-\angle
A\implies \angle FDB=\angle EDC=A\implies \angle FDE=180-2\angle A\implies
KFDE \text{ cyclic}. AsKF=KE\implies \angle KEF=90-A\implies \angle
KDF=90-A\implies \angle KDB=\angle KDF+\angle FDB=90\implies KD\perp
BC.And we are done.
Let ABC be an acute-angled triangle with AB\le AC. Let \Omega be the
circumcircle of ABC. Let S be the midpoint of the arc CB of \Omega
containing A. The perpendicular from A to BC meets BS at D and meets
\Omega again at E \neq A. The line through D parallel to BC meets line
BE at L. Denote the circumcircle of triangle BDL by \omega. Let
\omega meet \Omega again at P \neq B. Prove that the line tangent to
\omega at P meets line BS on the internal angle bisector of \angle
BAC.
Define A' as the antipode of A. And redefine P=A'D\cap (ABC). Define
L=SP\cap (PDB).
L-B-E collinear
Note that \angle SCA=\angle SCB-\angle ACB=90-A/2-C. So \angle
SPA=90-A/2-C\implies \angle SPA'=90-(90-A/2-C)=A/2+C\implies \angle
LBD=A/2+C\implies \angle LBD=A/2+C. By angle chase, \angle
DBC=90-A/2,\angle EBC=90-C. So E-B-L collinear.
LD||BC
Define F as midpoint of arc BC not containing A. Now define X=PP\cap
AF. Define O as the circumcenter of (ABC). We know that \angle
EBC=90-C,\angle ELD=\angle BLD=\angle BPD=\angle BPA'=\angle BAO=90-C. So
LD||BC.
PXOF is cyclic
Let \angle PAB=\theta. So \angle PSB=\theta and \angle PSF=\theta+A/2.
So \angle POF=2\theta+A. And \angle PXF=\angle PAX+\angle APX. But
\angle PAX=\theta+A/2. And \angle APX=\angle APS+\angle SPX=\angle
ACS+\angle SPX=90-A/2-C+\angle SPX. So to show cyclicity, we need to show
that 2\theta+A=\angle PXF=90+\theta-C+\angle SPX. Or enough to show
\angle SPX=\theta+A-90+C. But \angle SPX=\angle SPB-\angle XPB
=\angle SAB-\angle XPD-\angle DPB= 90+A/2-\angle DBP-\angle DLB
=90+A/2-\angle DLP-(90-C) =C+A/2-\angle DLP as SF||AD,BC||LD,
AD\perp BC we get C+A/2-\angle DLP=C+A/2-(90-A/2-\theta)=C+A-90+\theta.
And so we get PXOF is cyclic.
XA=XP
Note that \angle XPA=\angle PXF-\angle
PAX=2\theta+A-\theta-A/2=\theta+A/2. So \angle XPA=\angle XAP. And hence
the claim. But XA^2=XP^2=XD\cdot XB. So XA is tangent to (DBA).
Hence \angle ABD=\angle DAS=\angle DAF=\angle AFS=\angle ABS.
And hence we get B-X-S collinear. And we are done!
Let H be the orthocenter of an acute-angled triangle ABC. The circle
\Gamma_{A} centered at the midpoint of BC and passing through H
intersects the sideline BC at points A_{1} and A_{2}. Similarly,
define the points B_{1}, B_{2}, C_{1} and C_{2}. Prove that the
six points A_{1}, A_{2}, B_{1}, B_{2}, C_{1} and C_{2} are
concyclic.
A_1A_2C_1C-2 is cyclic
Note that H lies on the radical axis of (C_1C_2) and (A_1A_2).
Moreover, we know that BH is perpendicular to line joining the centre. So
BC_2\cdot BC_1=BA_1\cdot BA_2\implies A_1A_2C_1C_2 cyclic.
Similarly, we get A_1A_2B_1B_2 and B_1B_2C_1C_2 cyclic. If these three
circles are not the same then, consider the pairwise radical axis which should
concur( but they don't).
Rectangles BCC_1B_2, CAA_1C_2, and ABB_1A_2 are erected outside an acute
triangle ABC. Suppose that\angle BC_1C+\angle CA_1A+\angle
AB_1B=180^{\circ}.Prove that lines B_1C_2, C_1A_2, and A_1B_2 are
concurrent.
Circumcircles of B_1A_2AB, AA_1C_2C, and BCC_1B_2 mutually intersect at
some point P.
Let P be (BCC_1B_2)\cap (CAA_2C_2). Note that \angle
AB_1B=180^\circ-(\angle BC_1C+\angle CA_1A) =\angle BPC+\angle
APC-180^\circ=180^\circ - \angle APB
Lines B_1C_2, C_1A_2, and A_1B_2 concur at P.
But \angle A_2PB=\angle BPC_1=90^\circ.
So done!
Let \triangle ABC be an acute-angled triangle, and let D be the foot of
the altitude from C. The angle bisector of \angle ABC intersects CD at
E and meets the circumcircle \omega of triangle \triangle ADE again at
F. If \angle ADF = 45^{\circ}, show that CF is tangent to \omega .
Note that \angle FDE=45. As F lies on the angle bisector and FD is the
external bisector of \angle CDB, we get that F is the B- excenter of
\Delta CDB. Note thatFCD=\frac{180-(\angle DCB)}{2}=\frac{180-90+\angle
B}{2}=45+\frac{\angle B}{2}and\angle AED=180-\angle FEA-\angle
DEB=180-45-90+\frac{\angle B}{2}=45+ \frac{\angle B}{2}\implies CF||AF
So\angle FEA=\angle FAE=\angle AFX, X\in \overrightarrow{ CF}.
Let ABC be a triangle inscribed in circle \omega centered at O. Let H
be the orthocenter of \triangle ABC. Let Q be a point on \omega such
that \angle AQH = 90^\circ. Let N be the nine point center of \triangle
QBC. Show that HO= 2 HN.
Let the orthocentre of QBC be J. Let L be the N_9 center of ABC. Let
M be the midpoint of BC. Note that Q-H-M
AQJH is a parallelogram \implies QM\perp NL
Note that NL||HJ. Note that AH\perp BC,QJ\perp BC\implies AH||QJ,
AH=2R\cos (A)=QJ\implies AQJH\text{ is a parallelogram }.
MN=ML
As the radius of nine point circle is 1/2 radius of the circumcircle, but
(QBC)=(ABC).
So Q-H-M is the perpendicular bisector of NL. Hence HN=HL\implies
HO=2HN.
Let ABC be an acute triangle with orthocenter H. Let G be the point such
that the quadrilateral ABGH is a parallelogram. Let I be the point on the
line GH such that AC bisects HI. Suppose that the line AC intersects
the circumcircle of the triangle GCI at C and J. Prove that IJ = AH.
GBHC cyclic
Note that HC\perp HG as HC\perp AB. And GB\perp BC as AH\perp BC. So
GBHC cyclic.
Note that\angle HBG=\angle HBC+\angle CBG=90-C+90=180-C\implies \angle
HCG=C\implies 90-C=\angle IGC=\angle IJC.But\angle IA'A=\angle
A'AH=90-C\implies IJ=IA'=AH.
Let ABC be an isosceles triangle with BC=CA, and let D be a point inside
side AB such that AD\le DB. Let P and Q be two points inside sides
BC and CA, respectively, such that \angle DPB = \angle DQA = 90^{\circ}.
Let the perpendicular bisector of PQ meet line segment CQ at E, and let
the circumcircles of triangles ABC and CPQ meet again at point F,
different from C. Suppose that P, E, F are collinear. Prove that
\angle ACB = 90^{\circ}
Let N be the midpoint of AB, M be the midpoint of PQ. Note
that\angle CND=90\implies N\in (CPDQF). Also, CN is the angle bisector
\angle BCA \implies CN is the angle bisector of \angle PCQ\implies
NP=NQ\implies C-M-E. But\angle PNC=\angle CQP=\angle FPQ=\angle FNQ.So
\triangle PNC \cong \triangle FNQ \implies M\in perpendicular bisector of
CF. So M is the circumcentre of (ACB) as perpendicular bisector of AB
and CF concur at M.
Diagonals {AC} and {BD} of convex quadrilateral ABCD meet at P. Prove
that the incenters of the triangles \triangle PAB, \triangle PBC,
\triangle PCD, \triangle PDA are concyclic if and only if their
P-excenters are also concyclic.
Note that AI_A\cdot AJ_A=AB\cdot AC. We then use POP PA\cdot PB=PI_1\cdot
PJ_1 and we do it cyclically. Doing manipulations, we get that
\frac{(PI_2\cdot PE_2)(PI_4\cdot PE_4)}{(PI_1\cdot PE_1)(PI_3\cdot PE_3)}=1
And then we take POP on P in concyclicity etc.
Let \Gamma be the circumcircle of acute triangle ABC. Points D and E
are on segments AB and AC respectively such that AD = AE. The
perpendicular bisectors of BD and CE intersect minor arcs AB and AC of
\Gamma at points F and G respectively. Prove that lines DE and FG
are either parallel or they are the same line.
Define Q=GE\cap (ABC),P=DF\cap (ABC)
Q\in (ADE)
Note that\angle AQE=\angle AQG=\angle GCA=\angle GCE=\angle GEC=\angle
AEQ.
Hence, if D is the midpoint of major arc BC, note that A-I-D and D is
the centre of (BIC). Note that by triangle inequality we haveAD\le
AP+PD\implies AI+ID\le AP+PD\implies AI\le AP.
Define Z=(BWX)\cap (CWY)
X-Z-Y collinear
As XW is the diameter, we have \angle XZW=90, similarly, we have \angle
WZY=90
Z\in (ANHM)
Note that Z is the miquel point. So Z\in (ANM), But H\in (ANM)\implies
(ANHMZ) is cyclic.
Note that NMCB is cyclic
Z\in AW
Note that\angle NZW=180-\angle NBW=\angle NMC=180-\angle NMA=180-\angle
NZA.
Now, note that\angle XZW=\angle HZA=90\implies H\in X-Z-Y.
Your blog post about geometry problems was a delightful read! As someone who has always dreamt of being a math teacher, I found your approach to presenting these problems both engaging and inspiring. Geometry has a unique way of enhancing critical thinking, and the problems you shared are perfect examples of how math can be both challenging and fun. In my dream job as a math teacher, I envision creating a classroom environment that mirrors the enthusiasm and curiosity you've embedded in your blog.
ReplyDeleteCool problems! And thanks for inspiring me to start my own blog!!
ReplyDelete