The energy method in problems of buckling of bars with quantifier elimination. (February 2018)