∵(已知)
∴∠DBC= ▲ (垂直的定义)
∴∠DBC= ▲ (等量代换)
∴ ▲ ( )
∴∠1= ▲ ( )
由作图法可知:直线EF是线段DB的 ▲
∴GD= ▲ (线段垂直平分线上的点到这条线段两个端点的距离相等)
∴∠1=∠D(等腰三角形的两个底角相等)
∴∠A=∠D(等量代换)