8
$\begingroup$

This question was inspired by this thread I just saw on Space Exploration Stack Exchange:

https://space.stackexchange.com/questions/39163/did-feynman-cite-a-fallacy-about-only-circles-having-the-same-width-in-all-direc

where an anecdote is mentioned regarding how that the famous physicist Richard Feynman realized that part of the fault for the 1986 Space Shuttle Challenger disaster lie in not realizing that "a circle is not the only figure which has the same width in all directions".

Basically, it seems, the inspectors had tried to verify that the fuel tank sections, which are tubes and need to have cross-sections which are almost exactly perfect circles at the points at which they join together, in order to ensure a good fitting-together thereof with no leaks, by naively measuring the diameter over and over in different places and seeing that all the diameter results seemed to agree, and hence concluded the tanks were "circular".

And the problem with this is that there are non-circular shapes which have the same "diameter" at all points - a famous example being the so-called Reuleaux triangle which, if used to form the cross-section of a drill bit and then such suitably mounted, can be used to quickly and usefully make squarish holes with rounded corners.

And this, to me, raises a question: is there any way to, using only the ability to measure between points on the object's circumference, and no other points, determine if that object is or is not circular?

In more formal mathematical terms, if we have a closed plane curve $C$, then what are the conditions on the distances

$$d(a, b)$$

between points $a, b \in C$, that are necessary and sufficient for circularity of the curve?

$\endgroup$
  • $\begingroup$ Constant diameter (width) is how we typically define roundness, btw. Circularity requires constant radius. Why do you bring up the Reuleaux triangle; why is it even a thought? I ask because it seem as though you allow yourself to use the ruler to make measurements of the diameter. You recognize that constant diameter doesnt equate to circle, and thats why you bring up those special shapes. If you are allowed to use the ruler to measure out diameters, why then can you not measure out radii, thus answering your own question? $\endgroup$ – SquishyRhode Oct 4 '19 at 3:58
  • $\begingroup$ @SquishyRhode : As said, because to do so, you need the center point. If all you have on hand is a ruler and pen (which is the rules I'm imagining), how are you going to find and then track that accurately? $\endgroup$ – The_Sympathizer Oct 4 '19 at 3:59
  • $\begingroup$ You recognize that you need a center identified to measure out radii. This is true. But you need that anyway if you measure out diameters, do you not? I seem to be confused by what you are and are not allowed to use/know because you dont seem to be consistent on that. $\endgroup$ – SquishyRhode Oct 4 '19 at 4:00
  • 1
    $\begingroup$ @SquishyRhode : A diameter can be defined more generally as a segment between two points on the periphery whose length is maximal. Thus, you can identify it by fixing one end of the tape measure and then varying the other end until you find the maximum. There is no need to know the center. $\endgroup$ – The_Sympathizer Oct 4 '19 at 4:05
  • 1
    $\begingroup$ With two tape measures, we can exploit the Power of a Point theorem. Fix $A$, $B$, $C$ on the curve, and let $D$ be a variable test point, say, on the $\stackrel{\frown}{AB}$ not containing $C$. Stretch tape measures from $A$ to $B$ and from $C$ to $D$; let them meet at $P$. Provided $P$ lies in the curve's interior (if it doesn't, then you have don't even have convexity), then $D$ lies on the circumcircle of $\triangle ABC$ if and only if $|AP||BP|=|CP||DP|$. Test other arcs similarly. (Note: This doesn't require finding a center or diameter.) $\endgroup$ – Blue Oct 4 '19 at 9:02
4
$\begingroup$

A closed curve is a circle with points $a,b$ as diameter if and only if all points $c$ on the curve satisfy $d(a,c)^2+d(c,b)^2=d(a,b)^2$.

| cite | improve this answer | |
$\endgroup$
  • 2
    $\begingroup$ I.e. a diameter subtends a right angle at the circumference. $\endgroup$ – Tom Collinge Oct 4 '19 at 8:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.