Hola
Puedes llamar Z=X+Y para verlo más claro.
Entonces tu hipótesis es que
\( E(X|Z\leq k)=E(Z-X|Z\leq k) \)
Y en realidad poco puedes concluir de esto. Ten en cuenta que si por ejemplo la variable \( Z \) toma siempre valores menores o iguales que k, condicionar no aporta nada, simplemente tendrías dos variables \( X \) y \( Y=X-Z \) con la misma media; eso por si solo no aporta ninguna información respecto a los puntos 1,2,4.
En cuanto a si tienen la misma media, tampoco podemos asegurarlo. Si la condición \( X+Y\leq k \) es muy restrictiva es como si nos estuviésemos fijando sólo en comportamientos parciales de esas variables. Luego no sabemos como va a ser su media sin esa restricción.
Saludos.