题目来源:汤家凤2020《接力题典1800》p.23_39
Q:为什么会想到设这么复杂的辅助函数?
A:题目要证明的是
a f ( ξ ) − ( b − ξ ) f ′ ( ξ ) = 0 af(\xi) - (b - \xi) f'(\xi) = 0 af(ξ)−(b−ξ)f′(ξ)=0
这个式子应该是提出一个不为0的(可能或者说应该含有x的)公因式后代入 x = ξ x = \xi x=ξ得到的。设提出的公因式为 p ( x ) p(x) p(x)。
还原
p ( x ) [ a f ( x ) − ( b − x ) f ′ ( x ) ] p(x) [af(x) - (b - x) f'(x)] p(x)[af(x)−(b−x)f′(x)]
打开中括号
a p ( x ) f ( x ) − ( b − x ) p ( x ) f ′ ( x ) a p(x) f(x) - (b - x) p(x) f'(x) ap(x)f(x)−(b−x)p(x)f′(x)
设辅助函数为
h ( x ) = q ( x ) f ( x ) h(x) = q(x)f(x) h(x)=q(x)f(x)
求一阶导