$Bài 4$ ta thu về bài toán sau cho tam giác $ABC$ trực tâm $H$ hình chiếu từ $A,B,C$ là $D,E,F$ khi đó tồn tại 1 đường tròn (J) tiếp xúc ngoài với 3 đường tròn bàng tiếp tâm $A,B,C$
thật vậy khi đó gọi tiếp điểm 3 đường tròn tâm $A$,$B$,$C$ lần lượt là M,P,N thì áp dụng định lý monge cho 3 đường tròn $(A),(B),(J)$ ta có $MP,AB,ED$ đồng quy, tương tự thì thu về giao 3 đoạn $(DE,AB),(DF,AC),(EF,BC)$ đồng quy vậy áp dụng dersagues ta có $DM,EP,FN$ đồng quy
thật vậy xét phép nghịch đảo cực $H$ phương tích $HA.HB$ ta thu về Chứng minh tồn tại 1 đường tròn tiếp xúc $(HAB),(HAC),(HBC)$ thật vậy nghịch đảo cực $A$ phương tích $AH.AD$ ta có $(HBC)$ là euler,$(HAB),(HAC)$ là $DE,DF$ vậy có đường tròn tiếp xúc ngoài $DE,DF$,euler nên nghịch đảo lại ta có đường tròn tiếp xúc $(HAB),(HAC),(HBC)$ và nằm trong (dpcm)