Ha 2016

a = 4
b = 4
c = 2
zeq: b^(2) - (a - c)^(2)
bern: (x^(2) + y^(2))^(2) = (zeq * (y^(2) - x^(2)))
gero: y^(4) = (zeq * (y^(2) - x^(2)))
watt: ((x^(2) + y^(2)) * (a^(4) + (c^(2) - b^(2) + x^(2) + y^(2))^(2) - ((2 * a^(2)) * (c^(2) + x^(2) - y^(2))))) + (((2 * a^(2)) * b^(2)) * (x^(2) - y^(2))) = 0