
0" alt="D=p^2-4*1*(p-4)=p^2-4p+16=p^2-4p+4+12=(p-2)^2+12>0" align="absmiddle" class="latex-formula">
так как квадрат любого действительного выражения неотрицателен, 12 - положительное выражение, сумма неотрицательного и положительного - выражение положительное
дискриминант неотрицателен при любом р, следовательно при любом значении р заданное уравнение имеет 2 корня.
Доказано