任给7个实数x(k) (k=1,2,…,7).证明其中有两个数x(i),x(j),满足不等式0≤[x(i)-x(j)]/[1+x(i)*x(j)

题目

任给7个实数x(k) (k=1,2,…,7).证明其中有两个数x(i),x(j),满足不等式0≤[x(i)-x(j)]/[1+x(i)*x(j)
任给7个实数x(k) (k=1,2,…,7).证明其中有两个数x(i),x(j),
满足不等式0≤[x(i)-x(j)]/[1+x(i)*x(j)] ≤1/(根号3).

答案

最简单的证明方法：
因为正切函数y=tan(x)是值域为R的函数,所以总可以找到(-90度,90度)上的7个角度A1,A2,...A7,使得tan(Ai) = x(i).
那么[x(i) - x(j)]/[1+x(i)*x(j)] = [tan(Ai) - tan(Aj)] / [1 + tan(Ai)tan(Aj)] = tan(Ai-Aj)
不妨设Ai>=Aj,因为如果Ai