Hice esta pregunta y ahora puedo proporcionar una respuesta que me satisfaga. Para apreciar mejor lo que sigue, le sugiero que primero lea el hilo de comentarios sobre la respuesta del Usuario de Quora. De hecho, su respuesta es un requisito previo para seguir la mía.
Mi problema original podría formularse de la siguiente manera: supongamos que tengo una bolsa que contiene bolas [matemáticas] m [/ matemáticas], [matemáticas] k [/ matemáticas] de las cuales son blancas y [matemáticas] mk [/ matemáticas] negras. Si dibujo aleatoriamente [math] k [/ math] bolas, ¿cuál es el valor esperado para el número de bolas extraídas que son blancas? Solo consideré la lógica detrás de la respuesta [matemática] k ^ 2 / m [/ matemática] en el Método 2 de Shen como un argumento plausible. Incluso me había convencido de que el resultado era correcto. Pero estaba teniendo dificultades para demostrarlo. Yo mismo había construido el Método 1 de Shen; pero estaba teniendo dificultades para simplificar la expresión con la sumatoria a [math] k ^ 2 / m [/ math]. De ahí mi pregunta. Pensé que era irónico que, como prueba, Shen simplemente afirmara lo que estaba tratando de probar en primer lugar.
Con respecto a lo que me hace cauteloso acerca de la lógica intuitiva para la expectativa: Considere el caso [matemáticas] m = 4 [/ matemáticas] y [matemáticas] k = 2 [/ matemáticas]. La mitad del tiempo, la primera bola que saque será blanca, en cuyo caso solo hay 1 posibilidad en 3 de que la segunda bola sea blanca. 2 de cada 3 si el primero era negro. Entonces tengo una expectativa como [matemáticas] (1/2) (1 + 1/3) + (1/2) (0 + 2/3) = 1, [/ matemáticas], que es la respuesta correcta. ¡Pero estaba tomando en cuenta las probabilidades condicionales ! Y la lógica intuitiva parece ignorar esto. Realmente existen dificultades cuando se trata con este tipo de problema. Entonces quería una prueba más convincente. Afortunadamente, Yves Shen me obligó a pensar en uno:
- ¿Cuánto de un área en acres y a qué profundidad es 940 x 10 a la potencia de 6 pies cúbicos?
- ¿Cómo se compara el departamento de matemáticas de Columbia con Princeton y Pomona?
- ¿Cuál es el conjunto de todas las funciones?
- Matemática Aplicada: Dibujamos un segmento de línea con la ayuda de una regla. ¿Puede su longitud ser irracional?
- ¿Por qué los isleños en el rompecabezas de la lógica de los ojos azules no se van antes, teniendo en cuenta que 'alguien tiene los ojos azules' ya es de conocimiento común?
Numere las bolas 1 a [matemáticas] m [/ matemáticas] y deje que las bolas numeradas 1 a [matemáticas] k [/ matemáticas] sean las blancas. Ahora cree una matriz con [math] m! [/ Math] filas en las que todas las filas son diferentes y cada fila corresponde a una de las permutaciones de [math] [1, m] [/ math] [math]. [/ Math ] El número de permutaciones para las cuales un valor dado aparece en una posición especificada en una permutación es [math] (m-1)! [/ Math], por lo que hay [math] (m-1)! [/ Math] de cada valor en cada columna, para un total [matemática] k ^ 2 (m-1)! [/ matemática] ocurrencias de valores en [matemática] [1, k] [/ matemática] en la primera [matemática] k [ / math] columnas. Una prueba para el dibujo puede verse como elegir una fila al azar y tomar la primera [matemática] k [/ matemática] de esa fila. Como el total de todas las filas es [matemática] k ^ 2 (m-1)! [/ Matemática], entonces el promedio de todas las filas [matemática] m! [/ Matemática] (igualmente probable) sale a [matemática] k ^ 2 / m. [/ Matemáticas]
Entonces, como Shen estaba tratando de convencerme, la expectativa en cada columna es [matemática] k / m [/ matemática] y, a largo plazo, realmente puede agregar esas expectativas por columna de forma independiente.
Tenga en cuenta también que usar el mismo número para el número de bolas extraídas y el número del color contado ([matemática] k [/ matemática]) no es importante. Si sacamos bolas [matemáticas] d [/ matemáticas], la expectativa es [matemáticas] dk / m [/ matemáticas] blancas.