# Format of the scenario data file: Multi-record data file.
#
# Record 1: header.
#	Line 1: title
#	Line 2: author
#	Line 3: email
#	Line 4: translator
#	Line 5: email
#	Line 6: format (html,tex; default html)
#	Line 7 and up: random data.
# Record 2: presentation of the problem.
# Record 3: Good scenario. One step per line.
# Record 4: Seemingly bad reason(s) for each step, one line per step.
# Record 5: Remarks. One line per step.
# Record 6: Reserved.
# Record 7 and up: Bad scenarios.
#	Line 1: starting step, bad reason.
#	Line 2: remark.
#	Line 3 and up: one step per line.
#

:Valeur absolue I
XIAO, Gang
xiao@unice.fr


html
&lt;, $m_le@&gt;, $m_ge
1,2,3,4,5,6,7,8,9
1,2,3,4,5,6,7,8,9
:Voici un raisonnement pour rsoudre l'ingalit
 |x-$r3| $r1 $r4.
:Suivant les cas o x-$r3 est positif ou ngatif, on obtient une condition quivalente&nbsp;: -$r4 $r1 x-$r3 $r1 $r4.
 Ajoutant $r3  tous les cts de la chane d'ingalit, $[-$r4+$r3] $r1 x $r1 $[$r4+$r3].
:bad_chain, abs
 add_sign, illegal
:  
Nous avons bien le droit d'ajouter un mme terme  tous les cts d'une chane d'ingalits.
:

:1, abs
 Il ne faut pas oublier le cas o x-$r3<0&nbsp;!
 Cette ingalit implique x-$r3 $r1 $r4.
 Ajouter $r3 aux deux cts, x $r1 $[$r4+$r3].
:1, abs, 2, add_sign
 Il ne faut pas oublier le cas o x-$r3<0&nbsp;!
 Cette ingalit implique x-$r3 $r1 $r4.
 Dplacer le terme -$r3  droite, x $r1 $[$r4-$r3].
:2, add_sign

 Dplacer le terme -$r3 aux autres cts, $[-$r4-$r3] $r1 x $r1 $[$r4-$r3].
:2, illegal

 Dplacer le terme -$r3  gauche, $[-$r4-$r3] $r1 x $r1 $[$r4].
:2, illegal

 Dplacer le terme -$r3  gauche, $[-$r4+$r3] $r1 x $r1 $[$r4].
:2, illegal

 Dplacer le terme -$r3  droite, $[-$r4] $r1 x $r1 $[$r4-$r3].
:2, illegal

 Dplacer le terme -$r3  droite, $[-$r4] $r1 x $r1 $[$r4+$r3].
 
:1, abs

 Suivant les cas o x-$r3 est positif ou ngatif, on obtient une condition quivalente&nbsp;: x-$r3 $r2 -$r4 ou x-$r3 $r1 $r4.
 Ajouter $r3  tous les cts de la chane d'ingalit&nbsp;: x $r2 $[-$r4+$r3] ou x $r1 $[$r4+$r3].
:1, abs, 2, add_sign

 Suivant les cas o x-$r3 est positif ou ngatif, on obtient une condition quivalente&nbsp;: x-$r3 $r2 -$r4 ou x-$r3 $r1 $r4.
 Ajouter $r3  tous les cts de la chane d'ingalit&nbsp;: x $r2 $[-$r4-$r3] ou x $r1 $[$r4-$r3].
