Từ giả thiết suy ra các tích x1.x2 , x2x3 , ... , xnx1 chỉ nhận một trong hai giá trị là 1 và (-1) . Mà x1.x2 + x2x3 + ... + xnx1 = 0 => n = 2m
Đồng thời có m số hạng bằng 1 , m số hạng bằng -1
Nhận thấy \(\left(x_1x_2\right)\left(x_2x_3\right)...\left(x_nx_1\right)=x_1^2.x_2^2.x_3^2...x_n^2=1\)
=> Số các số hạng bằng -1 phải là số chẵn => m = 2k
Do đó n = 4k => \(n⋮4\)