同一骨架 2008 年天津预赛 第 4 题 · P009515
两个看似难以单独求出的量,可以先寻找反射配对,使成对的和固定。关键是证明变换后仍在原定义域中,并且配对可逆;有了这些关系,就能跳过逐个求值或解出所有根。
前题的相反输入产生互为倒数的正真数,对数相加整体抵消;后题用一个仿射反射在指数方程和对数方程的根集间建立双射,配对后再求平均。
已知函数
则
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
两个输入互为相反数。
先回想这道题的想法,再试试当前题。
根式的正负配对相乘为一,先把两个对数合成一个乘积对数。
记 ,则 。因为 ,两个对数真数都为正。于是
两根式相乘时,平方差为 ,不是零;常数项各为一,需要相加成二。 时两输入同为零,各函数值为一,也符合结果。
对数和可先合成乘积。相反输入产生互补根式时,先检查真数正性,再用平方差整体化简。
需要先认出两个输入互为相反数,再证明两根式真数都为正,将对数和合成乘积后用平方差消元;参数使输入为零的情形也应覆盖。
同一骨架 2008 年天津预赛 第 4 题 · P009515
两个看似难以单独求出的量,可以先寻找反射配对,使成对的和固定。关键是证明变换后仍在原定义域中,并且配对可逆;有了这些关系,就能跳过逐个求值或解出所有根。
前题的相反输入产生互为倒数的正真数,对数相加整体抵消;后题用一个仿射反射在指数方程和对数方程的根集间建立双射,配对后再求平均。
已记下,谢谢!