#===================================================
#
#  Examples for RQE based geometrical inequality proving - Mma file [2]
#   Each example is given with their inputs for
#   Mma for easy copy/pasting
#   It meant to be as an input formula for the Mathematica function 
#   Resolve 
#  Version 2.0 - 17/04/20
#===================================================

#===================================================

#1: Triangle-SymmHomPoly-3-2-1
inputform3201b:=Exists[{v5,v7,v8}, m>0 \[And] v7>0 \[And] v8>0 \[And] v8^2-v5^2>=0 
\[And] -v7^2+v8^2-2v5+1==0 \[And] (v7+v8+1)^2 == m(v7 v8+v7+v8)]