如图ad是rt三角形abc斜边bc上的高DE垂直DF