证明步骤
几何图形
图例说明
三角形ABC（已知三角形）
三角形DEF（待证全等三角形）
相等的边（AB=DE, AC=DF）
相等的夹角（∠BAC=∠EDF）
重合验证线段