En este documento, al transformar el sistema dado sobredeterminado en un sistema cuadrado, demostramos una condición necesaria y suficiente para certificar los ceros reales simples del sistema sobredeterminado al certificar los ceros reales simples del sistema cuadrado. Después de certificar un cero real simple del sistema cuadrado relacionado con los métodos de intervalo, afirmamos que el cero certificado es un mínimo local de la suma de cuadrados de los polinomios de entrada. Si el valor de la suma de cuadrados de los polinomios de entrada en el cero certificado es igual a cero, es un cero del sistema de entrada. Como aplicación, también consideramos la verificación heurística de ceros aislados de sistemas de polinomios y sus estructuras de multiplicidad.