#===================================================
#
#  Examples for RQE based geometrical inequality proving - GGBA realted infos [1]
#  Version 1.0 - 01/02/18
#===================================================

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

#1: Triangle-Bottema1.1
# Draw a polygon with three sides, that is, a triangle ABC with sides a,b,c.
Compare((a+b+c)^2,a b+b c+c a)