Condition where one root is the square of the other