AD是直角△ABC斜边上的高,DE垂直DF,且DE和DF分别交AB,AC於E,F,求证:AF/AD=BE/BD