Si un numero elevado al cuadrado da positivo, '¿por qué habría que colocar la ultima condición?

No es un error es sólo otra forma de resolver el problema. Si el número es negativo respuesta**2 >= epsilon por lo que entraría en el primer if (devolviendo no se encontro la raiz cuadrada)

josueNoha, no puedes calcular las raices de un numero negativo, ahi en su analisis David tiene un error. De hecho deberia ir un fi antes del while para validar que no sea negativo y si lo fuera que no se pueden calcular sus raices, al menos no real

Gracias

Porque lo que elevas al cuadrado es la respuesta. Si objetivo fuese negativo (respuesta ** 2 -objetivo) siempre seria mayor que epsilon (estaríamos sumando el valor absoluto de objetivo) y el loop se haría infinito