Phát hiện để thêm bản sao giống hệt của là rất thông minh! Nhưng một số người trong chúng ta không thông minh lắm, vì vậy thật tuyệt khi có thể "hoãn" Ý tưởng lớn đến một giai đoạn mà rõ ràng hơn phải làm gì. Không biết bắt đầu từ đâu, dường như có một số manh mối mà tính đối xứng có thể thực sự quan trọng (bổ sung là đối xứng và chúng tôi có một số tóm tắt, và các biến iid có cùng kỳ vọng để có thể chúng được hoán đổi xung quanh hoặc đổi tên theo cách hữu ích). Trong thực tế, phần "khó" của câu hỏi này là làm thế nào để đối phó với sự phân chia, hoạt động không đối xứng. Làm thế nào chúng ta có thể khai thác tính đối xứng của tổng? Từ tuyến tính của kỳ vọng, chúng ta có:S m / S nnSm/Sn
E(Sm/Sn)=E(X1+...+XmX1+...+Xn)=E(X1X1+....+Xn)+...+E(XmX1+....+Xn)
Nhưng sau đó trên cơ sở đối xứng, cho rằng là iid và , tất cả các điều khoản ở phía bên tay phải là như nhau! Tại sao? Chuyển nhãn của và cho . Hai thuật ngữ ở vị trí chuyển đổi mẫu số nhưng sau khi sắp xếp lại nó vẫn tính tổng thành , trong khi tử số thay đổi từ sang . Vậy . Hãy viết cho và vì có thuật ngữ như vậy nên chúng tôi có .Xim≤nXiXji,j≤nSnXiXjE(Xi/Sn)=E(Xj/Sn)E(Xi/Sn)=k1≤i≤nmE(Sm/Sn)=mk
Có vẻ như sẽ tạo ra kết quả chính xác. Nhưng làm thế nào để chứng minh điều đó? Chúng tôi biếtk=1/n
k=E(X1X1+....+Xn)=E(X2X1+....+Xn)=...=E(XnX1+....+Xn)
Chỉ đến giai đoạn này, tôi mới nhận ra tôi nên thêm những thứ này lại với nhau, để có được
nk=E(X1X1+....+Xn)+E(X2X1+....+Xn)+...+E(XnX1+....+Xn)
⟹nk=E(X1+...+XnX1+....+Xn)=E(1)=1
Điều hay ho về phương pháp này là nó giữ được sự thống nhất của hai phần của câu hỏi. Lý do đối xứng bị phá vỡ, yêu cầu điều chỉnh khi , là các thuật ngữ ở phía bên phải sau khi áp dụng tuyến tính kỳ vọng sẽ có hai loại, tùy thuộc vào việc trong tử số có nằm trong tổng của mẫu số hay không. (Như trước đây, tôi có thể chuyển đổi nhãn của và nếu cả hai đều xuất hiện trong mẫu số vì điều này chỉ sắp xếp lại tổng hoặc nếu không làm như vậy rõ ràng sẽ không thay đổi tổng, nhưng nếu một và một thì không trong số các thuật ngữ trong mẫu số thay đổi và nó không còn là tổng của .) Đối với chúng tôi cóm>nXiXiXjSnSni≤nE(XiX1+....+Xn)=k và với chúng ta có , nói. Vì chúng ta có của các điều khoản trước và của các điều khoản sau,i>nE(XiX1+....+Xn)=rnm−n
E(Sm/Sn)=nk+(m−n)r=1+(m−n)r
Sau đó, việc tìm là đơn giản bằng cách sử dụng tính độc lập của và cho :rS−1nXii>nr=E(XiS−1n)=E(Xi)E(S−1n)=μE(S−1n)
Vì vậy, cùng một "mẹo" hoạt động cho cả hai phần, nó chỉ liên quan đến việc xử lý hai trường hợp nếu . Tôi nghi ngờ đây là lý do tại sao hai phần của câu hỏi đã được đưa ra theo thứ tự này.m>n