用配方法证明,代数式负3x的平方减x加1的值不大于12分之13