I recently know that following results.
suppose that $x_1, x_2, x_3$ are independent real Gaussian random variables with $\mathcal{N}(0, 1)$. Then
$$ \frac{x_1 + x_2 x_3}{\sqrt{1+x_3^2}} \sim \mathcal{N}(0, 1) $$
We can prove this result by direct computing. But I am wondering if there is a simpler way. Also, since this result is interesting. I am wondering if there is any generalization
Thanks