!set methtit2=用简单算术引进平凡不等式
!set methtit=引进平凡不等式
!set methenv=ZZ QQ RR
!set methparmtype=function, choice 4, function
!set methhelp=此方法允许你把不等式 \(A > B)\
加入假设, 这里 \(A - B) 是一个正数.

!if $wims_read_parm iswordof form check
 !goto $wims_read_parm
!endif

!exit
:form
 引入平凡不等式
 <input size=12 name=methparm1 value="$methparm1">
 !formselect methparm2 from 1 to 4 prompt <,>,<=,>=
 <input size=12 name=methparm3 value="$methparm3">
 !set methremark=你的不等式经过简单运算后必须是显然的.

!exit
:check
 sign=!item $methparm2 of <,>,<=,>=
 !read deduc/sub/checkineq ($methparm1) - ($methparm3),$sign,0
 !if $out!=true
  !if $out=false
   error=你的不等式不成立!
   !advance penalty
  !else
   error=unjustified
  !endif
  !exit
 !endif

 newobject0=$methparm1 $sign $methparm3
 oldobject=0
 methexp=显然的不等式

!exit

