当DE平分∠CDB时求证AF=根号2OA