\title{Fracciones}
\author{Gang Xiao}
\email{xiao@unice.fr}
\language{en}
\options{nofloat expand}
\text{methrand=random(trans,addineq)}
\methods{ineq/rewrite, ineq/simpdeduc, ineq/mulexp, ineq/divexp,
ineq/\methrand, ineq/mulineq, ineq/sqrpos}
\minsteps{3}

\text{kind=random(enteros, números reales, números racionales)}
\matrix{vars=a,b
c,d
x,y
r,s
s,t
p,q
}
\text{vars=randomrow(\vars)}
\text{x=item(1,\vars)}
\text{y=item(2,\vars)}
\matrix{data=>,>,>=,2
<,<,>=,2
<,>,<=,-2
>,<,<=,-2
}
\text{data=randomrow(\data)}
\text{s1=item(1,\data)}
\text{s2=item(2,\data)}
\text{sign=item(3,\data)}
\text{right=item(4,\data)}

\text{left=maxima(\x/\y + \y/\x;)}
\text{prv=\left \sign \right}
\context{\x \s1 0
\y \s2 0
}
\goal{\prv}

\statement{Sea \(\x) y \(\y) dos \kind con \(\x \s1 0) y
\(\y \s2 0). Probar \( \prv ) .
}
