三角形ABC中,角C等于90度,AD是三角形ABC的角平分线,DE垂直AB于E,AD等于BD,求证