Hình học cung cấp cái nhìn sâu sắc và bất bình đẳng cổ điển có khả năng dễ dàng truy cập vào sự nghiêm ngặt.
Giải pháp hình học
Chúng ta biết, từ hình học của các hình vuông nhỏ nhất , là hình chiếu trực giao của vectơ của dữ liệu trên không gian con tuyến tính được tạo bởi vectơ không đổi và tỷ lệ thuận với khoảng cách (Euclide) giữa và Các ràng buộc không âm là tuyến tính và khoảng cách là một hàm lồi, từ đó các cực trị của khoảng cách phải đạt được tại các cạnh của hình nón được xác định bởi các ràng buộc. Hình nón này là phần chỉnh hình dương trongx=(x1,x2,...,xn)(1,1,...,1)σxx¯= ( X¯, x¯, Lọ , x¯)x =( x1, x2, Lọ , xn)( 1 , 1 , ĐI , 1 )σxˉ x . R n x i σ x / ˉ x = √xx¯.Rnvà các cạnh của nó là các trục tọa độ, từ đó ngay lập tức theo sau tất cả ngoại trừ một trong các phải bằng 0 ở khoảng cách tối đa. Đối với một tập hợp dữ liệu như vậy, phép tính trực tiếp (đơn giản) hiển thịxTôiσx/ x¯= n--√.
Giải pháp khai thác bất đẳng thức cổ điển
σx/ x¯ được tối ưu hóa đồng thời với mọi chuyển đổi đơn điệu của chúng. Trước điều này, hãy tối đa hóa
x21+ x22+…+x2n(x1+x2+…+xn)2=1n(n−1n(σxx¯)2+1)=f(σxx¯).
(Công thức cho có thể trông bí ẩn cho đến khi bạn nhận ra nó chỉ ghi lại các bước người ta sẽ thực hiện khi thao tác đại số để đưa nó vào một hình thức đơn giản, đó là phía bên tay trái.)σ x / ˉ xfσx/x¯
Một cách dễ dàng bắt đầu với Bất bình đẳng của Chủ sở hữu ,
x21+x22+…+x2n≤(x1+x2+…+xn)max({xi}).
(Điều này không cần bằng chứng đặc biệt trong ngữ cảnh đơn giản này: chỉ thay thế một yếu tố của mỗi thuật ngữ bằng thành phần tối đa : rõ ràng tổng bình phương sẽ không giảm. ra thuật ngữ chung mang lại phía bên phải của bất đẳng thức.) max ( { x i } ) tối đa ( { x i } )x2i=xi×ximax({xi})max({xi})
Vì không phải là tất cả (sẽ không để lại ), nên chia cho bình phương tổng của chúng là hợp lệ và cho bất đẳng thức tương đương 0 σ x / ˉ xxi0σx/x¯
x21+ x22+ ... + x2n( x1+ x2+ ... + xn)2≤ tối đa ( { xTôi} )x1+ x2+ ... + xn.
Bởi vì mẫu số không thể nhỏ hơn tử số (bản thân nó chỉ là một trong các số hạng trong mẫu số), phía bên phải bị chi phối bởi giá trị , chỉ đạt được khi tất cả trừ một trong số bằng . Từ đâux i 01xTôi0
σxx¯≤ f- 1( 1 ) = (1×(n−1))nn−1−−−−−−−−−−−−−--√= n--√.
Cách tiếp cận khác
Vì là không âm và không thể tổng bằng , nên các giá trị xác định phân phối xác suất trên . Viết cho tổng của , chúng tôi nhận ra 0 p ( i ) = x i /xTôi0F { 1 , 2 , ... , n } s x ip ( i ) = xTôi/ ( x1+ x2+…+xn)F{ 1 , 2 , ... , n }sxi
x21+x22+…+x2n(x1+x2+…+xn)2=x21+x22+…+x2ns2=(x1s)(x1s)+(x2s)(x2s)+…+(xns)(xns)=p1p1+p2p2+…+pnpn=EF[p].
Thực tế tiên đề rằng không có xác suất nào có thể vượt quá ngụ ý kỳ vọng này cũng không thể vượt quá , nhưng thật dễ dàng để làm cho nó bằng bằng cách đặt tất cả trừ một trong số bằng và do đó chính xác một trong số là khác không. Tính hệ số biến thiên như trong dòng cuối cùng của giải pháp hình học ở trên.1 1 p i 0 x i111pi0xi