(6 + sqrt 3) ( (3+sqrt 3)* a/6 - (sqrt 3)b/3 - (3- sqrt 3)c/6 )^2 + (6 - sqrt 3) ( (3-sqrt 3)* a/6 + (sqrt 3)b/3 - (3 + sqrt 3)c/6 )^2