Let A (a) B (b) C (c) be on the unit circle

H (a+b+c) the orthocenter

𝑎+2𝑏+𝑐
M( ) the midpoint of BH
2
1
D ( (a+b+c-bc𝑎̅) ) the projection of A on BC
2
1
F ( 2(a+b+c-ab𝑐̅) ) the projection of C on AB

K (k) the intersection of the 2 circles (ABH) and (AFC). We need to prove that A, M, K are
collinear.

By the intersection circle formula

𝑏𝑑−ℎ𝑓
K = 𝑏+𝑑−ℎ−𝑓

1 𝑏²𝑐
bd = 2( ab+b²+bc - 𝑎
)

1 𝑎²𝑏 𝑎𝑏²
-hf = 2( 𝑐
+ 𝑐
- a²-b²-c²-ab-2bc-2ac)

1 𝑎 2 𝑏(𝑎+𝑏)−𝑎𝑐(𝑎+𝑐)2 −𝑏𝑐²(𝑎−𝑏)
Bd-hf = 2 𝑎𝑐

1 (𝑎+𝑐)(𝑎𝑏(𝑎−𝑐)+𝑏2 (𝑎−𝑐)−𝑎𝑐(𝑎−𝑐))
=2 𝑎𝑐
1 𝑎𝑏 𝑏𝑐
B+d-h-f =b+2( 𝑐 - 𝑎 )-(a+b+c)
1 (𝑎+𝑐)(−2𝑎𝑐+𝑏𝑎−𝑏𝑐)
=2 𝑎𝑐
 𝑏𝑑−ℎ𝑓
So K=
𝑏+𝑑−ℎ−𝑓

𝑎 2 𝑏−𝑎𝑏𝑐+𝑏𝑎 2 −𝑏2 𝑐−𝑎 2 𝑐−𝑎𝑐²

=
−2𝑎𝑐+𝑏𝑎−𝑏𝑐

𝑎 2 𝑏−𝑎𝑏𝑐+𝑏𝑎 2 −𝑏2𝑐−𝑎 2 𝑐−𝑎𝑐 2 +𝑏𝑐²

K-c= −2𝑎𝑐+𝑏𝑎−𝑏𝑐

𝑎+2𝑏+𝑐
m-c=
2
𝑘−𝑐
Let put Y = 𝑚−𝑐

Y=𝑌̅↔K M C are collinear

̅̅̅̅̅̅̅̅̅
𝑎+2𝑏−𝑐 1 𝑎𝑏−𝑏𝑐−2𝑎𝑐
𝑚−𝑐=
̅̅̅̅̅̅̅̅ 2
=-2 𝑎𝑏𝑐
−1
Also ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
−2𝑎𝑐 + 𝑏𝑎 − 𝑏𝑐 = 𝑎𝑏𝑐(a+2b-c)

And
𝑎 2 𝑏−2𝑎𝑏𝑐+𝑏 2 𝑎−𝑏 2 𝑐−𝑎2 𝑐+𝑎𝑐 2 +𝑏𝑐²
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
a²b − 2abc + b²a − b²c − a²c + a²c + bc² = 𝑎²𝑏²𝑐²

Therefore:

Y=𝑌̅ Furthermore K, M and C are collinear.