ternary quadratic form inequality, composite theorem, real number, positive number, inequality, triangle