Subversion Repositories wimsdev

Rev

Rev 16120 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16120 Rev 16209
Line 3... Line 3...
3 
!set methparmtype=parm inequality >,\
 3 
!set methparmtype=parm inequality >,\
4 
	parm inequality <,choice 3,\
 4 
	parm inequality <,choice 3,\
5 
	function,choice 4,function
 5 
	function,choice 4,function
6 
!set methparmrelax=1,2,3
 6 
!set methparmrelax=1,2,3
7 
!set methhelp=Cette méthode permet d'établir une implication entre deux\
 7 
!set methhelp=Cette méthode permet d'établir une implication entre deux\
8 
 inégalités. Cette implication peut se déduire par une composition\
 8 
  inégalités. Cette implication peut se déduire par une composition\
9 
 d'addition de termes, de \
 9 
  d'addition de termes, de \
10 
 transitivité avec une inégalité évidente, de déduction entre inégalités\
 10 
  transitivité avec une inégalité évidente, de déduction entre inégalités\
11 
 strictes et non-strictes, et de multiplication\
 11 
  strictes et non-strictes, et de multiplication\
12 
 des deux côtés d'une inégalité par une constante.\
 12 
  des deux côtés d'une inégalité par une constante.\
13 
 <p>\
 - 
 
14 
 Par exemple, elle reconnait </p><p class="wimscenter">\
 13 
  Par exemple, elle reconnait <p class="wimscenter">\
15 
   \( 2*x > -2 => -4*x < 10 - x ) .\
 14 
   \( 2*x > -2 => -4*x < 10 - x ) .\
16 
 </p>\
 15 
  </p>\
17 
 Vous pouvez utiliser cette méthode soit pour affaiblir une inégalité dans\
 16 
  Vous pouvez utiliser cette méthode soit pour affaiblir une inégalité dans\
18 
 les hypothèses, soit pour renforcer une inégalité dans le but.
 17 
  les hypothèses, soit pour renforcer une inégalité dans le but.
19 
 
 18 
 
20 
!if $wims_read_parm iswordof form check
 19 
!if $wims_read_parm iswordof form check
21 
  !goto $wims_read_parm
 20 
  !goto $wims_read_parm
22 
!endif
 21 
!endif
23 
 
 22