注：非最简洁解法。 看后面。
====================

@robingt4805

试了下之前正面证明时候搁置的导角路线，行得通，而且证明更加简单。

这个题，我之前做的时候不应该先搁置导角的。以为行不通，所以放弃了。
回头看，对称性+垂直+等腰三角+等边，应该先导一下角的。



--
修改:alanju FROM 112.94.102.*
FROM 112.94.102.*