Matematická analýza v programu Maxima
1 Symbolické derivování
| (%i1) | 'diff(exp(-x^2),x); |
Apostrof před příkazem diff zamezí vyhodnocení. Používá se například pro kontrolu
správnosti zadání.
| (%i2) | %, nouns; |
| (%i3) | 'diff(exp(-x^2),x)$ %=ev(%,nouns); |
| (%i5) | 'diff(log(x/(x^2+1)),x)$ %=ev(%,nouns); |
| (%i7) | rat(%); |
| (%i8) | 'diff(x^(x^x),x)$ %=ev(%,nouns); |
Derivace vyšších řádů:
| (%i10) | 'diff(exp(-x^2),x,2)$ %=ev(%,nouns); |
| (%i12) | 'diff(exp(-x^2),x,5)$ %=ev(%,nouns); |
1.1 Derivace funkce dané implicitně
| (%i14) | eq : x^2 +y^2 = c; |
| (%i15) | depends(y,x); |
| (%i16) | diff(eq, x); |
| (%i17) | dydx : solve(%, 'diff(y,x)); |
| (%i18) | dydx : rhs(dydx[1]); |
| (%i19) | diff(eq, x, 2); |
| (%i20) | solve(%, 'diff(y,x,2)); |
| (%i21) | rat(subst(dydx, 'diff(y,x,1), %)); |
| (%i22) | remove(y, dependency); |
1.2 Parciální derivace
| (%i23) | 'diff(exp(a*x*y^2),x,1,y,2)$ %=ev(%, nouns); |
| (%i25) | factor(%); |
| (%i26) | 'diff(sin(x+y)/y^4, x,5, y,2)$ %=ev(%, nouns); |
2 Integrace a sumace
2.1 Neurčitý integrál
| (%i28) | 'integrate(x/(x^3+1),x); |
| (%i29) | 'integrate(x/(x^3+1),x)$ %=ev(%,nouns); |
| (%i31) | diff(rhs(%),x); |
Pomocí rhs() se odkazujeme na pravou stranu zadané rovnice, pomocí lhs()
na levou.
| (%i32) | rat(%); |
| (%i33) | 'integrate(x/(x^5+1),x)$ %=ev(%,nouns); |
| (%i35) | radcan(diff(rhs(%),x)); |
| (%i36) | 'integrate(2*x*(x^2+1)^24,x)$ %=ev(%,nouns); |
Substituční metoda
| (%i38) | 'integrate(2*x*(x^2+1)^24,x); |
| (%i39) | changevar(%, x^2+1-t,t,x ); |
| (%i40) | ev(%, nouns); |
| (%i41) | subst(t=(x^2+1), %); |
2.2 Určitý integrál
| (%i42) | 'integrate(x/(x^3+1), x,1,2); %=ev(%, nouns); |
| (%i44) | 'integrate(1/((1+x^2)*(1+2*x^2)), x,0,1)$ %=ev(%, nouns); |
| (%i46) | integrate(1/x^2, x,-1,1); |
Maxima kontroluje nespojitosti integrandu na zadaném intervalu.
| (%i47) | integrate(t^4*ln(t)^2/(1+3*t^2)^3, t,0,inf); |
| (%i48) | 'integrate(exp(asin(x)), x,0,1); %=ev(%, nouns); |
Pozn. Maple tento neurčitý integrál nespočítá.
| (%i50) | %, numer; |
Numerické integrování (Rombergovou metodou)
| (%i51) | romberg(exp(asin(x)), x,0,1); |
2.3 Konečné a nekonečné součty
| (%i52) | 'sum(k^7, k,1,20)$ %=ev(%, nouns); |
| (%i54) | 'sum(k^7, k,1,n)$ %=ev(%, nouns, simpsum); |
3 Taylorův rozvoj
| (%i56) | t : taylor(sin(tan(x))-tan(sin(x)),x,0,25); |
| (%i57) | taylorp(t); |
| (%i58) | taylorinfo(t); |
| (%i59) | sin_series : taylor(sin(x), x,0,5); |
| (%i60) | subst(x=2, sin_series); |
| (%i61) | diff(sin_series, x); |
| (%i62) | integrate(sin_series,x); |
4 Výpočty limit
| (%i63) | 'limit((x^2-1)/(2*x^2-x-1),x,1)$ %=ev(%, nouns); |
| (%i65) | 'limit( cos(x)^(1/x^3), x,0)$ %=ev(%, nouns); |
Jednostranné limity
| (%i67) | 'limit( cos(x)^(1/x^3), x,0, plus)$ %=ev(%, nouns); |
| (%i69) | 'limit( cos(x)^(1/x^3), x,0, minus)$ %=ev(%, nouns); |
| (%i71) | y : exp(a*x)*cos(b*x); |
| (%i72) | 'limit(y,x,minf)$ %=ev(%, nouns); |
| (%i74) | assume(a>0); |
| (%i75) | 'limit(y,x,minf)$ %=ev(%, nouns); |
| (%i77) | facts(); |
| (%i78) | forget(a>0); |
| (%i79) | facts(); |