数学构造法的使用