ако a 2 + b 2 + c 2  213 и ab + bc + ca  6 , тогава a + b + c е
"по формула , ( a + b + c )  2  a  2 + b  2 + c  2 + 2 ( ab + bc + ca ) , тъй като , a  2 + b  2 + c  213 и ab + bc + ca  6 , ( a + b + c )  2  2 2 213
sqrt(add(213, multiply(6, 2)))