全等就那几种
边角边 角边角 边边边 斜边直角边，挨个试试，不过这个既然是证明边相等，估计边边边不行了
【 在 QFD 的大作中提到: 】
: 看上去应该是，主要是证明部分卡住了
--
FROM 219.236.0.18