Ratio of circumference to diameter for infinitely large circ

Click For Summary
SUMMARY

The discussion centers on the concept of an infinitely large circle and its relationship to the mathematical constant pi. Participants assert that an infinitely large circle does not exist in traditional geometry, but generalized circles can be conceptualized, particularly in projective geometry. The conversation also explores the implications of defining circumference and diameter in higher dimensions, specifically through the lens of n-spheres and their volume equations. Ultimately, the participants conclude that the ratio of circumference to diameter remains pi, contingent upon the definitions used.

PREREQUISITES
  • Understanding of basic geometry concepts, including circles and their properties.
  • Familiarity with projective geometry and generalized circles.
  • Knowledge of n-spheres and their volume equations.
  • Basic grasp of mathematical limits and definitions.
NEXT STEPS
  • Research projective geometry and its implications for circles at infinity.
  • Study the properties and equations of n-spheres, including volume calculations.
  • Explore the concept of generalized circles and their mathematical definitions.
  • Investigate the role of limits in defining geometric properties in higher dimensions.
USEFUL FOR

Mathematicians, geometry enthusiasts, and students exploring advanced concepts in geometry and projective spaces will benefit from this discussion.

Darkmisc
Messages
222
Reaction score
31
If you divided the circumference of an infinitely large circle by its diameter, would the result be pi?
 
Mathematics news on Phys.org
There is no such thing as an infinitely large circle, even in theory.
 
  • Like
Likes   Reactions: PeroK
There is no such thing as an infinitely large circle. For every circle growing bigger and bigger it stays true.

Edit: at least the same wording :smile:
 
Cheers. Thanks.
 
andrewkirk said:
There is no such thing as an infinitely large circle, even in theory.

There is actually. It's a straight line. Although we often call lines generalized circles instead of circles. https://en.wikipedia.org/wiki/Generalised_circle
Although I don't know how to give those generalized circles a diameter and circumference in general. Perhaps by going to the Riemann sphere model...
 
micromass said:
Perhaps by going to the Riemann sphere model...
I have thought about a solution of this kind, but couldn't imagine a sensible way to define diameter and circumference. Also projective spaces seem to be of little help. I'm quite sure that the passage to the limit as phrased in the OP would only lead to something like ##\frac{\infty}{\infty} = \pi##. But interesting to know about generalized circles. (Where the h... do you know all these exceptional and exotic stuff from? I never even came close to it.)

A thought of mine has been another generalization: What happens in higher dimensions?
If we consider ##n-##spheres, then the volume (of the surface) becomes ##V(S_r^n) = c(n) \cdot r^{n}## for some function ##c(n)##.
Then ## c(n) = 2 \pi^{\frac{n+1}{2}} \Gamma(\frac{n+1}{2})## and all the magic about the definition of ##\pi## is camouflaged by this function ##c##.
In this case we would have driven research on ##c## and ##\pi## would have been simply ##\frac{1}{2} c(1)##.
Of course the magic will return by the vast number of occurrences of ##\frac{1}{2} c(1)## and we might would have named it ##\pi##. However, the question in the OP would look rather exotic from this point of view: What happens to ##\frac{V(S_r^1)}{c(1)}## if ##r## is infinitely large?
The ##2-##dimensional world is a rather special one and so is ##\pi##. A metric at infinity appears edgy to me.
 
fresh_42 said:
I have thought about a solution of this kind, but couldn't imagine a sensible way to define diameter and circumference. Also projective spaces seem to be of little help. I'm quite sure that the passage to the limit as phrased in the OP would only lead to something like ##\frac{\infty}{\infty} = \pi##. But interesting to know about generalized circles. (Where the h... do you know all these exceptional and exotic stuff from? I never even came close to it.)

A thought of mine has been another generalization: What happens in higher dimensions?
If we consider ##n-##spheres, then the volume (of the surface) becomes ##V(S_r^n) = c(n) \cdot r^{n}## for some function ##c(n)##.
Then ## c(n) = 2 \pi^{\frac{n+1}{2}} \Gamma(\frac{n+1}{2})## and all the magic about the definition of ##\pi## is camouflaged by this function ##c##.
In this case we would have driven research on ##c## and ##\pi## would have been simply ##\frac{1}{2} c(1)##.
Of course the magic will return by the vast number of occurrences of ##\frac{1}{2} c(1)## and we might would have named it ##\pi##. However, the question in the OP would look rather exotic from this point of view: What happens to ##\frac{V(S_r^1)}{c(1)}## if ##r## is infinitely large?
The ##2-##dimensional world is a rather special one and so is ##\pi##. A metric at infinity appears edgy to me.

You mention some interesting stuff. Circles with centers at infinity do indeed exist in projective geometry: they consist of a normal line together with the line at infinity. I won't go into detail, but the related theory is very exciting: see "perspectives on projectie gometry" by Richter-Gebert.

I'll only say this (which is the top of the iceberg really). A circle with center ##(a,b,c)## (homogeneous coordinates and through a point ##(x,y,z)## can be described by a matrix ##M##. A point ##p=(q,r,s)## lies on the circle iff ##pMp^T = 0##. The matrix ##M## can seen to be:
\left(\begin{array}{cc} c^2 & 0 & -ac\\ 0 & c^2 & -bc\\ -ac & -bc & 2axc + 2byc - c^2 (x^2 + y^2) \end{array}\right)

Extracting the factor ##c## and canceling it by homogenization, and then setting ##c=0## gives us
\left(\begin{array}{cc} 0 & 0 & -a\\ 0 & 0& -b\\ -a & -b & 2axc + 2byc \end{array}\right)
which is a conic consisting of the line through infinity and the line at infinity.

Using the right limit process, it doesn't seem outrageous to find that the "circumference" divided by the "diameter" is again ##\pi##. But everything depends on the definition of these terms. Defining the circumference as ##\pi d##, the result is rather trivial. Using another definition for circumference might make things less trivial.
 
  • Like
Likes   Reactions: fresh_42

Similar threads

  • · Replies 28 ·
Replies
28
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 13 ·
Replies
13
Views
6K
  • · Replies 37 ·
2
Replies
37
Views
9K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K