Subversion Repositories wimsdev

Rev

Rev 5763 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2071 zjchen 1 
!set methtit2=用简单算术引进平凡不等式
2 
!set methtit=引进平凡不等式
3 
!set methenv=ZZ QQ RR
4 
!set methparmtype=function, choice 4, function
5 
!set methhelp=此方法允许你把不等式 \(A > B)\
6 
加入假设, 这里 \(A - B) 是一个正数.
7 
 
8 
!if $wims_read_parm iswordof form check
9 
 !goto $wims_read_parm
10 
!endif
11 
 
12 
!exit
13 
:form
14 
 引入平凡不等式
17234 bpr 15 
 <input size=12 name=methparm1 value="$methparm1">
2071 zjchen 16 
 !formselect methparm2 from 1 to 4 prompt <,>,<=,>=
17234 bpr 17 
 <input size=12 name=methparm3 value="$methparm3">
2071 zjchen 18 
 !set methremark=你的不等式经过简单运算后必须是显然的.
19 
 
20 
!exit
21 
:check
22 
 sign=!item $methparm2 of <,>,<=,>=
23 
 !read deduc/sub/checkineq ($methparm1) - ($methparm3),$sign,0
24 
 !if $out!=true
25 
  !if $out=false
26 
   error=你的不等式不成立!
27 
   !advance penalty
28 
  !else
29 
   error=unjustified
30 
  !endif
31 
  !exit
32 
 !endif
33 
 
34 
 newobject0=$methparm1 $sign $methparm3
35 
 oldobject=0
36 
 methexp=显然的不等式
37 
 
38 
!exit
39