รูปทรงเรขาคณิตให้ความเข้าใจที่ลึกซึ้งและความไม่เท่าเทียมแบบคลาสสิกที่เข้าถึงได้ง่าย
วิธีการแก้ปัญหาทางเรขาคณิต
เรารู้จากรูปทรงเรขาคณิตของสี่เหลี่ยมจัตุรัสน้อยที่สุดนั่นเป็นการประมาณการมุมฉากของเวกเตอร์ของข้อมูลx = ( x 1 , x 2 , … , x nx¯=(x¯,x¯,…,x¯)บน สเปซย่อยเชิงเส้นที่สร้างโดยเวกเตอร์คงที่ ( 1 , 1 , … , 1 )และ σ xx=(x1,x2,…,xn)(1,1,…,1)σxเป็นสัดส่วนโดยตรงกับ (แบบยุคลิด) ระยะห่างระหว่างและˉ x ข้อ จำกัด ที่ไม่ใช่การปฏิเสธคือเส้นตรงและระยะทางเป็นฟังก์ชันนูนดังนั้นระยะทางไกลสุดขั้วต้องบรรลุที่ขอบของกรวยที่กำหนดโดยข้อ จำกัด กรวยนี้เป็น orthant ในเชิงบวกในR nและขอบที่มีพิกัดแกนไหนได้ทันทีตามที่ทุกคน แต่หนึ่งในx ฉันต้องเป็นศูนย์ที่ระยะทางสูงสุด สำหรับชุดข้อมูลดังกล่าวการคำนวณโดยตรง (ง่าย) จะแสดงσ x / ˉ x = √xx¯.Rnxiσx/x¯=n−−√.
โซลูชันที่ใช้ประโยชน์จากความไม่เท่าเทียมแบบดั้งเดิม
σx/x¯ถูกปรับให้เหมาะสมพร้อมกันกับการแปลงแบบโมโนโทนิกใด ๆ เมื่อพิจารณาถึงสิ่งนี้
x21+x22+…+x2n(x1+x2+…+xn)2=1n(n−1n(σxx¯)2+1)=f(σxx¯).
(The formula for f may look mysterious until you realize it just records the steps one would take in algebraically manipulating σx/x¯ to get it into a simple looking form, which is the left hand side.)
An easy way begins with Holder's Inequality,
x21+x22+…+x2n≤(x1+x2+…+xn)max({xi}).
(This needs no special proof in this simple context: merely replace one factor of each term x2i=xi×xi by the maximum component max({xi}): obviously the sum of squares will not decrease. Factoring out the common term max({xi}) yields the right hand side of the inequality.)
xi0σx/x¯
x21+x22+…+x2n(x1+x2+…+xn)2≤max({xi})x1+x2+…+xn.
Because the denominator cannot be less than the numerator (which itself is just one of the terms in the denominator), the right hand side is dominated by the value 1, which is achieved only when all but one of the xi equal 0. Whence
σxx¯≤f−1(1)=(1×(n−1))nn−1−−−−−−−−−−−−−−−√=n−−√.
Alternative approach
Because the xi are nonnegative and cannot sum to 0, the values p(i)=xi/(x1+x2+…+xn) determine a probability distribution F on {1,2,…,n}. Writing s for the sum of the xi, we recognize
x21+x22+…+x2n(x1+x2+…+xn)2=x21+x22+…+x2ns2=(x1s)(x1s)+(x2s)(x2s)+…+(xns)(xns)=p1p1+p2p2+…+pnpn=EF[p].
The axiomatic fact that no probability can exceed 1 implies this expectation cannot exceed 1, either, but it's easy to make it equal to 1 by setting all but one of the pi equal to 0 and therefore exactly one of the xi is nonzero. Compute the coefficient of variation as in the last line of the geometric solution above.