同一骨架 2022 年北京预赛 · P006786
先用基准点代入把多元不等式配成非正平方,再利用乘积变量可控或遍历全体实数,把一个已知函数值扩展到所有输入。
两题的系数与基准值不同,可分别由零点或单位点起步;倒数代入只适用于非零输入,零点必须补核。最后的取整分组也不能沿用同一周期。
三元函数不等式确定函数
已知函数 ,若对任意实数 都有
求
其中 表示不超过 的最大整数。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
反复令变量为零可把三元不等式降成函数值之间的序关系,再用非零变量闭合等号条件。
先回想这道题的想法,再试试当前题。
令 ,得
即 ,所以 。 再令 ,得到 。
令 ,则
故 。当 时, 可遍历全体实数,所以所有非零点函数值相等,记为 。取 均非零,原不等式变为
从而 。因此 。
于是
末项 的整数部分均为 ; 的贡献为零,分组没有漏项。
全体实数上的多元函数不等式常由零值代入锁定 ,再利用乘积变量的遍历性证明函数恒定。
需先用全零代入把f(0)逼到平方极值,再借一变量置零迫使非零函数值相同,最后回代定常数;取整和随后按模3直接分组。
同一骨架 2022 年北京预赛 · P006786
先用基准点代入把多元不等式配成非正平方,再利用乘积变量可控或遍历全体实数,把一个已知函数值扩展到所有输入。
两题的系数与基准值不同,可分别由零点或单位点起步;倒数代入只适用于非零输入,零点必须补核。最后的取整分组也不能沿用同一周期。
已记下,谢谢!