== Погрешность предиката "левый поворот" ==
{{TODO=== Постановка задачи ===Найти <tex> \varepsilon(a, b, c) = \varepsilon: |(b - a) \times (c - a)| > \varepsilon \Rightarrow a, b, c </tex> не лежат на одной прямой. === Решение ===Рассмотрим формулу: <tex> (b_x - a_x)(c_y - a_y) + (b_y - a_y)(c_x - a_x) </tex>. <br>Относительная погрешность <tex> \delta(|b_x - a_x|) = \delta(|c_y - a_y|) = \delta(|b_y - a_y|) = \delta(|c_x - a_x|) = \varepsilon_m </tex>, где <tex> \varepsilon_m </tex> - машинная эпсилон. <br>Тогда относительная погрешность <tex> \delta(|b_x - a_x||c_y - a_y| t) =Вывести}}\delta(|b_y - a_y||c_x - a_x|) = 2 \varepsilon_m </tex>. <br>Таким образом, абсолютная погрешность предиката: <br><tex> \varepsilon = |b_x - a_x||c_y - a_y| \delta(|b_x - a_x||c_y - a_y|) + |b_y - a_y||c_x - a_x| \delta(|b_y - a_y||c_x - a_x|) = </tex><br><tex dpi="180"> = 2 \varepsilon_m (|b_x - a_x||c_y - a_y| + |b_y - a_y||c_x - a_x|) </tex>
== Ссылки ==
