[http://www.usna.edu/CS/~qepcad/B/examples/Triangles/Triangle2.html]
(c,b,a)
3
[ b^2 + a^2 - c^2 <= 0 \/ c (b^2 + a^2 - c^2)^2 < a b^2 (2 a c - (c^2 + a^2 - b^2)) ].
finish
