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(); |