Van-e olyan f(x,y,z) valós együtthatós polinom, amely pontosan akkor pozitív, ha az |x|, |y|, |z| hosszúságú szakaszokból háromszög szerkeszthető?