证明:∵∠1=∠ACB(已知)
∴DE∥BC( ▲ )
∴∠2= ▲ ( ▲ )
∵∠2=∠3(已知)
∴∠3= ▲ (等量代换)
∴CD∥FH( ▲ )
∴∠BDC=∠BHF( ▲ )
又∵FH⊥AB(已知)
∴ ▲