CHAPTER 6 - Transcendental Functions
Section 6.1, page 454
Problem 24
> | f:=1/x^3; |
> | solve(y=f,x); |
We'll take the first one, because it's real!
> | finv:=subs(y=x,%[1]); |
> | simplify(subs(x=finv,f)); |
> | simplify(subs(x=f,finv),symbolic); |
So we're ok -- let's plot to make sure:
> | plot({f,x,finv},x=0..5,-1..5,color=blue,thickness=2,scaling=constrained); |
You can see that the two curves are reflections of one another (but it's not easy!).
Section 6.2, page 465
Problem 35
Fun with the fundamental theorem:
> | assume(x>0); |
> | diff(int(ln(sqrt(t)),t=x^2/2..x^2),x); |
> | simplify(%); |
The little tildes "~" indicate that we have made an assumption about x.
Problem 57
> | restart; |
> | Int(2*ln(x)/x,x=1..2)=int(2*ln(x)/x,x=1..2); |
Section 6.3, page 472
Problem 8
> | solve(ln(1-2*y)=t,y); |
Problem 37
> | eqn:=ln(y(x))=exp(y(x))*sin(x); |
> | solve(diff(eqn,x),diff(y(x),x)); |
Problem 48
> | Int(exp(x/4),x=0..ln(16))=int(exp(x/4),x=0..ln(16)); |
Problem 77
(a) We do the usual tangent line idiom:
> | f:=exp(x); tanline:=simplify(subs(x=0,f)+subs(x=0,diff(f,x))*(x-0)); |
Let's plot first, so we can see where the error is worst:
> | plot({f,tanline},x=-0.2..0.5,color=blue,thickness=2); |
The line is always below the curve, and it's worst at x=0.2. So our upper bound for the error is
> | exp(0.2)-subs(x=0.2,tanline); |