Em um triângulo ABC, ∠BAC=90∘. O ponto D está no lado BC e satisfaz ∠BDA=2∠BAD. Prove que AD2=BD1+CD1