352 塞尔维亚2016 P3(证明两圆相切)

在三角形ABC中O是它的外心, 一条直线与三角形BOC的外接圆相切, 设这条直线分别交AB, AC于D, E. 设A'是A关于DE的反射, 证明: 三角形A'DE的外接圆与三角形ABC的外接圆相切.
AOPS地址: http://www.artofproblemsolving.com/community/u277687h1220645p6159602
感觉吧里挺冷清的, 难道都在上学吗, 虽然我也是学生.
没用的提示: 找到关键的切点就可以了, 本渣一开始猜错切点, 瞎折腾了好久.