括号里面，我写的作图法(为了不用同一法)，有严谨性问题。
具体来说，后面计算角度的具体形式，跟形状相关。

思路里面是用同一法。即两个旋转后，是转到同一条线段。




【 在 wbgw 的大作中提到: 】
: 我很弱，看之前的证明过程觉得逻辑上没问题，没看出来需要分类讨论。我再研究一下
--
FROM 112.96.166.*