Hola
Me parece que cuando se escribe \( E(X/X+Y) \)es una v.a.mientras que en tu ejemplo tu pones \( E(X/X+Y=k) \)ahi deja de ser una v.a. la igualdad se cumple para \( E(X/X+Y) \)como v.a. Es decir, \( Z=X+Y \)tiene dominio igual a \( {0,1,2,3,4} \)con probabilidades \( P(Z=0)=0,P(Z=1)=1/4, P(Z=2)=1/4, P(Z=3)=1/4, P(Z=4)=1/4 \). De ahí la \( E(X/Z)=E(Y/Z) \). Claro que si hago \( E(X/Z=0)=E(Y/Z=0)=0,E(X/Z=1)=1,E(Y/Z=1)=0 \) \( E(X/Z=2)=0,E(Y/Z=2)=2 \),
\( E(X/Z=3)=2,E(Y/Z=3)=1 \)
\( E(X/Z=4)=2,E(Y/Z=4)=2 \)
Al ser diferente alguna de las esperanzas condicionadas para un valor dado de \( Z \)entonces no se cumple, es así?, Si se cumpliera se tendría que cumplir para todos los valores de \( k \)
no?