- Joined
- Jun 25, 2011
- Messages
- 400
I meant to post this in the "Degree of Sharpness" thread, but the server kept timing out, so I made a new thread. Moderators should probably move this post back into that thread?
I'm reluctant to get mired in various internet debates. ("Omg, someone is *wrong* on the internet!" https://xkcd.com/386/ )
But hopefully this is a succinct and clear explanation of what I believe *almost everyone* already knows, either intuitively or technically.
Let's separate our problem into two cases:
(1) The ideal mathematical case.
(2) The real world case.
You can see that if we zoom into the intersection of two smooth (ie: differentiable) curves, we form a "corner." If you were to zoom in infinitely close (infinite magnification), then the two sides of the corners will become the tangent lines. These two tangent lines intersect at the same point the two curves intersect.
"Differentiable" just means that if you zoom into a point on the curve then the curve gets closer and closer to the tangent line at that point. And as you take the limit of magnification going to infinity, the curve will become the tangent line (for an arbitrarily small neighborhood around the point of tangency).
The above is just informal; those of you who know calculus will be able to translate what I mean into technical math.
In the real world, the convex edge is similar to a v-edge. In the ideal mathematical world, both the V-edge and the convex edge have well defined angles at the apex. But we live in the real world, where *neither* v-edges nor convex edges have a "well defined" apex angle (at least not well-defined in the technical sense).
I'm reluctant to get mired in various internet debates. ("Omg, someone is *wrong* on the internet!" https://xkcd.com/386/ )
But hopefully this is a succinct and clear explanation of what I believe *almost everyone* already knows, either intuitively or technically.
Let's separate our problem into two cases:
(1) The ideal mathematical case.
(2) The real world case.

You can see that if we zoom into the intersection of two smooth (ie: differentiable) curves, we form a "corner." If you were to zoom in infinitely close (infinite magnification), then the two sides of the corners will become the tangent lines. These two tangent lines intersect at the same point the two curves intersect.
"Differentiable" just means that if you zoom into a point on the curve then the curve gets closer and closer to the tangent line at that point. And as you take the limit of magnification going to infinity, the curve will become the tangent line (for an arbitrarily small neighborhood around the point of tangency).
The above is just informal; those of you who know calculus will be able to translate what I mean into technical math.
In the real world, the convex edge is similar to a v-edge. In the ideal mathematical world, both the V-edge and the convex edge have well defined angles at the apex. But we live in the real world, where *neither* v-edges nor convex edges have a "well defined" apex angle (at least not well-defined in the technical sense).