几何模版：构造全等三角形证明线段相等