Hi!

I have been thinking before of function generating a normal distributed value from a random number evenly distributed between 0 and 1, but I have given up and declared it impossible by using simple formulas.

Then yesturday, in a programming forum, a guy presented a code line to generate a normal distributed value with a simple formula! But not by using a random number, but by using

*two* random numbers!

The formula looks like this:

where

is the mean,

is the standard derivation, and

is two random numbers both evenly distributed between 0 and 1. Supposably the logarithm is ment to be the natural logarithm.

I hav already found the square root to have the probability distribution function

, and the sinus function to have the distribution function

, but now is the problem, what is the distributing function

of the

*product* of the square root and the sin function?

I wrote down the following formula, but I don't know if it's true:

Someone who knows if it is true? Is this some kind of cartesian product between distribution functions? And if it is true, is there any way to simplify the integral?

Edit: It should probably be a factor two of that, so: