hw8.mws

page 186 section 4.15 #2

Use Rolle's Theorem to prove that regardless of the value of b , there is at most one point x in the interval -1..1 for which x^3-3*x+b = 0 .

Suppose there were two such points
x[1], x[2] . Then by Rolles Theorem, there would be a value of c between x[1] and x[2] such that D(f)(c) = 0 . But a simple inspection shows that the derivative is zero only at x = -1, 1 .

> f:=x->x^3-3*x+b;

f := proc (x) options operator, arrow; x^3-3*x+b en...

> solve(f(-1)=0,b);solve(f(1)=0,b);

-2

2

With some thought, we see that there is one solution in the interval [-1,1] if and only if b is between -2 and 2.

> with(plots):

> animate(x^3-3*x+b,x=-1..1,b=-3..3,thickness=3);

[Maple Plot]

page 186 section 4.15 #3

> f:=x->piecewise(x<=1,(3-x^2)/2,1/x);

f := proc (x) options operator, arrow; piecewise(x ...

> plot(f(x),x=0..2,thickness=3);

[Maple Plot]

In order to show that f satifies the hypotheses of the mean value theorem in the interval [0,2] it suffices to show that f is continuous and differentiable at x = 1 .

> limit(f(x),x=1,left);limit(f(x),x=1,right);f(1);

1

1

1

> limit(D(f)(x),x=1,left);limit(D(f)(x),x=1,right);

-1

-1

> solve(f(2)-f(1)=D(f)(c)*(2-1),c);

1/2, sqrt(2)

> plot([f(x),f(1/2)+D(f)(1/2)*(x-1/2),f(sqrt(2))+D(f)(sqrt(2))*(x-sqrt(2))],x=0..2,color=[red,blue,blue],thickness=[3,2,2]);

[Maple Plot]

page 186 section 4.15 #8(a)

Use the mean value theorem to show that abs(sin(y)-sin(x)) <= abs(y-x) for all x,y .

For any
x,y by the mean value theorem there is a c between x and y such that sin(y)-sin(x) = cos(c)*(y-x) . Now for any c we have abs(cos(c)) <= 1 so the inequality follows.

This property says that the sine function is a "contraction". The distance between
sin(y), sin(x) is less than or equal to the distance betwee x and y

> A:=plot3d(abs(sin(y)-sin(x)),x=-Pi..Pi,y=-Pi..Pi,axes=boxed,style=patchcontour):

> B:=plot3d(abs(y-x),x=-Pi..Pi,y=-Pi..Pi,axes=boxed,style=wireframe,thickness=2):

> display(A,B);

[Maple Plot]

The contractive property suggests that domains of the interates of the sine function contract. In the graph below, note how the range is shrinking.

> plot([seq((sin@@n)(x),n=1..50)],x=-Pi..Pi,color=[red,green,blue]);

[Maple Plot]

>