# 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.
#

:Valor absoluto I
XIAO, Gang
xiao@unice.fr


html
&gt;, $m_ge@&lt;, $m_le
1,2,3,4,5,6,7,8,9
1,2,3,4,5,6,7,8,9
:Aquí tenemos un argumento para resolver la desigualdad
 |x-$r3| $r1 $r4.
:Siguiendo los casos donde x-$r3 es positivo o negativo, uno obtiene la condición equivalente: x-$r3 $r2 -$r4 o x-$r3 $r1 $r4.
 Añadiendo $r3 a todos los lados de la cadena de desigualdades, x $r2 $[-$r4+$r3] o x $r1 $[$r4+$r3].
:bad_chain, abs
 add_sign, illegal
:  
Es más, podemos añadir el mismo término en todos los lados de la cadena de desigualdades.
:

:1, abs
 El caso x-$r3<0 no se debe olvidar!
 Esta desigualdad implica x-$r3 $r1 $r4.
 Añadiendo $r3 a ambos lados, x $r1 $[$r4+$r3].
:1, abs, 2, add_sign
 El caso x-$r3<0 no se debe olvidar!
 Esta desigualdad implica x-$r3 $r1 $r4.
 Pasando el término -$r3 a la derecha, x $r1 $[$r4-$r3].
:2, add_sign

 Pasando el término -$r3 a otros lados, x $r2 $[-$r4-$r3] o x $r1 $[$r4-$r3].
:1, abs

 Siguiendo los casos donde x-$r3 es positivo o negativo, uno obtiene la condición equivalente: -$r4 $r1 x-$r3 $r1 $r4.
 Añadiendo $r3 a todos los lados de la cadena de desigualdades, $[-$r4+$r3] $r1 x $r1 $[$r4+$r3].
:1, abs, 2, add_sign

 Siguiendo los casos donde x-$r3 es positivo o negativo, uno obtiene la condición equivalente: -$r4 $r1 x-$r3 $r1 $r4.
 Añadiendo $r3 a todos los lados de la cadena de desigualdades, $[-$r4-$r3] $r1 x $r1 $[$r4-$r3].
