การจำเพื่อเพิ่ม n สำเนาที่เหมือนกันของ Sม./Snฉลาดมาก! แต่พวกเราบางคนไม่ฉลาดดังนั้นจึงเป็นเรื่องดีที่สามารถ "เลื่อน" ความคิดที่ยิ่งใหญ่ไปสู่ขั้นตอนที่ชัดเจนว่าจะทำอย่างไร ดูเหมือนจะมีเงื่อนงำหลายอย่างที่สมมาตรอาจมีความสำคัญจริง ๆ (นอกจากนี้คือสมมาตรและเรามีการสรุปและตัวแปร iid มีความคาดหวังเหมือนกันดังนั้นบางทีพวกมันอาจถูกสับเปลี่ยนหรือเปลี่ยนชื่อด้วยวิธีที่มีประโยชน์) ในความเป็นจริงบิต "ยาก" ของคำถามนี้คือวิธีการจัดการกับแผนกการดำเนินการที่ไม่สมมาตร เราจะใช้ประโยชน์จากความสมมาตรของการรวมได้อย่างไร? จากเส้นตรงของความคาดหวังเรามี:
E (Sม./Sn) = E (X1+ . . . +Xม.X1+ . . . +Xn) = E (X1X1+ . . . . +Xn) +. . . + E (Xม.X1+ . . . . +Xn)
แต่จากนั้นในพื้นที่สมมาตรระบุว่า Xผม คือ iid และ ม. ≤ nเงื่อนไขทั้งหมดทางด้านขวาเหมือนกัน! ทำไม? สลับป้ายกำกับของXผม และ XJ สำหรับ ฉัน, เจ≤ n. คำสองคำในตำแหน่งสวิตช์ส่วน แต่หลังจากการเรียงลำดับใหม่จะยังคงมีผลรวมอยู่Snในขณะที่ตัวเศษเปลี่ยนจาก Xผม ถึง XJ. ดังนั้นE (Xผม/Sn) = E (XJ/Sn). มาเขียนกันE (Xผม/Sn) = k สำหรับ 1 ≤ ฉัน≤ n และเนื่องจากมี ม. เงื่อนไขดังกล่าวเรามี E (Sม./Sn) = m k.
ดูเหมือนว่า k = 1 / nซึ่งจะให้ผลลัพธ์ที่ถูกต้อง แต่จะพิสูจน์ได้อย่างไร พวกเรารู้
k = E (X1X1+....+Xn)=E(X2X1+....+Xn)=...=E(XnX1+....+Xn)
เป็นเพียงในขั้นตอนนี้เท่านั้นที่มันเริ่มขึ้นกับฉันฉันควรจะเพิ่มเหล่านี้เข้าด้วยกันเพื่อให้ได้
nk=E(X1X1+....+Xn)+E(X2X1+....+Xn)+...+E(XnX1+....+Xn)
⟹nk=E(X1+...+XnX1+....+Xn)=E(1)=1
สิ่งที่ดีเกี่ยวกับวิธีนี้คือมันรักษาความเป็นเอกภาพของสองส่วนของคำถาม สาเหตุสมมาตรไม่สมบูรณ์ต้องการการปรับเปลี่ยนเมื่อm>nคือว่าข้อกำหนดทางด้านขวาหลังจากใช้เส้นตรงของความคาดหวังจะเป็นสองประเภทขึ้นอยู่กับว่า Xiในตัวเศษตั้งอยู่ในผลรวมในตัวส่วน (เหมือนก่อนหน้านี้ฉันสามารถสลับป้ายกำกับของXi และ Xj หากทั้งคู่ปรากฏในตัวส่วนเนื่องจากจะเป็นการเรียงผลรวม Snหรือถ้าไม่ทำอย่างนี้จะทำให้ผลรวมไม่เปลี่ยนแปลง แต่ถ้ามีใครทำและไม่ได้เป็นเช่นนั้นเงื่อนไขหนึ่งในการเปลี่ยนแปลงส่วนและมันจะไม่รวมอีกต่อไป Sn.) สำหรับ i≤n เรามี E(XiX1+....+Xn)=k และสำหรับ i>n เรามี E(XiX1+....+Xn)=r, พูด. เนื่องจากเรามีn จากข้อกำหนดเดิมและ m−n ของหลัง
E(Sm/Sn)=nk+(m−n)r=1+(m−n)r
จากนั้นหา r ตรงไปตรงมาโดยใช้ความเป็นอิสระของ S−1n และ Xi สำหรับ i>n: r=E(XiS−1n)=E(Xi)E(S−1n)=μE(S−1n)
ดังนั้น "กลอุบาย" เดียวกันนี้ใช้ได้กับทั้งสองส่วนมันเกี่ยวข้องกับการจัดการกับสองกรณีถ้า m>n. ฉันสงสัยว่านี่คือเหตุผลที่ทำให้คำถามทั้งสองส่วนได้รับตามลำดับนี้