在三角形ABC中，Q是任意一点，K是陪位重心，以Q为中心的内切二次曲线切BC,CA,AB于点D,E,F，设H是三角形DEF的垂心，J是H关于三角形ABC的等角共轭点的等截补点，P是点Q关于三角形ABC的等角共轭点
证明：J,P,K共线

设X的赛瓦三角形为图中DEF；三角形ABC外心O
用 c,a,t,g分别表示补点，反补点，等截共轭，等角共轭
引理1：H , O , g(cyclocevian conjugate(X))共线
引理2：ctgO = K （熟知）
引理3：tagct (cyclocevian conjugate(X)) = X （熟知）
引理4：Q = ctX （熟知）
_
因此 P=gQ=gctX=gcttagct(cyclocevian conjugate(X))
=gcagct(cyclocevian conjugate(X))
=ggct(cyclocevian conjugate(X))
=ct(cyclocevian conjugate(X))
=ctg (g(cyclocevian conjugate(X))
故对引理1的直线取ctg即证
_
引理1是做吧内513（禁书93）的时候发现的，好像没证出来

Proof to Lemma 1 from TelvCohl