EpsilonWriter version 2.5

Manuel d'algèbre dynamique

21 Décembre 2014

 

Document rédigé avec EpsilonWriter

 

Summary

1. Choix des outils, paramètres

2. Calculs par clic et par bouton  

2.1. Calculs exacts par clic sur expression ou utilisation d'un bouton  

2.2. Le calcul par clic sur opérateur

2.3.  Les calculs basiques proposés

2.4.  Calculs proposé pour les polynômes et les équations d'une variable du second degré

2.5.  Calculs proposé pour les polynômes et les équations d'une variable du troisième degré

2.6. Tableaux de signes

2.7. Conditions et ensembles de définition de fonctions

2.8. Limites de fractions rationnelles  

2.9. Calcul de dérivées

2.10. Tableau de variations de fonctions rationnelles

2.11. Simplification d'ensembles de nombres réels  

3. Le glisser-déposer externe  

3.1. Le pointage de l'emplacement pour déposer en glisser-déposer externe

3.2.  La réalisation du glisser-déposer externe

3.3. Les opérations possibles en glisser-déposer externe

4. Le glisser-déposer "assimilé" externe  

5. Le glisser-déposer interne  

5.1. Exemples de déplacements  

5.2. Exemples de sorties d'une expression

5.3. Exemples d'entrée dans une expression

5.4.  Le cas du signe -

5.5.  Combinaisons : combinaisons additives

5.6.  Combinaisons : combinaisons multiplicatives

5.7.  Combinaisons : simplifications des fractions

5.8.  Combinaisons : simplifications multiplicatives des relations

5.9.  Combinaisons : simplifications additives des relations

6. L'équivalence

7. Les explications

7.1. Signification des flèches

7. 2.  Le code couleur

8. Défaire

9. Supprimer, modifier des explications



EpsilonWriter permet de faire des calculs exacts ou approchés par bouton, clic et glisser-déposer.  

Ce sont des calculs par étapes, avec des explications.

 

Summary

1. Choix des outils, paramètres

 

Le panneau "Calcul" permet de choisir les outils de calcul :

- les  calculs numériques peuvent se faire sur les entiers, les décimaux ou les rationnels,

- les outils de calculs utilisables sont déterminés par le niveau d'algèbre dynamique dont les valeurs possibles sont : pédagogique, faible, moyen, fort, personnalisé.  

 

Lorsque "Algèbre dynamique : Personnalisé" est sélectionnée, EpsilonWriter présente les différents mécanismes d'algèbre dynamique afin que l'utilisateur choisisse ceux qu'il veut utiliser. Ces choix sont mémorisés et peuvent être modifiés en sélectionnant à nouveau "Algèbre dynamique : Personnalisé".

 

Les choix de mécanismes sont des paramètres de l'application. Il est possible de "Voir les paramètres de l'application" avec le menu "Options" et aussi d'afficher un "Tableau des paramètres" qui présente les valeurs de ces paramètres pour tous les modes d'algèbre dynamique. Ce tableau se trouve aussi à :

http://www.epsilonwriter.com/download/2.5/manuel/Parametres-fr.html

 

Il est possible d'associer des paramètres à un document afin que les élèves ne puissent utiliser que certains outils. Voir le manuel d'EpsilonWriter :

http://www.epsilonwriter.com/download/2.5/manuel/Manuel-EpsilonWriter-fr.html

   

Le panneau "Calcul" permet de choisir la forme des explications.

 

 

Summary

2. Calculs par clic et par bouton  

 

Summary

2.1. Calculs exacts par clic sur expression ou utilisation d'un bouton  

  

Le calcul par clic inclut le calcul numérique exact, la factorisation d'entiers, le développement-réduction, la résolution des équations de degré 1,  la production des schémas de résolution des équations de degré 2 et 3, les conditions de définition des fonctions rationnelles, le passage de certaines conditions logiques à des ensembles de solutions,  le calcul de limites, le passage de fractions rationnelles factorisées à des tableaux de signes, le calcul des dérivées, le passage d'une forme f'(x)=y y est une fraction rationnelle factorisée au tableau de variations.

 

Pour faire un calcul exact, on peut sélectionner une expression ou une sous-expression. Si des calculs sont possibles, ils sont listés dans une bulle d'aide. Lorsqu'il y en a un seul, un clic sur la bulle d'aide applique le calcul proposé. Lorqu'il y en a plusieurs, un Ctrl+Clic sur la sélection fait apparaître un menu pour choisir le calcul à appliquer.

Si la case "Dupliquer lors des calculs" est cochée, le résultat est affiché au-dessous. Si elle n'est pas cochée, il remplace l'expression à calculer.

Le choix du domaine (entiers, décimaux ou rationnels) se fait avec une liste de choix du panneau "Calcul".

  

Summary

2.2. Le calcul par clic sur opérateur

 

Lorsque la souis survole un opérateur, si des calculs sont possibles, ils sont listés dans une bulle d'aide.

 

Un Ctrl+Clic sur un opérateur demande d'effectuer un calcul sur l'expression de cet opérateur.

  

Exemple, un Ctrl+Clic sur + dans 3x³+2x³-x² produit 5x³-x²

    

Summary

2.3.  Les calculs basiques proposés

 

Des calculs numériques, des développements et des réductions sont proposés, principalement pour les expressions rationnelles.

La résolution d'équations linéaires d'une variable est aussi proposée.

 

Le bouton imageReference _Manuel-AD-fr.html/image4.png permet d'effectuer des calculs approchés.

Les boutons imageReference _Manuel-AD-fr.html/image5.png  permettent de convertir des décimaux en fractions et des fractions en décimaux.

Le bouton imageReference _Manuel-AD-fr.html/image6.png permet de dupliquer l'expression, c'est utile lorsque l'on ne duplique pas l'expression automatiquement pour chaque calcul.  

  

Summary

2.4.  Calculs proposé pour les polynômes et les équations d'une variable du second degré

 

Selon les coefficients, les actions suivantes sont proposées pour ax²+bx+c :

- Mettre sous forme canonique,

- Factoriser avec A²-B²

- Produire les formules du discriminant pour factoriser le polynôme.

 

EpsilonWriter propose aussi de produire les formules du discriminant pour résoudre ax²+bx+c=0

 

Voir les démos à : http://epsilonwriter.com

  

Summary

2.5.  Calculs proposé pour les polynômes et les équations d'une variable du troisième degré

  

EpsilonWriter propose de produire les formules de Cardan pour factoriser ax³+bx²+cx+d et pour résoudre  ax³+bx²+cx+d=0  

 

Voir les démos à : http://epsilonwriter.com

 

 

Summary

2.6. Tableaux de signes

 

Pour de nombreuses expressions rationnelles factorisées, comme x(x-2)/(x+1) , EpsilonWriter propose de construire un tableau de signe (un tableau rempli ou à remplir).

 

Summary

2.7. Conditions et ensembles de définition de fonctions

 

Quand une fonction est définie avec un signe égal, comme f(x)=(x+1)/(x(x-2)) EpsilonWriter propose de produire les conditions de définition, dans l'exemple :

Définie quand: x(x-2)≠0

 

Il est nécessaire ici d'utiliser la véritable notation des fonctions d'EpsilonWriter, c'est-à-dire l'une des lettres f, g et h en forme droite (quand les lettres sont en italique, elles représentent des variables, pas des fonctions).

 

Quand les conditions de définition sont sous forme factorisée, EpsilonWriter proposes généralement de produire l'ensemble correspondant. Pour la condition ci-dessus :

Ensemble : ]-∞;0[∪]0;2[∪]2;+∞[

 

Summary

2.8. Limites de fractions rationnelles  

 

Pour les limites de fractions rationnelles à l'infini, comme limit _x→+∞ (3x³+4x-6)/(x²-1) , EpsilonWriter applique le théorème des plus hauts degrés.

Pour les limites de fractions rationnelles à des valeurs finies, comme limit _x→1^- (3x-6)/(x-1) EpsilonWriter remplace la variable x par la notation 1^- et permet de faire des calculs de limites avec cette notation.  

 

 

Summary

2.9. Calcul de dérivées

 

La notation pour les dérivées peut être ( sin(x))^prime0 ou d(x²y+2xy²)/ d(x)

EpsilonWriter calcule une étape de dérivation quand un Ctrl-Click est effectué sur un opérateur de dérivée.

Presque toutes les fonctions usuelles peuvent être dérivées.

 

Summary

2.10. Tableau de variations de fonctions rationnelles

 

Quand une dérivée est exprimé sous forme factorisée avec un signe égal, comme f'(x)=(x-2-√5)(x-2+√5)/(x-2)² , EpsilonWriter propose généralement de fournir un tableau de variations (un tableau rempli, excepté les limites et les valeurs minimales et maximales, ou un tableau à remplir).

 

Il est nécessaire ici d'utiliser la véritable notation des fonctions d'EpsilonWriter, c'est-à-dire l'une des lettres f, g et h en forme droite (quand les lettres sont en italique, elles représentent des variables, pas des fonctions).

 

Summary

2.11. Simplification d'ensembles de nombres réels  

 

Les ensembles de nombres réels, exprimés comme combinaisons d'intervalles de d'ensembles finis, comme (]-∞;0] \ ]-5;-3[)∩]-8;-1[∪{-6;6} peuvent être simplifiés.

 

 

Summary

3. Le glisser-déposer externe  

 

Fonctionne avec les options "Algèbre dynamique : moyen et fort".

  

On dit qu'on effectue un glisser-déposer externe lorsque l’expression sélectionnée et l'emplacement pour déposer ne se trouvent pas dans une même expression mathématique, par exemple, s'il l'on a :

imageReference _Manuel-AD-fr.html/image21.png

et si l'on effectue un glisser-déposer de l’expression sélectionnée quelque part dans x+y=6 on est en glisser-déposer externe. Il n'y a pas de lien mathématique entre y=x+3  et x+y=6 pour EpsilonWriter, il y a juste une équation en dessous d'une autre.

 

Summary

3.1. Le pointage de l'emplacement pour déposer en glisser-déposer externe

 

Pendant le glisser, lorsque le curseur de la souris :

- survole un élément atomique, celui-ci est montré sous la forme d'une deuxième sélection en bleu,

- survole un opérateur, l'expression de cet opérateur est montrée sous la forme d'une deuxième sélection en bleu,

- n'est pas dans l'un des deux cas précédents, un curseur de dépose est affiché.

 

Voici quatre exemples de d'indication de l'emplacement pour déposer :  

                                  

imageReference _Manuel-AD-fr.html/image22.png la souris survole y

 

imageReference _Manuel-AD-fr.html/image23.png la souris survole +

 

imageReference _Manuel-AD-fr.html/image24.png la souris survole =

 

imageReference _Manuel-AD-fr.html/image25.png la souris est entre y et =

 

 

Lorsque la dépose est possible, un popup affiche les possibilités sous la forme de l'expression produite et de la description de l'action.

 

Summary

3.2.  La réalisation du glisser-déposer externe

 

Pour accepter une proposition de dépose affichée dans le popup, il faut relâcher le bouton de la souris. S'il y en avait plusieurs propositions, le popup reste affiché et il faut faire un choix en cliquant ou avec la touche entrée ou annuler avec Ctrl+Z.

 

Code couleur des boutons du popup :

- vert : opération mathématique apportant une équivalence (voir explications dans la section équivalence),  

- rouge : opération mathématique n'apportant pas d'équivalence a priori.

  

Les options :

Dupliquer lors des calculs  

Expliquer les calculs

s'appliquent aussi au glisser-déposer externe.

  

Summary

3.3. Les opérations possibles en glisser-déposer externe

 

Substitution

Lorsque l’expression sélectionnée est une substitution, c'est-à-dire :

- une égalité de la forme x= ... ou ... =x , exemple x=y+2

- un système d'égalités de ce type, exemple : x=3t+2 and y=t-3 contrexemple :  x=3y+2 and y=-3 dans ce cas, la variable y exprimée dans la deuxième équation étant présente dans la première équation, le système n'est pas considéré comme une substitution,

EpsilonWriter propose d'effectuer la substitution si l'emplacement de la dépose est une expression contenant des variables de la substitution.  

 

Equivalence

Dans ce cas, il y a pas équivalence a priori.

Il y a cependant équivalence dans le cas d'un système d'équations, si la substitution sélectionnée est une équation du système.

 

Substitution d'une variable par une expression

Lorsque l’expression sélectionnée est une expression, par exemple 4 ou encore 2x+1 , si l'emplacement de la dépose est une variable, EpsilonWriter propose d'effectuer une substitution de la variable par l'expression.

 

Addition ou soustraction membre à membre de relations

Lorsque l’expression sélectionnée est une égalité ou inégalité et que l'emplacement de la dépose est une égalité ou inégalité,

EpsilonWriter propose une addition et une soustraction membre à membre si cela a du sens, c'est-à-dire si le résultat est impliqué par les deux relations concernées.

 

Equivalence

Dans ce cas, il y a pas équivalence a priori.

  

Additionner, soustraire, multiplier, diviser les deux membres d'une relation par une expression

Lorsque l’expression sélectionnée est une expression numérique avec éventuellement des variables (mais pas une relation par exemple) et l'emplacement de la dépose est une égalité ou une inégalité,  

EpsilonWriter propose d'additionner, soustraire, multiplier, diviser les deux membres par l'expression.  

Pour les inégalités, c'est uniquement quand l’expression sélectionnée est un nombre (avec changement du sens de l'inégalité quand le nombre est négatif).

 

Equivalence

Dans ce cas, il y a équivalence entre la relation initiale et la relation, obtenue sauf dans le cas de multiplication par 0 (la division par zéro n'étant pas proposée). Cette équivalente peut nécessiter l'ajout par l'utilisateur de conditions comme x≠0 si l'on divise les deux membres d'une égalité par x

 

 

Summary

4. Le glisser-déposer "assimilé" externe  

 

Fonctionne avec les options "Algèbre dynamique : moyen et fort".

 

Lorsque l'expression sélectionnée et l'emplacement pour déposer sont dans une même formule globales mais dans des égalités ou inégalités ou expressions numériques (avec ou sans variables) on considère que l'on est dans une situation semblable à celle du glisser-déposer externe et le comportement général du glisser-déposer est le même.

 

C'est le cas de systèmes d'équations ou d'inéquations :

Exemple : 2x=5 and x+y=6 si on dépose 2x=5 sur y ou sur  x+y=6  

 

Dans le cas d'un système d'équations ou d'inéquations, il y a toutefois une différence au niveau de l'équivalence :

- dans le cas d'une substitution, il y a équivalence entre le système d'origine et le système obtenu,

- dans le cas "Addition ou soustraction membre à membre de relations", il y a équivalence entre le système d'origine et le système obtenu si la relation ajoutée ou soustraite est une égalité.

 

 

Summary

5. Le glisser-déposer interne  

  

Lorsque l'expression sélectionnée et l'emplacement pour déposer sont dans une même expression numérique (avec ou sans variables) ou dans une même égalité ou inégalité, on est dans le cas du glisser-déposer interne.

 

Le glisser-déposer interne fonctionne selon l'option "Algèbre dynamique" :

 

- Avec l'option "Algèbre dynamique : pédagogique", seuls les mouvements basiques sont proposés. Un mouvement basique d'une expression a est un mouvement qui conserve a ou le remplace par -a ou par 1/a , et qui conserve le reste de l'expression avec une exception possible: s'il y a une inégalité, son sens peut être inversé.  Avec cette option, les gestes qui ne produisent pas de mouvement basique sont indiqués.  

 

- Avec l'option "Algèbre dynamique : faible", les mouvements simples et utiles (basiques ou non) sont proposés.  

 

- Avec l'option "Algèbre dynamique : moyen", les mouvements proposés sont plus nombreux.

 

- Avec l'option "Algèbre dynamique : fort", tous les mouvements possibles avec EpsilonWriter sont proposés.

 

Voir la liste détaillée des mouvements possibles pour chaque option sur http://epsilonwriter.com

  

L'option "Décrire le geste d'algèbre dynamique" permet de décrire certains gestes. Cette description est ajoutée à l'explication mathématique.

 

Exemple : le déplacement d'un facteur négatif d'un membre à l'autre d'une inéquation fournit la description et l'explication ci-dessous :

red -2 black x≤3 green ⇝ x≥3/( red -2)

Geste : Passage multiplicatif d'une expression négative dans l'autre membre, le facteur devient diviseur, changement de sens de l'inégalité

Explication : Division des deux membres par -2

 

Le pointage de l'emplacement pour déposer en glisser-déposer interne, sa réalisation et son affichage

 

Le pointage de l'emplacement pour déposer a deux formes possibles :

- d'un curseur, par exemple imageReference _Manuel-AD-fr.html/image31.png pour dépose devant 4 ce qui produit le résultat 3x+4=-3

- une expression sélectionnée en bleu pour une combinaison de l'expression déplacée avec celle-ci, par exemple imageReference _Manuel-AD-fr.html/image32.png qui produit le résultat -3x+4=-3

 

Lorsque la dépose est possible, un popup affiche les possibilités. Il affiche aussi des déposes d'édition ordinaire avec les opérateurs principaux.

En glisser-déposer interne, il y a toujours équivalence, mais cette équivalence peut nécessiter l'ajout par l'utilisateur de conditions comme x≠0 si l'on divise les deux membres d'une égalité par x  

Avec l'option Algèbre dynamique pédagogique, certaines déposes refusées sont décrites. Par exemple, avec a/(c+d) , si l'on essaie de déplacer c devant la fraction on obtient : Pas de sortie additive du dénominateur

 

Les opérations de glisser-déposer interne

 

Les opérations élémentaires actuellement implantées entrent dans 4 catégories :

- déplacement de l'expression sélectionnée dans une expression,  

- sortie de l'expression sélectionnée d'une expression,

- entrée de l'expression sélectionnée dans une expression,

- combinaison de l'expression sélectionnée avec une autre expression.

 

Ces opérations se font avec un statut de l'expression sélectionnée qui peut être :

- additionneur : on parlera aussi de terme additif ou d'opération additive,

- multiplicateur : on parlera aussi de facteur ou d'opération multiplicative,

- diviseur,

- exposant.  

Dans de très nombreux cas, ces opérations élémentaires peuvent se cumuler.

 

Pendant le glisser, lorsque l'on est dans un cas de combinaison, le deuxième élément de la combinaison est montré sous la forme d'une deuxième sélection en bleu. Dans  les autres cas, un curseur de dépose est affiché.

  

Summary

5.1. Exemples de déplacements  

 

Un argument d'une somme ou d'un produit peut être déplacé dans cette somme ou ce produit.  

red 2x+x²+1 green ⇝ x²+ red 2x+1

Explication : Commutativité

 

Un membre d'une relation, ou un terme additif d'un membre,  peut être déplacé de façon additive dans  l'autre membre.  Il est remplacé par son opposé.

 

x-3≤ red 2x green ⇝ x-3+ red -2x≤0

Geste : Passage additif dans l'autre membre en changeant de signe

Explication : Addition aux deux membres de -2x

   

Un membre d'une relation, ou un facteur d'un membre, peut être déplacé de façon multiplicative dans l'autre membre. Il doit être non nul. Dans le cas d'une inégalité, il ne doit pas contenir de variable. Il devient diviseur. Le sens de la relation est inversé si nécessaire.  

  

red -4 black x<2 green ⇝ x>2/(red-4)

Geste : Passage multiplicatif d'une expression négative dans l'autre membre, le facteur devient diviseur, changement de sens de l'inégalité

Explication : Division des deux membres par -4

 

Si l'on déplace 4x dans 4x<2 , il n'y a pas de proposition comme diviseur car 4x n'est pas constant.  

  

Un exposant 2 d'un membre d'une égalité peut être déplacé dans l'autre membre si ce dernier est une expression sans variable. Il y a alors production d'une racine carrée et d'un "ou" entre deux égalités.  

 

(x+1)^ red 2=3 green ⇝ orange x+1=√3 or x+1=-√3

Explication : Décomposition d'une équation

  

 

Summary

5.2. Exemples de sorties d'une expression

  

Un  terme d'une somme ou un facteur d'un terme d'une somme, peut sortir de la somme comme facteur.  Il doit être non nul.

        

8x²+8 red x+2 green ⇝ red x(8x+8+2/x)

Explication : Mise en facteur de x

 

Un numérateur ou un facteur d'un numérateur peut être déplacé en dehors de la fraction.    

 

red 2y/x green ⇝ red 2(y/x)

Explication : Le facteur 2 du numérateur devient facteur de la fraction

  

PGCD en facteur

Lorsque l'on demande de mettre en facteur un nombre entier positif n dans un somme, si les termes de la sommes ont des coefficients admettant un PGCD différent de 1 et de n , EpsilonWriter propose aussi de mettre le PGCD en facteur.  

 

red 12-15x+30x² green ⇝ red 3(4-5x+10x²)

Explication : PGCD en facteur : 3

 

 

Summary

5.3. Exemples d'entrée dans une expression

 

Un facteur peut entrer dans une somme, un développement est alors effectué.  

 

red x(x²+3x-1) green ⇝ orange x³+3x²-x

Explication : Développement

 

Un facteur d'une fraction peut entrer dans le numérateur.  

 

red 2(x/3) green ⇝ red 2x/3

Explication : Multiplication par 2 de la fraction en multipliant le numérateur

 

Un  diviseur peut entrer dans une somme, un développement est alors effectué (si le diviseur est a on distribue l'inverse de a ).  

Exemple, en combinaison avec un déplacement dans une égalité :

 

red 4=x²+3x green ⇝ 1=(x²+3x)/ red 4

Geste : Passage multiplicatif dans l'autre membre, le facteur devient diviseur

Explication : Division des deux membres par 4

1=(x²+3x)/ red 4 green ⇝ 1= orange x²/4+3x/4

Explication : Développement

  

Un exposant 2 ou 3 portant sur une somme de deux termes peut entrer dans la somme, un développement est alors effectué

 

(2x+3)^ red 3 green ⇝ orange 8x³+36x²+54x+27

Développement

  

Un exposant portant sur un produit, un opposé ou une puissance peut entrer dans son argument

 

(-x)^ red 3 green ⇝ -x^ red 3

Puissance d'un opposé

 

  

Summary

5.4.  Le cas du signe -

   

Un signe - sélectionné peut faire l'objet d'un glisser-déposer, tout se passe comme si -1 avait été sélectionné avec un statut de facteur.

 

imageReference _Manuel-AD-fr.html/image56.png green ⇝ orange -x²-x+2

Explication : Développement

   

 

Summary

5.5.  Combinaisons : combinaisons additives

 

Notion de termes semblables

 

Deux termes d'une somme sont semblables lorsque chacun est de l'une des formes  A^n , cA^n , avec le même A et le même n , A étant une expression quelconque, c un nombre et n un nombre entier qui peut être omis s'il vaut 1.

 

Exemples :

x , -x , 3x , x/2 , -5x/2 , 2x^1 sont des termes semblables

(y+2)³ , -(y+2)³ , 3(y+2)³ , (y+2)³/2 , -5(y+2)³/2 sont des termes semblables

1/(y+2)³ , -1/(y+2)³ , 3/(y+2)³ , 1/(2(y+2)³) , -5/(2(y+2)³) sont des termes semblables

 

Lorsque l'option "Combinaison d'exposants positifs et négatifs" est activée,  c/A^n et kA^-n avec le même A et le même n sont aussi considérés comme des termes semblables  

  

Un terme d'une somme peut être déplacé dans cette somme sur un terme semblable pour que les deux soient remplacés par leur somme calculée.

Le calcul du coefficient tient compte de l'option "Calculer (exact...)".

 

4+ orange x/2+8+ orange x/3 green ⇝ 4+ orange 5x/6+8

Addition de termes semblables

     

Un terme d'une somme de la forme nA peut être déplacé dans cette somme sur un terme de la forme A² pour produire une forme canonique

 

orange x²+ orange 4x green ⇝ orange (x+2)²+ orange -2²

Début d'un carré

 

 

Summary

5.6.  Combinaisons : combinaisons multiplicatives

  

Notion de  facteurs semblables

 

Deux facteurs d'un produit sont semblables lorsque chacun est de l'une des formes A , A^n , avec le même A , A étant une expression quelconque, n un nombre entier.

Exemples :

(y+2) , (y+2)^-3 , (y+2)^5 sont des facteurs semblables

  

Lorsque l'option "Combinaison d'exposants positifs et négatifs" est activée,  A , 1/A , A^n , 1/A^n avec le même A  sont des facteurs semblables  

  

Un  facteur d'un produit peut être déplacé dans ce produit sur un  facteur semblable pour que les deux soient remplacés par leur produit calculé.

 

3 orange x(y+3)² orange x³(y+3)^5 green ⇝ 3(y+3)² orange x^4(y+3)^5

Multiplication de facteurs semblables

  

 

Summary

5.7.  Combinaisons : simplifications des fractions

 

Un nombre entier facteur au numérateur/dénominateur d'une fraction peut être déplacé sur un nombre entier facteur au dénominateur/numérateur de la fraction pour que les deux soient simplifiés par leur PGCD.

  

orange 12x/( orange 18y) green ⇝ orange 2x/( orange 3y)

Simplification par 6

 

Une expression de la forme X ou X^n facteur au numérateur/dénominateur d'une fraction peut être déplacée sur une expression de la forme X ou X^n  facteur au dénominateur/numérateur de la fraction pour que les deux soient simplifiées par  X^k avec k maximum.

 

y orange (x+2)²/(z orange (x+2)^5) green ⇝ y/(z orange (x+2)³)

Simplification par (x+2)²

  

Qu'est-ce que "être facteur au numérateur" dans les cas ci-dessus ?

C'est être X dans l'une des formes X/Y (-X)/Y AXB/Y (-AXB)/Y , idem pour le facteur au dénominateur.

    

 

Summary

5.8.  Combinaisons : simplifications multiplicatives des relations

 

Des simplifications analogues aux simplifications des fractions peuvent être effectuées sur les relations.

Pour les inégalités : il faut que l'expression par laquelle on simplifie soit constante et lorsque son signe est négatif, le sens de l'inégalité est inversé.

 

Attention : lorsque la simplification est faite par une expression non constante dans une équation, il y a généralement perte de solutions, par exemple, si l'on simplifie l'équation x(2x+3)=x(4-x) par x on perd la solution x=0

C'est à l'utilisateur de gérer les conditions qui accompagnent les opérations. Dans le cas ci-dessus, l'utilisateur peut ajouter "quand x≠0 " et gérer par ailleurs le cas x=0 . Il peut aussi ne pas faire l'opération et faire un traitement ne séparant pas des cas.

 

Exemple, on sélectionne un signe - par Ctrl+Clic et on le déplace sur l'autre signe -

-5xy=-3z green ⇝ 5xy=3z

Simplification des signes moins

  

5 orange x²y= orange xz green ⇝ 5 orange xy=z

Division des deux membres par x

 

 

Summary

5.9.  Combinaisons : simplifications additives des relations

 

Des simplifications additives analogues aux combinaisons additives dans les sommes peuvent être effectuées sur les relations.

orange -5x-6= orange 2x+7 green ⇝ -6= orange 7x+7

Addition aux deux membres de 5x

  

 

Summary

6. L'équivalence

 

L'équivalence indiquée par EpsilonWriter dans le popup et les explications :

 

Quand il y a équivalence, les boutons sont verts dans le popup et la flèche de l'explication est sinueuse et verte :   imageReference _Manuel-AD-fr.html/image98.png

 

L'équivalence mentionnée dans les glisser-déposer interne et externe est une équivalence apportée par le contexte et l'interprétation du geste :

 

Dans certains contextes, on sait qu'il y a équivalence modulo des conditions à ajouter le cas échéant

 

De façon plus précise :

 

Quand il y a indication d'équivalence, c'est que le contexte (interne ou externe, nature de la transformation effectuée, nature des expressions sur lesquelles elle opère)  permettent de l'affirmer, modulo des conditions à ajouter le cas échéant.

Attention, il peut parfois y avoir équivalence quand le contexte ne l'indique pas, par exemple, dans le système d'inéquations a≤b and c≤d l'ajout membre à membre des inéquations qui produit a≤b and c+a≤d+b n'est pas une opération apportant l'équivalence, seulement une implication, mais dans le cas particulier  a≤a and c≤c il y a quand même équivalence et EpsilonWriter ne l'indique pas. Donc l'équivalence indiquée n'est pas une équivalence entre expression initiale et expression transformée (comme c'est le cas dans Aplusix) mais une équivalence apportée par le contexte et la nature du geste.

  

 

Summary

7. Les explications

 

Summary

7.1. Signification des flèches

 

L'explication avec la flèche droite ci-dessous :

cd c+ad+b

Addition membre à membre de ab

se lit :

cd a été remplacé par  c+ad+b . La flèche indique le remplacement, rien de plus.

  

L'explication avec la flèche sinueuse imageReference _Manuel-AD-fr.html/image98.png ci-dessous :  

red 2(3x+y+5) green ⇝ orange 6x+2y+10

Explication : Développement

se lit  2(3x+y+5) a été remplacé par  6x+2y+10 en effectuant l'opération " développement " et il y a équivalence avec éventuellement des conditions à ajouter.

  

Dans ce cas, l'équivalence peut se trouver entre les deux expressions mentionnées ou au niveau d'un système d'équations et inéquations qui contient les deux arguments de l'opération (application d'une substitution, ajout ou soustraction membre à membre).

 

Summary

7. 2.  Le code couleur

 

Pour les déplacements, entrées, sorties, la couleur rouge indique l'élément déplacé.

 

Exemple :

red 2x=5 green ⇝ x=5/ red 2

Division des deux membres par 2

 

Dans certains cas, l'élément ne se retrouve pas dans le résultat, c'est une opération plus complexe qui est effectuée, son résultat est indiqué en marron, exemple :

red 2(3x+y+5) green ⇝ orange 6x+2y+10

Développement

  

 

Summary

8. Défaire

 

Lorsque l'on ne fait pas de duplication et que l'on ne demande pas d'explication, le résultat de l'opération remplace simplement l'expression. Dans ce cas, "défaire" (Ctrl+Z) replace dans la situation précédent l'opération.

Lorsque l'on effectue une duplication ou que l'on demande une explication, il y a production de lignes complémentaires. Dans ce cas, un premier "défaire" place dans la situation "opération  sans duplication et sans explication" et un deuxième "défaire" replace dans la situation précédent l'opération.

 

 

Summary

9. Supprimer, modifier des explications

 

Les explications sont fournies dans un paragraphe ou dans un tableau. Elles sont modifiables.