用垂心的性质证明2020乌克兰雅辛斯基几何奥林匹克第4题

巧用垂心性质找出切点，证明两圆相切问题。