by BartSimpsons, Feb 11, 2018, 2:17 PM
The following problem was discovered by pro_4_ever some time ago.
Problem. In

let
,
and

be squares erected externally on the sides

and

respectively. Let

be the midpoint of

and define

and

similarly. Prove that

and

are concurrent.
SolutionWe claim that

is an isosceles right triangle. Let

be the point above

such that

is an isosceles right triangle.
Let

be the midpoint of

and let

and

be the feet of altitude from

and

onto

respectively.
Note that

and
.
Thus we have

and

Since

is the midpoint of
, it is also the midpoint of
.
Since

is right, we have
.
Thus in the trapezoid
, we have

and
.
Therefore

is the midpoint of

which implies
.
Thus by Jacobi's theorem the lines

and

are concurrent.
There are several other solutions to the above problem one of which includes complex numbers.
Here's more information on
Jacobi's Theorem.
In

let

and

be points in its plane such that
, 
and
. Then the lines

and

are concurrent.
Let the points

and

be such that
,
and
.
Then

is the radical axis of

and
, 
is the radical axis of

and

and

is the radical axis of

and
.
Thus by the radical axis theorem on
, the lines

are concurrent.
Alternatively a solution using trigonometric version of Ceva is also possible.
This post has been edited 4 times. Last edited by pro_4_ever, Mar 1, 2018, 1:34 PM