Set . In polar coordinates, the event is , the angular sectorBecause has the continuous uniform distribution on an interval of length , the probability is the sector's angular length divided by :The symmetry of the standard normal distribution in makes the lower sector equally likely. Their disjoint union is , apart from , an event of probability zero. Therefore the requested cumulative distribution function isThis is the unit-scale half-Cauchy distribution. At there is no atom, and as the cumulative distribution function tends to one.
The left panel uses , giving a sector of angle and probability . The right panel displays the domain for the next change of variables for probability densities; a vertical section through it determines the conditional range.
Articles by others on the same topic
There are currently no matching articles.
