Next: 3.3.8 Example with a Linear
Up: 3.3 Linear Interval Arithmetic
Previous: 3.3.6 Monotonic Sections
We will determine
and
for a linear function .
We have assumed that .
Take any ; a simple proof
by contradiction, which follows, shows that
is an exact bound of g:
Assume there is a point
such that .
Let , so .
Furthermore, and imply that .
A quick review of the chart reveals this
situation is impossible, since implies
that . The chart predicts
the sign of since .
Next: 3.3.8 Example with a Linear
Up: 3.3 Linear Interval Arithmetic
Previous: 3.3.6 Monotonic Sections