Bonjour,

Je souhaite résoudre un système d'inéquations en symbolique avec mathematica ou sage.

Je suis assez neophyte de ces 2 logiciels, j'aimerai donc si il possible de faire les calculs suivant de maniéré automatique et d'obtenir le même résultat en fonction de deux symbolique de mon choix.

Ci-dessous mon système d’inéquation :

Hypotheses sur les varaibles :
- M1,M2>0
- C1,C2>1

Systeme d'équation :
- M1*(C1-1) - M2 > 0
- M2*(C2-1) - M1 > 0

Je souhaiterais alors éliminer les variabls M1 & M2 de ce systéme pour about à une seule inéquation avec seulement les variables C1 & C2

- M1 > M2/(C1-1)
- M2 > M1/(C2-1)

On a alors M2 > M2/[(C1-1)(C2-1)]

=> (C1-1)(C2-1) > 1

Ma question donc, est il possible d'arriver à ce résultat avec mathematica ou sage?
Voyez vous dans le cas contraire une solution alternative, pour résoudre ce genre de probléme informatiquement?

Je vous remercie.