Deriving Solid Angle Formulation from Definition

[mnb96]

Hello,
it is often written in books that the solid angle \Omega subtended by an oriented surface patch can be computed with a surface integral:

\Omega = \int\int_S \frac{\mathbf{r}\cdot \mathbf{\hat{n}} }{|\mathbf{r}|^3}dS

where r is the position vector for the patch dS and n its normal (see also wikipedia).
However I would like to know how to derive this formula from the definition of solid angle, that is: the area of the the projection of a surface on the unit sphere.I can already see that:

\frac{\mathbf{r}}{|\mathbf{r}|} \cdot \mathbf{\hat{n}} dS = cos(\theta)dS

where \theta is the angle between the position (unit)-vector for dS and the normal vector for dS

Unfortunately I don't understand where that |\mathbf{r}|^{-2} comes from.

 

[LCKurtz]

I think the 1/|r|² factor just scales the area down to its projection on a unit sphere. Your expression

<br /> \frac{\mathbf{r}}{|\mathbf{r}|} \cdot \mathbf{\hat{n}} dS = cos(\theta)dS<br />

gives the projection of the surface patch on the sphere of radius |r|. Since area is proportional to the square of the radius, you need the 1/|r|² to scale it down to the unit sphere.

 

[mnb96]

Ok, thanks.
Now I see how it works.

I was just wondering how to sketch a rigorous proof that the surface area of an infinitesimal "disk" dA is projected onto an infinitesimal spherical cap d\Omega having area |\mathbf{r}|^{-2}dA.

 

[HallsofIvy]

In order to have a rigorous proof of anything involving "infinitesmals" you will need to to "nonstandard analysis" where infinitesmals themselves are rigorously defined! Otherwise you will need to be content with limit proofs. What does the "\mathbf{r}" represent in |\mathbf{r}|^{-2}dA?