Tô pô đại cương, VI, p. 25
Cho x1,…,xn là một số hữu hạn các điểm trong một không gian Euclid Rm. Đặt
s=n1k=1∑nxk,r2=n1k=1∑n∥xk∥2(r⩾0)
và ta có ∥s∥⩽r.
a) Bây giờ chứng minh rằng với mọi chỉ số k, ta có
∥xk−s∥⩽((n−1)(r2−∥s∥2))1/2
(nhận thấy rằng ta có ∑k=1n∥xk−s∥2=n(r2−∥s∥2) và sắp xếp các ∥xk−s∥ theo thứ tự tăng).
b) Bây giờ chứng minh rằng ta có ∑j<i∥xi−xj∥2=n∑k=1n∥xk−s∥2. Suy ra rằng ta có
i<jsup∥xi−xj∥⩽(2n(r2−∥s∥2))1/2.
(Đánh số các xk sao cho giá trị lớn nhất M của các ∥xi−xj∥ là ∥xn−1−xn∥. Đặt tk=(2xk−xn−1−xn)/M, và tính tổng
k=1∑n−2∥tk−tn−1∥2+k=1∑n−1∥tk−tn∥2
bằng cách nhận thấy rằng tn−1+tn=0.)