Para que o trinômio y=ax2+bx+c admita um valor máximo e tenha raízes de sinais contrários, deve-se ter: