\( \def\NN{\mathbb{N}} \) \( \def\ZZ{\mathbb{Z}} \) \( \def\QQ{\mathbb{Q}} \) \( \def\RR{\mathbb{R}} \) \( \def\CC{\mathbb{C}} \)

Démonstration: Calcul symbolique

Le coeur des systèmes comme Maple et Maxima est le calcul sur les expressions, avec sa simplicité pour les nouveaux venus et sa souplesse. Modulo la déclaration explicite des variables et des petites variantes de syntaxe, l’utilisateur casuel retrouvera ses petits.

Une expression:

f = cos(x)^6 + sin(x)^6 + 3 * sin(x)^2 * cos(x)^2; f

La même après avoir configuré les affichages en latex:

%display latex
f

Simplifions-la:

f.simplify_trig()

Variables symboliques:

k

var('n,k')

Une sommation définie:

sum(binomial(n, k) * factorial(k) / factorial(n+1+k), k, 0, n)

Calcul de \( \lim\limits_{x\rightarrow \frac{\pi}{4} }\dfrac{\cos\left(\frac{\pi}{4}-x \right)-\tan x }{1-\sin\left(\frac{\pi}{4}+x \right)} \):

f(x) = (cos(pi/4-x)-tan(x)) / (1-sin(pi/4 + x))
limit(f(x), x = pi/4, dir='minus')

Calcul, selon la valeur de \( x \), de l’intégrale \( \int_0^{\infty} \frac{x \cos u}{u^2+x^2} du \):

var('u')

f = x * cos(u) / (u^2 + x^2)
assume(x>0)
f.integrate(u, 0, infinity)

forget(); assume(x<0); f.integrate(u, 0, infinity)

L’arithmétique est gérée en interne (pynac) et le reste est délégué à Maxima. En relatif, cet aspect reste un des points faibles de Sage.