用配方法证明代数式负三X平方加X加一的值不大于12分之13