求证:对于任意复数 a,b,c,存在复数 z 满足 |z|=1,且有|(z−a)(z−b)(z−c)|⩾1+|abc|.
解析 设 f(x)=(x−a)(x−b)(x−c),ω=(2π3:1),则有f(x)=x3−(a+b+c)x2+(ab+bc+ca)x−abc,
于是{f(1)+f(ω)+f(ω2)=3−3abc,f(−1)+f(−ω)+f(−ω2)=−3−3abc,
设t=max{|f(1)|,|f(ω)|,|f(ω2)|,|f(−1)|,|f(−ω)|,|f(−ω2)|},
则有t⩾13max{|f(1)+f(ω)+f(ω2)|,|f(−1)+f(−ω)+f(−ω2)|}=13max{|3−3abc|,|−3−3abc|}=1+|abc|,
因此存在 z∈{±1,±ω,±ω2} 符合题意,命题得证.