Isogonal Line Lemma (updated)
by utkarshgupta, Jan 5, 2016, 7:14 AM
So I happened to stumble upon this lemma while solving a problem.
I know I should have used a diagram to prevent configuration thing but I don't really know how to use geogebra.
if someone can provide the diagram.
Lemma :
Let
and
be two pairs of isogonal lines with respect to
.
Let
and
.
Then
are isogonal line with respect to 
Proof
Now let us solve some problems using this lemma.
Problem 1 (India Postals 2015 Set 2) :
Let
be a convex quadrilateral. In the triangle
let
and
be the incenter and the excenter opposite the vertex
, respectively. In the triangle
let
and
be the incenter and the excenter opposite the vertex
, respectively. Show that the lines
and
, and the bisector of the angle
are concurrent.
Solution
Problem 2 (USAMO 2008} :
Let
be an acute, scalene triangle, and let
,
, and
be the midpoints of
,
, and
, respectively. Let the perpendicular bisectors of
and
intersect ray
in points
and
respectively, and let lines
and
intersect in point
, inside of triangle
. Prove that points
,
,
, and
all lie on one circle.
Solution
Problem
(China TST 2002) (Generalization of INMO 2003) :
Let
and
be the intersections of opposite sides of a convex quadrilateral
. The two diagonals meet at
. Let
be the foot of the perpendicular from
to
. Show that
.
Solution
Problem
(Iran TST 2015)
is the altitude of triangle
and
is the reflection of
trough the midpoint of
. If the tangent lines to the circumcircle of
at
and
, intersect each other at
and the perpendicular line to
at
, intersects
and
at
and
respectively, prove that
.
Solution
Problem
(Tournament of Towns Spring Senior A 2006)(given by Anant Mudgal)
In triangle
, let
be the bisector, and let
be any point on
and let
meet
again at
. Let
meet
at
and
meet
at
. Prove that
.
Solution
I know I should have used a diagram to prevent configuration thing but I don't really know how to use geogebra.
if someone can provide the diagram.
Lemma :
Let



Let


Then


Proof
Without loss of generality let
intersect
in
respectively.
Considering the perspectivity that sends line
(
is the centre of perspectivity).

Now using the property of cross ratio w.r.t point
.
Let
Using the cross ratios,


(configuration matters here)

our lemma.



Considering the perspectivity that sends line



Now using the property of cross ratio w.r.t point

Let

Using the cross ratios,





Now let us solve some problems using this lemma.
Problem 1 (India Postals 2015 Set 2) :
Let












Solution
To be updated.
Problem 2 (USAMO 2008} :
Let




















Solution
The problem can be reduced to showing that
is the symmedian of
that is the isogonal conjugate of the median.
So here is the construction as goes.
Let
and perpendicular to
at
intersect
and let
and perpendicular to
at
intersect at
.
Then we have
as conjugate lines (obviously).
Also
is the midpoint of
.
.
Similarly
are obviously isogonal conjugates w.r.t
.
Using our lemma on the pairs
and
,

And since
, we have they meet in infinty at a common point.
are isogonal conjugates.
is the symmedian.
QED


So here is the construction as goes.
Let








Then we have

Also



Similarly



Using our lemma on the pairs



And since



QED
Problem

Let








Solution
Let 
Then, since
is a harmonic pencil, so is
that is 
Since
is the angle bisector of 
Consider
and
are isogonal lines with respect to
.
By our lemma,
since
and
,
are isogonal lines with respect to 
i.e.

Then, since



Since



Consider




By our lemma,
since




i.e.

Problem

















Solution
Let the projection of
on
be
.
Now we observe that
Also obviously,
Thus we have
Since
are concyclic,
Thus angle
That is,
and
are isogonal lines with respect to 
By our lemma,
(
,
),
and
are also a pair of isogonal lines with respect to 
Thus
hence proved.



Now we observe that

Also obviously,

Thus we have

Since

Thus angle

That is,



By our lemma,
(





Thus

hence proved.
Problem

In triangle














Solution
Trivial by the lemma.
This post has been edited 3 times. Last edited by utkarshgupta, Mar 4, 2016, 12:38 PM