Le forum de XCAS

Pour montrer que geogebra fait de beaux dessins et de moins beaux calculs formels, j'ai décidé de laisser les élèves de seconde se débrouiller seuls avec xcas pour trouver la valeur d'un paramètre t de façon que deux aires satisfassent une certaine égalité.
J'ai pourtant fait ce type d'exercice pas mal de fois l'an dernier, mais là je bloque bêtement.
Deux questions préalables :
-le choix entre Geo2d exact et approché n'existe plus ?
-en formel, pour l'argument de assume c'est bien t= et non t:= ?
Voici ce que l'on tape en Geo2d :

A:=point(0,0,affichage=quadrant3); B:=point(7,0,affichage=quadrant4); C:=point(7,4,affichage=quadrant1); D:=point(0,4,affichage=quadrant2);
supposons(t=[3,0,7]);
M:=point(t,4);
Trap:=polygone(A,B,M,D,affichage=63+rempli);
Tri:=triangle(B,C,M,affichage=135+rempli);
A:=aire(Trap);B:=aire(Tri);
solve(A=2*B) ;

solve renvoie une liste vide au lieu de 7/3
si je fais solve(A=2*B,t=0..7) j'ai 2.3333333333
si je bouge le curseur les surfaces sortent des limites
Je vais attendre un peu avant de le proposer aux élèves !

Beaucoup de bruit pour rien, il faut faire solve(A=2*B,t)
L'usage du curseur dégrade la forme des polygones.

C'est parce qu'il y a redéfinition de A et B (point puis aire). Je ne vois pas bien ce que je peux faire pour afficher un warning car quand on bouge la figure, on redéfinit aussi les objets, et là c'est normal!

Effectivement j'étais ce jour là totalement à l'ouest !
Rien à faire dans ce cas sauf peut-être un warning du genre:
attention, l'excès de désir conduit bien souvent à l'impuissance.
Pour ne pas rester sur de telles énormités, je corrige:
(clic droit sur le curseur pour cocher/décocher symb)