Изменения

Пусть <tex> t = (|(b_x - a_x) (c_y - a_y)| + |(b_y - a_y) (c_x - a_x)|).</tex> Получаем, что

<tex> \epsilon t = (|r_1(b_x - a_x)(y_2 - a_y)| + |v r_2(b_x - a_x)(y_1 - \tilde{v}a_y)| + | \leq t \cdot r_1(b_y - a_y)(4 \varepsilon_m x_2 - a_x)| + 6 \varepsilon_m^2 + 4 \varepsilon_m^3 + \varepsilon_m^4|r_2(b_y - a_y)(x_1 - a_x)|). </tex>

Получаем, что <tex>\tilde {t} epsilon = (|(b_x k - a_x) (c_y - a_y) (1 + \delta_1) (1 + \delta_2) (1 + \delta_3)tilde{k}| + \leq t \+ |(b_y - a_y) (c_x - a_x) cdot (1 + 6\delta_4) (1 + \delta_5) (1 varepsilon_m + \delta_6)|) (1 + \delta_7) \geq \\\geq |(b_x - a_x) (c_y - a_y) (1 - 15\varepsilon_m)^3)|(1 - \varepsilon_m) 2 + \\+ |(b_y - a_y) (c_x - a_x) (1 - 20\varepsilon_m)^3)|(1 - + 15\varepsilon_m) = \\= |(b_x - a_x) (c_y - a_y)| (1 - \varepsilon_m)^4 + |(b_y - a_y) (c_x - a_x)| (1 - 6\varepsilon_m)^4 = \\= (|(b_x - a_x) (c_y - a_y)| 5 + |(b_y - a_y) (c_x - a_x)|) (1 - \varepsilon_m)^4 = t \cdot (1 - \varepsilon_m6)^4. </tex>

<tex> t \leq \tilde{t} \frac{1}{(1 - \varepsilon_m)^46} = \tilde{t} (1 + 4 6 \varepsilon_m + 10 21 \varepsilon_m^2 + 20 56 \varepsilon_m^3 + \cdotsldots) </tex>

<tex> \epsilon = |v - \tilde{v}| \leq \tilde{\epsilon} \leq \tilde{t} (1 + 4 6 \varepsilon_m + 10 21 \varepsilon_m^2 + 20 \varepsilon_m^3 + \cdotsldots) (4 6 \varepsilon_m + 6 15 \varepsilon_m^2 + 4 20 \varepsilon_m^3 + \varepsilon_m^4ldots) </tex>