
Triangle

has a right angle at

Let

be the point on line

such that

and

lies between

and

Point

is chosen so that

and

is the bisector of

Point

is chosen so that

and

is the bisector of

Let

be the midpoint of

Let

be the point such that

is a parallelogram. Prove that

and

are concurrent.

Let

Then

so

Thus

lies on

is the circumcenter of

Let's consider the circle

centered at

and containing the points

and

If

is outside the circle, then

if

is inside the circle, then

But with the given conditions, we have

which means that

is on

So,
Let

Observe that

so

is a cyclic quadrilateral with center

since

is a diameter and

is its midpoint
.
Therefore

Note that we also have

so

is an isosceles trapezoid. Since

is an angle-bisector,

is an angle-bisector, too


is a cyclic quadrilateral.

Because

Since

is a cyclic quadrilateral with center

it follows that

From isosceles

and parallelogram

is a cyclic quadrilateral with circumcenter

Notice that it's also a parallelogram, thus is an isoscelec trapezoid. It's easy to see that

Also from the cyclic quadrilateral

and the isosceles triangle

Therefore,

so, it follows that

is a cyclic quadrilateral. Then

Combining

and

we obtain that

is a cyclic quadrilateral.
The last step: The cyclic quadrilateral

gives

(because of

). Comparing this fact with

we conclude that the points

and

are collinear, as desired.

This post has been edited 41 times. Last edited by henderson, Feb 3, 2017, 8:14 PM