Анализ правильности алгоритмов - часть 3
= (-b2 + D)/(4×a) + с = (-b2 + b2 - 4×а×с)/(4×а) + с = -4×а×с/(4×а) + с = 0.
Аналогичные результаты получаются и при подстановке формулы второго корня
х2
= (-b -

Однако саму постановку задачи необходимо дополнить условием: b2
- 4×а×с ³ 0. При нарушении этого условия не только уравнение не имеет решений, но и метод решения также не дает результатов из-за необходимости вычисления корней от отрицательного дискриминанта: D < 0.
В силу выбранного метода решения и принятой постановки алгоритм решения квадратных уравнений приобретает следующий вид:
алг «квадратное уравнение» Результаты вычислений
нач

D: = b*b - 4*а*с D = b2 - 4×а×с

х1:
= (-b +

х2:
= (-b -

все


х 1: = -c/b xl = -c/b
все
кон
Результаты выполнения алгоритма приведены справа. Можно заметить, что результаты выполнения совпадают с описанием выбранного метода решения с помощью дискриминанта. Это позволяет утверждать, что алгоритм - правильный.
Алгоритм содержит ошибки, если можно указать допустимые исходные данные, при которых либо будут получены неправильные результаты, либо результаты не будут получены вовсе.