![image](https://tex.z-dn.net/?f=D%3Dp%5E2-4%2A1%2A%28p-4%29%3Dp%5E2-4p%2B16%3Dp%5E2-4p%2B4%2B12%3D%28p-2%29%5E2%2B12%3E0)
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 корня.
Доказано