A member of the EveAndersson.com community since August 14, 2004

- Personal home page: http://www.livejournal.com/~mporter

- August 14, 2004
Some interesting facts on relative primeness here:

- 6/
**pi**^2 "is the fractional number of lattice points visible from the origin" - which is the geometric interpretation of coprimality. - The probability that n positive integers are coprime is 1/zeta(n), where zeta() is the famous Riemann zeta function. (Here's a proof for n=2.)

*within a certain distance from the origin*which are visible from it, as the distance increases without bound. Evidently it's one of those tricky infinite subsets where the order in which you count things matters...Anyway, back to

**pi**. This all started with the observation that**pi**^2 shows up in connection with a 4-dimensional sphere. Could there be some systematic connection between n-spheres and n-coprimality? Before proceeding, let me quote Mathworld again:Unfortunately, geometers and topologists adopt incompatible conventions for the meaning of "n-sphere," with geometers referring to the number of coordinates in the underlying space... and topologists referring to the dimension of the surface itself... ("Hypersphere")

In other words, for a geometer, a circle is a 2-sphere, but for a topologist, it's a 1-sphere. Up above, Michael Gurvich is using the naming conventions of a topologist; this table of area and volume formulae uses the geometer's convention.As the "Hypersphere" article describes, the general formula for hyper-surface area is 2.

**pi**^(n/2)/Gamma(n/2), where the gamma function is a generalization of the factorial function n!. Now, as it happens the gamma function also shows up in connection with the zeta function. The zeta function, which is what we need to get at those coprimality probabilities, is fundamentally harder to calculate than the gamma function, even just at integer values. We can calculate Gamma(1/2), Gamma(1), Gamma(3/2),... - i.e. all the gammas we need for the area formula - but for the zeta function, we only have a formula for even integers. zeta(3) has also been studied, but in general the Riemann zeta for odd integers seems to be very poorly understood.But back to the search for a connection. Is there perhaps some geometric construction, associated with an n-dimensional hypersphere, with which the zeta function can in turn be associated? Well, a start might be made by embedding the n-dimensional lattice of points with integer coordinates, through the inverse of an n-dimensional stereographic projection. The "line of sight" then follows a "great circle" in the (n-1)-dimensional hypersurface. The link would be complete, if the formula for hyper-surface area played a part in the derivation of the formula for fraction of points visible, with the gamma function directly carrying over from one to the other...

-- (August 14, 2004) on Pi - 6/

eve@eveandersson.com