全等三角形证明题(中等难度)