Бинарное отношение

В шаблонную формулу

(a (Оп1 b Оп2)) Relation (g (Оп3 d Оп4))

подставляются результаты, и получается:

(abs ((b-a-5*a)) = (Æ((2*a+b)*a/2)

упрощение формулы:

| b – a – 5a | = (2a + b) ^a/2

Построение графика.

По данному отношению с помощью программ MathCad или MathLab, или же от руки, можно построить график: