y descríbase el círculo DEF con centro en "A" y radio "AD" (por el tercer postulado)