超定方程