CD是Rt三角形ABC斜边上的高,DE垂直BC于E,求证AC/BD=CD/BE