Let $X, Y \sim N(0, 1)$ and $\alpha \sim U[0, 1])$, and suppose $X, Y, \alpha$ are independent. Then how to prove that $X\cos{\alpha} + Y\sin{\alpha} \sim N(0, 1)$?
For a constant $\alpha$ the claim is obvious but in the case of $\alpha \sim U[0, 1])$, the problem appears to be trickier.
I think, using the formulas for convolution of probability distributions, the following plan could work:
- We find the distribution of $X\cos{\alpha}$ and $Y\sin{\alpha}$ separately.
- We find the distribution of their sum.
But the execution of this plan would probably be overly complicated, and I feel like there must be a better way.
I would appreciate any help with this problem.