10.6 Characterizing Best Approximations 301
problem that is not too difficult. However, our approach will be to “guess” the
answer and to verify it by geometric means.
First subtract x from f to get g(x) = x
2
−x. This function is symmetric about
the line x =
1
2
. It takes its maximum value 0 at both 0 and 1, while its minimum is
−
1
4
at x =
1
2
. From the previous example, we know that to minimize kg(x) − bk
∞
we should set the constant b equal to −
1
8
so that the maximum and minima have the
same absolute value,
1
8
. This intuitive approach yields a guess that the best linear
approximation is x −
1
8
. The error is r(x) = x
2
− x +
1
8
. We know that
r(0) =
1
8
, r(
1
2
) = −
1
8
, and r(1) =
1
8
.
Now we will show that y = x −
1
8
is indeed the closest line to x
2
on [0, 1].
Equivalently, it suffices to show that y = 0 is the closest line to y = r(x) on [0, 1].
Suppose that some linear function g satisfies kr − gk <
1
8
. Then
g(0) ∈ (0,
1
4
), g(
1
2
) ∈ (−
1
4
, 0), and g(1) ∈ (0,
1
4
).
Therefore,
g(0) > 0 > g(
1
2
) < 0 < g(1).
By the Intermediate Value Theorem, g has a zero between 0 and
1
2
and another zero
between
1
2
and 1. But g is linear, and thus it has at most one root. This contradiction
shows that no better linear approximation exists.
Notice that the strategy we used in this example is essentially the same as that
used in proving Proposition 10.4.4.
In the first example, the best approximation yields an error function r that
achieves the values ±krk
∞
. In the case of our linear approximation, we found
three points at which r alternately achieved the values ±krk
∞
. This notion gener-
alizes to give a condition that is sufficient to be the best approximation.
10.6.3. DEFINITION. We say a function g ∈ C[a, b] satisfies the equioscilla-
tion condition of degree n if there are n + 2 points x
1
< x
2
< ··· < x
n+2
in [a, b]
so that either
g(x
i
) = (−1)
i
kgk
∞
for 1 ≤ i ≤ n + 2
or
g(x
i
) = (−1)
i+1
kgk
∞
for 1 ≤ i ≤ n + 2.
In other words, g attains its maximum absolute value at n+2 points and it alternates
in sign between these points.
Figure 10.4 shows a function that satisfies the equioscillation condition.
10.6.4. THEOREM. Suppose f ∈ C[a, b] and p ∈ P
n
. If r = f −p satisfies the
equioscillation condition of degree n, then
kf − pk
∞
= inf{kf − qk
∞
: q ∈ P
n
}.