证明：用直尺和圆规过点 A 作 BC 的垂线 AD 交 BC 于点 D．(只保留作图痕迹)
在△ADC 和△CFA 中，
∵AD⊥BC
∴∠ADC=90° .
∴∠F= 90°，
∴ ①
∵EF∥ BC，
∴ ②
又∵ ③
∴△ADC≌△CFA (AAS).
同理可得： ④
.
