延长TK交圆（ABC）于M，易证E，F为△TMA等角共轭点，倒角易证角BEM=角CFM，故可在TM上作S满足BEMS共圆CFMS共圆，倒角易证SE平行BJ，SF平行CJ，EDFS共圆
现即证S，K为同一点，即证JSD共线
设SE交BD于Y，SF交CD于X，结合圆BEM与圆CFM为等圆以及EB=ED，FC=FD
由三角法易证DY/YB=DX/XC，简单说明J必在DS，即JSD共线，S，K为同一点