Монгол Бодлогын Сан
Эх хэлээрээ суралцаж, эх хэлээрээ мэдлэгээ түгээе.
ММК-2, 10.2
n∈N, vi, |vi|≤1, i=¯1,n хавтгайн векторууд бол ∃ε1,…,εn∈{+1,−1}:|∑εivi|≤√2 гэж батал.
Бодлогын төрөл: Уламжлалт
Бодлогыг оруулсан: Балхүүгийн Батбаясгалан
Бодолт
Заавар: n-ээр индукцлэж батал.
Бодолт: n=1 үед илэрхий. n=2 хоёр үед |v21−v22|≤|v21|+|v22|≤2 тул
|v1−v2|≤√2∨|v1+v2|≤√2
байна. n≥3 үед хоорондох өнцөг нь ±v1,±v2,±v3 тоонуудын аль нэг хоёрын хоорондох өнцөг 60∘-ээс хэтрэхгүй байна. Эдгээр нь v1, v2 гэхэд явцуурахүй. Энэ тохиолдолд |v1−v2|≤1 тул v1−v2,v3,…,vn тоонуудын хувьд индукцээр εi,i=¯1,n−1 тоонууд олдох ба
|ε1v1−ε1v2+ε2v3+⋯+εn−1vn|≤√2
байна.