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