已知:P是正方形ABCD对角线BD上一点,PE⊥DC,PF⊥BC,E、F分别为垂足.
求证:AP=EF.
证明:如图,连接PC,
∵PE⊥DC,PF⊥BC,四边形ABCD是正方形,
∴∠PEC=∠PFC=∠ECF=90°,
∴四边形PECF为矩形,
∴PC=EF,
又∵P为BD上任意一点,
∴PA、PC关于BD对称,
可以得出,PA=PC,所以EF=AP.
( )
19世纪70年代开始,洋务派创办了一批近代民用企业,其中汉阳铁厂的创办人是( )