Prima tipologia canonica: la radice è al primo membro e deve essere minore di un’espressione senza radicale, A(x)B(x)\sqrt{A(x)}\le B(x). Poiché una radice è sempre 0\ge 0, il secondo membro è costretto a essere non negativo: da qui nasce il sistema di tre condizioni che risolve questo caso.