Mathematics and the art of linearizing the circle

Clash Royale CLAN TAG#URR8PPP
$begingroup$
[I edited the question and put stronger emphasis on "constant curvature" than on "naturalness".]
One of the most prominent problems of ancient mathematics was the squaring of the circle: to construct the square with the same area as a given circle.
A related problem is linearizing the circle: to find a natural transition between a given line segment of length $L$ (having constant curvature $0 = 1/infty$) and the circle with circumference $U = 2pi R = L$ (with constant curvature $1/R$) going through circle segments of length $L$ (with intermediate constant curvatures $1/R'$, $infty > R' > R$).
The question is: Along which paths do the points of the line segment move to finally yield the circle?
This is how the transition looks like:

The points of the line segments follow these paths:

as can be seen here:

To be honest: Even though these paths look very much like circle segments, I'm not quite sure and I didn't define them by an explicit formula (which I didn't have at hand) but heuristically using some support points and splining.
My questions are:
Are these paths really circle segments?
If so: How to parametrize them?
If not so: What kind of curves are they otherwise?
Please allow me – freely associating – to compare the pictures above with this (artificially symmetrized) picture of The Great Wave off Kanagawa

modular-arithmetic euclidean-geometry projective-geometry visualization art
$endgroup$
|
show 9 more comments
$begingroup$
[I edited the question and put stronger emphasis on "constant curvature" than on "naturalness".]
One of the most prominent problems of ancient mathematics was the squaring of the circle: to construct the square with the same area as a given circle.
A related problem is linearizing the circle: to find a natural transition between a given line segment of length $L$ (having constant curvature $0 = 1/infty$) and the circle with circumference $U = 2pi R = L$ (with constant curvature $1/R$) going through circle segments of length $L$ (with intermediate constant curvatures $1/R'$, $infty > R' > R$).
The question is: Along which paths do the points of the line segment move to finally yield the circle?
This is how the transition looks like:

The points of the line segments follow these paths:

as can be seen here:

To be honest: Even though these paths look very much like circle segments, I'm not quite sure and I didn't define them by an explicit formula (which I didn't have at hand) but heuristically using some support points and splining.
My questions are:
Are these paths really circle segments?
If so: How to parametrize them?
If not so: What kind of curves are they otherwise?
Please allow me – freely associating – to compare the pictures above with this (artificially symmetrized) picture of The Great Wave off Kanagawa

modular-arithmetic euclidean-geometry projective-geometry visualization art
$endgroup$
4
$begingroup$
Do we have an actual definition of what it means for this transition to "appear natural"?
$endgroup$
– Morgan Rodgers
Feb 27 at 17:56
5
$begingroup$
I think it would be "natural" to think of a family of curves $gamma_t$, $tin[0,1]$, of constant curvature such that $gamma_0$ is the flat line (curvature 0), $gamma_1$ is the circle (curvature 1/R) and each $gamma_t$ has curvature $tcdot1/R$.
$endgroup$
– Mars Plastic
Feb 27 at 18:06
2
$begingroup$
I think you could probably make a map that "appears natural" using circles for the paths, and you could also probably make a different map without using circles that also "appears natural". So without a definition of what that term means, I don't know what answer you are looking for.
$endgroup$
– Morgan Rodgers
Feb 27 at 18:08
2
$begingroup$
Maybe I'm missing something, but this 'transition' seems quite arbitrary to me.
$endgroup$
– rafa11111
Feb 27 at 18:20
2
$begingroup$
You ask about making it "appear natural", but it's not clear what this means. You have things that look like circle segments, and you ask if they "really are circle segments", but we just have a picture, so how can we tell?
$endgroup$
– Morgan Rodgers
Feb 27 at 18:34
|
show 9 more comments
$begingroup$
[I edited the question and put stronger emphasis on "constant curvature" than on "naturalness".]
One of the most prominent problems of ancient mathematics was the squaring of the circle: to construct the square with the same area as a given circle.
A related problem is linearizing the circle: to find a natural transition between a given line segment of length $L$ (having constant curvature $0 = 1/infty$) and the circle with circumference $U = 2pi R = L$ (with constant curvature $1/R$) going through circle segments of length $L$ (with intermediate constant curvatures $1/R'$, $infty > R' > R$).
The question is: Along which paths do the points of the line segment move to finally yield the circle?
This is how the transition looks like:

The points of the line segments follow these paths:

as can be seen here:

To be honest: Even though these paths look very much like circle segments, I'm not quite sure and I didn't define them by an explicit formula (which I didn't have at hand) but heuristically using some support points and splining.
My questions are:
Are these paths really circle segments?
If so: How to parametrize them?
If not so: What kind of curves are they otherwise?
Please allow me – freely associating – to compare the pictures above with this (artificially symmetrized) picture of The Great Wave off Kanagawa

modular-arithmetic euclidean-geometry projective-geometry visualization art
$endgroup$
[I edited the question and put stronger emphasis on "constant curvature" than on "naturalness".]
One of the most prominent problems of ancient mathematics was the squaring of the circle: to construct the square with the same area as a given circle.
A related problem is linearizing the circle: to find a natural transition between a given line segment of length $L$ (having constant curvature $0 = 1/infty$) and the circle with circumference $U = 2pi R = L$ (with constant curvature $1/R$) going through circle segments of length $L$ (with intermediate constant curvatures $1/R'$, $infty > R' > R$).
The question is: Along which paths do the points of the line segment move to finally yield the circle?
This is how the transition looks like:

The points of the line segments follow these paths:

as can be seen here:

To be honest: Even though these paths look very much like circle segments, I'm not quite sure and I didn't define them by an explicit formula (which I didn't have at hand) but heuristically using some support points and splining.
My questions are:
Are these paths really circle segments?
If so: How to parametrize them?
If not so: What kind of curves are they otherwise?
Please allow me – freely associating – to compare the pictures above with this (artificially symmetrized) picture of The Great Wave off Kanagawa

modular-arithmetic euclidean-geometry projective-geometry visualization art
modular-arithmetic euclidean-geometry projective-geometry visualization art
edited Feb 28 at 8:46
Hans-Peter Stricker
asked Feb 27 at 16:59
Hans-Peter StrickerHans-Peter Stricker
6,69443995
6,69443995
4
$begingroup$
Do we have an actual definition of what it means for this transition to "appear natural"?
$endgroup$
– Morgan Rodgers
Feb 27 at 17:56
5
$begingroup$
I think it would be "natural" to think of a family of curves $gamma_t$, $tin[0,1]$, of constant curvature such that $gamma_0$ is the flat line (curvature 0), $gamma_1$ is the circle (curvature 1/R) and each $gamma_t$ has curvature $tcdot1/R$.
$endgroup$
– Mars Plastic
Feb 27 at 18:06
2
$begingroup$
I think you could probably make a map that "appears natural" using circles for the paths, and you could also probably make a different map without using circles that also "appears natural". So without a definition of what that term means, I don't know what answer you are looking for.
$endgroup$
– Morgan Rodgers
Feb 27 at 18:08
2
$begingroup$
Maybe I'm missing something, but this 'transition' seems quite arbitrary to me.
$endgroup$
– rafa11111
Feb 27 at 18:20
2
$begingroup$
You ask about making it "appear natural", but it's not clear what this means. You have things that look like circle segments, and you ask if they "really are circle segments", but we just have a picture, so how can we tell?
$endgroup$
– Morgan Rodgers
Feb 27 at 18:34
|
show 9 more comments
4
$begingroup$
Do we have an actual definition of what it means for this transition to "appear natural"?
$endgroup$
– Morgan Rodgers
Feb 27 at 17:56
5
$begingroup$
I think it would be "natural" to think of a family of curves $gamma_t$, $tin[0,1]$, of constant curvature such that $gamma_0$ is the flat line (curvature 0), $gamma_1$ is the circle (curvature 1/R) and each $gamma_t$ has curvature $tcdot1/R$.
$endgroup$
– Mars Plastic
Feb 27 at 18:06
2
$begingroup$
I think you could probably make a map that "appears natural" using circles for the paths, and you could also probably make a different map without using circles that also "appears natural". So without a definition of what that term means, I don't know what answer you are looking for.
$endgroup$
– Morgan Rodgers
Feb 27 at 18:08
2
$begingroup$
Maybe I'm missing something, but this 'transition' seems quite arbitrary to me.
$endgroup$
– rafa11111
Feb 27 at 18:20
2
$begingroup$
You ask about making it "appear natural", but it's not clear what this means. You have things that look like circle segments, and you ask if they "really are circle segments", but we just have a picture, so how can we tell?
$endgroup$
– Morgan Rodgers
Feb 27 at 18:34
4
4
$begingroup$
Do we have an actual definition of what it means for this transition to "appear natural"?
$endgroup$
– Morgan Rodgers
Feb 27 at 17:56
$begingroup$
Do we have an actual definition of what it means for this transition to "appear natural"?
$endgroup$
– Morgan Rodgers
Feb 27 at 17:56
5
5
$begingroup$
I think it would be "natural" to think of a family of curves $gamma_t$, $tin[0,1]$, of constant curvature such that $gamma_0$ is the flat line (curvature 0), $gamma_1$ is the circle (curvature 1/R) and each $gamma_t$ has curvature $tcdot1/R$.
$endgroup$
– Mars Plastic
Feb 27 at 18:06
$begingroup$
I think it would be "natural" to think of a family of curves $gamma_t$, $tin[0,1]$, of constant curvature such that $gamma_0$ is the flat line (curvature 0), $gamma_1$ is the circle (curvature 1/R) and each $gamma_t$ has curvature $tcdot1/R$.
$endgroup$
– Mars Plastic
Feb 27 at 18:06
2
2
$begingroup$
I think you could probably make a map that "appears natural" using circles for the paths, and you could also probably make a different map without using circles that also "appears natural". So without a definition of what that term means, I don't know what answer you are looking for.
$endgroup$
– Morgan Rodgers
Feb 27 at 18:08
$begingroup$
I think you could probably make a map that "appears natural" using circles for the paths, and you could also probably make a different map without using circles that also "appears natural". So without a definition of what that term means, I don't know what answer you are looking for.
$endgroup$
– Morgan Rodgers
Feb 27 at 18:08
2
2
$begingroup$
Maybe I'm missing something, but this 'transition' seems quite arbitrary to me.
$endgroup$
– rafa11111
Feb 27 at 18:20
$begingroup$
Maybe I'm missing something, but this 'transition' seems quite arbitrary to me.
$endgroup$
– rafa11111
Feb 27 at 18:20
2
2
$begingroup$
You ask about making it "appear natural", but it's not clear what this means. You have things that look like circle segments, and you ask if they "really are circle segments", but we just have a picture, so how can we tell?
$endgroup$
– Morgan Rodgers
Feb 27 at 18:34
$begingroup$
You ask about making it "appear natural", but it's not clear what this means. You have things that look like circle segments, and you ask if they "really are circle segments", but we just have a picture, so how can we tell?
$endgroup$
– Morgan Rodgers
Feb 27 at 18:34
|
show 9 more comments
2 Answers
2
active
oldest
votes
$begingroup$
What you want can be achieved using circle arcs, centered at $(0,r)$, of radius $r$ and central angle $2pi R/r$, with $r$ varying between $1$ and $+infty$. But I don't know if that is "natural" or not. Here's how it looks:

EDIT.
Each endpoint of the arc describes a spiral curve, given by:
$$
x=pi Rover 2thetasin2theta,quad y=pi Rover 2thetaleft(1-cos2thetaright),
$$
where $theta$ is the polar angle.
This also gives the simple polar equation:
$$
rho=pi Rsin thetaovertheta,quad 0lethetalepiover2.
$$
$endgroup$
$begingroup$
That's essentially my approach. Good to know, that an expert like you came to the same conclusion. Concerning "natural": which approach could be more "natural"?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:23
$begingroup$
How (and with which tools) did you create your elegant animated gif? (I had a hard time with mine.)
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:45
$begingroup$
I used GeoGebra, which is free: www.geogebra.org
$endgroup$
– Aretino
Feb 27 at 20:20
$begingroup$
Can you share this plot with me, i.e. save the plot and share the link?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 20:49
3
$begingroup$
The path of the endpoints is some kind of spiral: $$left(pisin tover t,pi1-cos tover tright).$$
$endgroup$
– Aretino
Feb 27 at 21:20
|
show 2 more comments
$begingroup$
If we want this transition to have all the points on the boundary of a circle at all times, then it makes most sense to parameterize by the radius of this circle (and apply a transformation to get it in terms of finite time later). For simplicity, I will also have the transition be to a vertical line.
We shall have the radius of the circle $C_r$ be $r$ and centre be $(-r,0)$, such that $(0,0)$ is on $C_r$ for all $r$. The coordinates of the point at arclength $s$ from $(0,0)$ are then given by $(r (cos(s/r) - 1), r sin(s/r))$.
The most natural way to transition would likely be varying the curvature at a constant rate; thus we create a family of curves $f_t:[-pi, pi]tomathbbR^2$ where $tin[0,1]$ by
beginalign
f_t(s) &= left(fraccos(s(1-t))-11-t, fracsin(s(1-t))1-tright)&t<1\
f_1(s) &= (0, s)&
endalign
Since the goals here seem to be rather subjective, I would attempt this and see how it looks to you (beyond making substitutions as needed to result in a horizontal line).
$endgroup$
1
$begingroup$
Note that the paths of the endpoints are given by setting $s = pm pi$ in your parametric curve. The resulting paths are not circle segments (as the OP guessed they might be); this can be seen by calculating their curvature.
$endgroup$
– Michael Seifert
Feb 27 at 21:57
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3129072%2fmathematics-and-the-art-of-linearizing-the-circle%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
What you want can be achieved using circle arcs, centered at $(0,r)$, of radius $r$ and central angle $2pi R/r$, with $r$ varying between $1$ and $+infty$. But I don't know if that is "natural" or not. Here's how it looks:

EDIT.
Each endpoint of the arc describes a spiral curve, given by:
$$
x=pi Rover 2thetasin2theta,quad y=pi Rover 2thetaleft(1-cos2thetaright),
$$
where $theta$ is the polar angle.
This also gives the simple polar equation:
$$
rho=pi Rsin thetaovertheta,quad 0lethetalepiover2.
$$
$endgroup$
$begingroup$
That's essentially my approach. Good to know, that an expert like you came to the same conclusion. Concerning "natural": which approach could be more "natural"?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:23
$begingroup$
How (and with which tools) did you create your elegant animated gif? (I had a hard time with mine.)
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:45
$begingroup$
I used GeoGebra, which is free: www.geogebra.org
$endgroup$
– Aretino
Feb 27 at 20:20
$begingroup$
Can you share this plot with me, i.e. save the plot and share the link?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 20:49
3
$begingroup$
The path of the endpoints is some kind of spiral: $$left(pisin tover t,pi1-cos tover tright).$$
$endgroup$
– Aretino
Feb 27 at 21:20
|
show 2 more comments
$begingroup$
What you want can be achieved using circle arcs, centered at $(0,r)$, of radius $r$ and central angle $2pi R/r$, with $r$ varying between $1$ and $+infty$. But I don't know if that is "natural" or not. Here's how it looks:

EDIT.
Each endpoint of the arc describes a spiral curve, given by:
$$
x=pi Rover 2thetasin2theta,quad y=pi Rover 2thetaleft(1-cos2thetaright),
$$
where $theta$ is the polar angle.
This also gives the simple polar equation:
$$
rho=pi Rsin thetaovertheta,quad 0lethetalepiover2.
$$
$endgroup$
$begingroup$
That's essentially my approach. Good to know, that an expert like you came to the same conclusion. Concerning "natural": which approach could be more "natural"?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:23
$begingroup$
How (and with which tools) did you create your elegant animated gif? (I had a hard time with mine.)
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:45
$begingroup$
I used GeoGebra, which is free: www.geogebra.org
$endgroup$
– Aretino
Feb 27 at 20:20
$begingroup$
Can you share this plot with me, i.e. save the plot and share the link?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 20:49
3
$begingroup$
The path of the endpoints is some kind of spiral: $$left(pisin tover t,pi1-cos tover tright).$$
$endgroup$
– Aretino
Feb 27 at 21:20
|
show 2 more comments
$begingroup$
What you want can be achieved using circle arcs, centered at $(0,r)$, of radius $r$ and central angle $2pi R/r$, with $r$ varying between $1$ and $+infty$. But I don't know if that is "natural" or not. Here's how it looks:

EDIT.
Each endpoint of the arc describes a spiral curve, given by:
$$
x=pi Rover 2thetasin2theta,quad y=pi Rover 2thetaleft(1-cos2thetaright),
$$
where $theta$ is the polar angle.
This also gives the simple polar equation:
$$
rho=pi Rsin thetaovertheta,quad 0lethetalepiover2.
$$
$endgroup$
What you want can be achieved using circle arcs, centered at $(0,r)$, of radius $r$ and central angle $2pi R/r$, with $r$ varying between $1$ and $+infty$. But I don't know if that is "natural" or not. Here's how it looks:

EDIT.
Each endpoint of the arc describes a spiral curve, given by:
$$
x=pi Rover 2thetasin2theta,quad y=pi Rover 2thetaleft(1-cos2thetaright),
$$
where $theta$ is the polar angle.
This also gives the simple polar equation:
$$
rho=pi Rsin thetaovertheta,quad 0lethetalepiover2.
$$
edited Feb 28 at 14:46
answered Feb 27 at 18:13
AretinoAretino
25.6k21445
25.6k21445
$begingroup$
That's essentially my approach. Good to know, that an expert like you came to the same conclusion. Concerning "natural": which approach could be more "natural"?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:23
$begingroup$
How (and with which tools) did you create your elegant animated gif? (I had a hard time with mine.)
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:45
$begingroup$
I used GeoGebra, which is free: www.geogebra.org
$endgroup$
– Aretino
Feb 27 at 20:20
$begingroup$
Can you share this plot with me, i.e. save the plot and share the link?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 20:49
3
$begingroup$
The path of the endpoints is some kind of spiral: $$left(pisin tover t,pi1-cos tover tright).$$
$endgroup$
– Aretino
Feb 27 at 21:20
|
show 2 more comments
$begingroup$
That's essentially my approach. Good to know, that an expert like you came to the same conclusion. Concerning "natural": which approach could be more "natural"?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:23
$begingroup$
How (and with which tools) did you create your elegant animated gif? (I had a hard time with mine.)
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:45
$begingroup$
I used GeoGebra, which is free: www.geogebra.org
$endgroup$
– Aretino
Feb 27 at 20:20
$begingroup$
Can you share this plot with me, i.e. save the plot and share the link?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 20:49
3
$begingroup$
The path of the endpoints is some kind of spiral: $$left(pisin tover t,pi1-cos tover tright).$$
$endgroup$
– Aretino
Feb 27 at 21:20
$begingroup$
That's essentially my approach. Good to know, that an expert like you came to the same conclusion. Concerning "natural": which approach could be more "natural"?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:23
$begingroup$
That's essentially my approach. Good to know, that an expert like you came to the same conclusion. Concerning "natural": which approach could be more "natural"?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:23
$begingroup$
How (and with which tools) did you create your elegant animated gif? (I had a hard time with mine.)
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:45
$begingroup$
How (and with which tools) did you create your elegant animated gif? (I had a hard time with mine.)
$endgroup$
– Hans-Peter Stricker
Feb 27 at 19:45
$begingroup$
I used GeoGebra, which is free: www.geogebra.org
$endgroup$
– Aretino
Feb 27 at 20:20
$begingroup$
I used GeoGebra, which is free: www.geogebra.org
$endgroup$
– Aretino
Feb 27 at 20:20
$begingroup$
Can you share this plot with me, i.e. save the plot and share the link?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 20:49
$begingroup$
Can you share this plot with me, i.e. save the plot and share the link?
$endgroup$
– Hans-Peter Stricker
Feb 27 at 20:49
3
3
$begingroup$
The path of the endpoints is some kind of spiral: $$left(pisin tover t,pi1-cos tover tright).$$
$endgroup$
– Aretino
Feb 27 at 21:20
$begingroup$
The path of the endpoints is some kind of spiral: $$left(pisin tover t,pi1-cos tover tright).$$
$endgroup$
– Aretino
Feb 27 at 21:20
|
show 2 more comments
$begingroup$
If we want this transition to have all the points on the boundary of a circle at all times, then it makes most sense to parameterize by the radius of this circle (and apply a transformation to get it in terms of finite time later). For simplicity, I will also have the transition be to a vertical line.
We shall have the radius of the circle $C_r$ be $r$ and centre be $(-r,0)$, such that $(0,0)$ is on $C_r$ for all $r$. The coordinates of the point at arclength $s$ from $(0,0)$ are then given by $(r (cos(s/r) - 1), r sin(s/r))$.
The most natural way to transition would likely be varying the curvature at a constant rate; thus we create a family of curves $f_t:[-pi, pi]tomathbbR^2$ where $tin[0,1]$ by
beginalign
f_t(s) &= left(fraccos(s(1-t))-11-t, fracsin(s(1-t))1-tright)&t<1\
f_1(s) &= (0, s)&
endalign
Since the goals here seem to be rather subjective, I would attempt this and see how it looks to you (beyond making substitutions as needed to result in a horizontal line).
$endgroup$
1
$begingroup$
Note that the paths of the endpoints are given by setting $s = pm pi$ in your parametric curve. The resulting paths are not circle segments (as the OP guessed they might be); this can be seen by calculating their curvature.
$endgroup$
– Michael Seifert
Feb 27 at 21:57
add a comment |
$begingroup$
If we want this transition to have all the points on the boundary of a circle at all times, then it makes most sense to parameterize by the radius of this circle (and apply a transformation to get it in terms of finite time later). For simplicity, I will also have the transition be to a vertical line.
We shall have the radius of the circle $C_r$ be $r$ and centre be $(-r,0)$, such that $(0,0)$ is on $C_r$ for all $r$. The coordinates of the point at arclength $s$ from $(0,0)$ are then given by $(r (cos(s/r) - 1), r sin(s/r))$.
The most natural way to transition would likely be varying the curvature at a constant rate; thus we create a family of curves $f_t:[-pi, pi]tomathbbR^2$ where $tin[0,1]$ by
beginalign
f_t(s) &= left(fraccos(s(1-t))-11-t, fracsin(s(1-t))1-tright)&t<1\
f_1(s) &= (0, s)&
endalign
Since the goals here seem to be rather subjective, I would attempt this and see how it looks to you (beyond making substitutions as needed to result in a horizontal line).
$endgroup$
1
$begingroup$
Note that the paths of the endpoints are given by setting $s = pm pi$ in your parametric curve. The resulting paths are not circle segments (as the OP guessed they might be); this can be seen by calculating their curvature.
$endgroup$
– Michael Seifert
Feb 27 at 21:57
add a comment |
$begingroup$
If we want this transition to have all the points on the boundary of a circle at all times, then it makes most sense to parameterize by the radius of this circle (and apply a transformation to get it in terms of finite time later). For simplicity, I will also have the transition be to a vertical line.
We shall have the radius of the circle $C_r$ be $r$ and centre be $(-r,0)$, such that $(0,0)$ is on $C_r$ for all $r$. The coordinates of the point at arclength $s$ from $(0,0)$ are then given by $(r (cos(s/r) - 1), r sin(s/r))$.
The most natural way to transition would likely be varying the curvature at a constant rate; thus we create a family of curves $f_t:[-pi, pi]tomathbbR^2$ where $tin[0,1]$ by
beginalign
f_t(s) &= left(fraccos(s(1-t))-11-t, fracsin(s(1-t))1-tright)&t<1\
f_1(s) &= (0, s)&
endalign
Since the goals here seem to be rather subjective, I would attempt this and see how it looks to you (beyond making substitutions as needed to result in a horizontal line).
$endgroup$
If we want this transition to have all the points on the boundary of a circle at all times, then it makes most sense to parameterize by the radius of this circle (and apply a transformation to get it in terms of finite time later). For simplicity, I will also have the transition be to a vertical line.
We shall have the radius of the circle $C_r$ be $r$ and centre be $(-r,0)$, such that $(0,0)$ is on $C_r$ for all $r$. The coordinates of the point at arclength $s$ from $(0,0)$ are then given by $(r (cos(s/r) - 1), r sin(s/r))$.
The most natural way to transition would likely be varying the curvature at a constant rate; thus we create a family of curves $f_t:[-pi, pi]tomathbbR^2$ where $tin[0,1]$ by
beginalign
f_t(s) &= left(fraccos(s(1-t))-11-t, fracsin(s(1-t))1-tright)&t<1\
f_1(s) &= (0, s)&
endalign
Since the goals here seem to be rather subjective, I would attempt this and see how it looks to you (beyond making substitutions as needed to result in a horizontal line).
answered Feb 27 at 18:23
KhorossKhoross
811
811
1
$begingroup$
Note that the paths of the endpoints are given by setting $s = pm pi$ in your parametric curve. The resulting paths are not circle segments (as the OP guessed they might be); this can be seen by calculating their curvature.
$endgroup$
– Michael Seifert
Feb 27 at 21:57
add a comment |
1
$begingroup$
Note that the paths of the endpoints are given by setting $s = pm pi$ in your parametric curve. The resulting paths are not circle segments (as the OP guessed they might be); this can be seen by calculating their curvature.
$endgroup$
– Michael Seifert
Feb 27 at 21:57
1
1
$begingroup$
Note that the paths of the endpoints are given by setting $s = pm pi$ in your parametric curve. The resulting paths are not circle segments (as the OP guessed they might be); this can be seen by calculating their curvature.
$endgroup$
– Michael Seifert
Feb 27 at 21:57
$begingroup$
Note that the paths of the endpoints are given by setting $s = pm pi$ in your parametric curve. The resulting paths are not circle segments (as the OP guessed they might be); this can be seen by calculating their curvature.
$endgroup$
– Michael Seifert
Feb 27 at 21:57
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3129072%2fmathematics-and-the-art-of-linearizing-the-circle%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
4
$begingroup$
Do we have an actual definition of what it means for this transition to "appear natural"?
$endgroup$
– Morgan Rodgers
Feb 27 at 17:56
5
$begingroup$
I think it would be "natural" to think of a family of curves $gamma_t$, $tin[0,1]$, of constant curvature such that $gamma_0$ is the flat line (curvature 0), $gamma_1$ is the circle (curvature 1/R) and each $gamma_t$ has curvature $tcdot1/R$.
$endgroup$
– Mars Plastic
Feb 27 at 18:06
2
$begingroup$
I think you could probably make a map that "appears natural" using circles for the paths, and you could also probably make a different map without using circles that also "appears natural". So without a definition of what that term means, I don't know what answer you are looking for.
$endgroup$
– Morgan Rodgers
Feb 27 at 18:08
2
$begingroup$
Maybe I'm missing something, but this 'transition' seems quite arbitrary to me.
$endgroup$
– rafa11111
Feb 27 at 18:20
2
$begingroup$
You ask about making it "appear natural", but it's not clear what this means. You have things that look like circle segments, and you ask if they "really are circle segments", but we just have a picture, so how can we tell?
$endgroup$
– Morgan Rodgers
Feb 27 at 18:34