Bonjour,
PAs très sûr de mon coup mais, si pour chaque proprité tu fais:
Une récurrence sur n en disant m
Puis
Une récurrence sur m en disant n
Ca doit le faire. Non?

Bonjour,

Tu n'es pas obligé de faire une récurrence sur les deux à la fois. On peut faire une récurrence sur n et laisser m "fixé".

Initialisation :
Hérédité : on suppose que c'est vrai pour n, alors :

Ce genre de chose, tu vois ?

Bonjour sanantonio

Salut Noflah
On ne le dis pas de la même manière, mais c'est à peu près la même chose. Non?

Oui, sauf que je ne fais que la moitié de toi ^^
Je ne vois pas pourquoi le faire deux fois ? Une fois suffit non ?

C'est vrai pour la première car addition et multiplication sont commutatives.
Pour l'autre, n'y a-t-il pas différence entre (a^m)ⁿ et (aⁿ)^m?

Tout bien réfléchi, c'est pareil.
Un peu moins intutif quand même car mⁿn^m

Euh l'autre j'ai pas trop regardé, mais là comme ça je ne pense pas. m et n étant des variables muettes, si tu as montré : m n c'est pareil que n m  à mon sens. Il suffit de renommer l'une et l'autre à l'envers.

bonjour,
un détail, je pense qu'il faut commencer la récurrence à 0.

n et m sont réputés dans ^*

Ah oui, je n'avais pas vu.