$int_{mathbb R^n}e^{{-|x|}^n}dx$
$begingroup$
I'm trying to prove that $int_{mathbb R^n}e^{{-|x|}^n}dx = V(B_{n}(0,1))$ using induction and Cavalieri's principle.
Notice that $int_{mathbb R} e^{-|x|}dx = 2 = V(B_1(0, 1))$ so the basis of our induction is true.
Now suppose that for some $k-1$ we have $int_{mathbb R^{k-1}}e^{{-|x|}^{k-1}}dx = V(B_{k-1}(0,1))$
We want to calculate $int_{mathbb R^{k}}e^{-{|x|}^{k}}dx$, we can choose to extract it by spheres since this is a positive function, so this will be equal to $$lim_{r to infty}int_{x_1^2+dots x_k^2 leq r^2}e^{-|x|^{k}}dx.$$
Consider the intersection of this sphere with the plane $x_k = t$. From Cavalieri's principle:
$$
int_{x_1^2+dots x_k^2 leq r^2} e^{-|x|^{k}}dx
= int_{-r}^r
left( int_{x_1^2+dots+x_{k-1}^2 leq r^2-t^2}
e^{-(x_1^2+dots+x_{k-1}^2+t^2)^{k/2}}dx_1dx_2dots dx_{k-1}
right) dt$$
Not sure where to go from here....
calculus integration
$endgroup$
add a comment |
$begingroup$
I'm trying to prove that $int_{mathbb R^n}e^{{-|x|}^n}dx = V(B_{n}(0,1))$ using induction and Cavalieri's principle.
Notice that $int_{mathbb R} e^{-|x|}dx = 2 = V(B_1(0, 1))$ so the basis of our induction is true.
Now suppose that for some $k-1$ we have $int_{mathbb R^{k-1}}e^{{-|x|}^{k-1}}dx = V(B_{k-1}(0,1))$
We want to calculate $int_{mathbb R^{k}}e^{-{|x|}^{k}}dx$, we can choose to extract it by spheres since this is a positive function, so this will be equal to $$lim_{r to infty}int_{x_1^2+dots x_k^2 leq r^2}e^{-|x|^{k}}dx.$$
Consider the intersection of this sphere with the plane $x_k = t$. From Cavalieri's principle:
$$
int_{x_1^2+dots x_k^2 leq r^2} e^{-|x|^{k}}dx
= int_{-r}^r
left( int_{x_1^2+dots+x_{k-1}^2 leq r^2-t^2}
e^{-(x_1^2+dots+x_{k-1}^2+t^2)^{k/2}}dx_1dx_2dots dx_{k-1}
right) dt$$
Not sure where to go from here....
calculus integration
$endgroup$
$begingroup$
Make rather a polar coordinate change?
$endgroup$
– Mindlack
Jan 16 at 16:08
$begingroup$
I don't think that's the intended way. I might be wrong.
$endgroup$
– Oria Gruber
Jan 16 at 16:08
add a comment |
$begingroup$
I'm trying to prove that $int_{mathbb R^n}e^{{-|x|}^n}dx = V(B_{n}(0,1))$ using induction and Cavalieri's principle.
Notice that $int_{mathbb R} e^{-|x|}dx = 2 = V(B_1(0, 1))$ so the basis of our induction is true.
Now suppose that for some $k-1$ we have $int_{mathbb R^{k-1}}e^{{-|x|}^{k-1}}dx = V(B_{k-1}(0,1))$
We want to calculate $int_{mathbb R^{k}}e^{-{|x|}^{k}}dx$, we can choose to extract it by spheres since this is a positive function, so this will be equal to $$lim_{r to infty}int_{x_1^2+dots x_k^2 leq r^2}e^{-|x|^{k}}dx.$$
Consider the intersection of this sphere with the plane $x_k = t$. From Cavalieri's principle:
$$
int_{x_1^2+dots x_k^2 leq r^2} e^{-|x|^{k}}dx
= int_{-r}^r
left( int_{x_1^2+dots+x_{k-1}^2 leq r^2-t^2}
e^{-(x_1^2+dots+x_{k-1}^2+t^2)^{k/2}}dx_1dx_2dots dx_{k-1}
right) dt$$
Not sure where to go from here....
calculus integration
$endgroup$
I'm trying to prove that $int_{mathbb R^n}e^{{-|x|}^n}dx = V(B_{n}(0,1))$ using induction and Cavalieri's principle.
Notice that $int_{mathbb R} e^{-|x|}dx = 2 = V(B_1(0, 1))$ so the basis of our induction is true.
Now suppose that for some $k-1$ we have $int_{mathbb R^{k-1}}e^{{-|x|}^{k-1}}dx = V(B_{k-1}(0,1))$
We want to calculate $int_{mathbb R^{k}}e^{-{|x|}^{k}}dx$, we can choose to extract it by spheres since this is a positive function, so this will be equal to $$lim_{r to infty}int_{x_1^2+dots x_k^2 leq r^2}e^{-|x|^{k}}dx.$$
Consider the intersection of this sphere with the plane $x_k = t$. From Cavalieri's principle:
$$
int_{x_1^2+dots x_k^2 leq r^2} e^{-|x|^{k}}dx
= int_{-r}^r
left( int_{x_1^2+dots+x_{k-1}^2 leq r^2-t^2}
e^{-(x_1^2+dots+x_{k-1}^2+t^2)^{k/2}}dx_1dx_2dots dx_{k-1}
right) dt$$
Not sure where to go from here....
calculus integration
calculus integration
edited Jan 16 at 16:00
gt6989b
35.5k22557
35.5k22557
asked Jan 16 at 15:57
Oria GruberOria Gruber
6,53732462
6,53732462
$begingroup$
Make rather a polar coordinate change?
$endgroup$
– Mindlack
Jan 16 at 16:08
$begingroup$
I don't think that's the intended way. I might be wrong.
$endgroup$
– Oria Gruber
Jan 16 at 16:08
add a comment |
$begingroup$
Make rather a polar coordinate change?
$endgroup$
– Mindlack
Jan 16 at 16:08
$begingroup$
I don't think that's the intended way. I might be wrong.
$endgroup$
– Oria Gruber
Jan 16 at 16:08
$begingroup$
Make rather a polar coordinate change?
$endgroup$
– Mindlack
Jan 16 at 16:08
$begingroup$
Make rather a polar coordinate change?
$endgroup$
– Mindlack
Jan 16 at 16:08
$begingroup$
I don't think that's the intended way. I might be wrong.
$endgroup$
– Oria Gruber
Jan 16 at 16:08
$begingroup$
I don't think that's the intended way. I might be wrong.
$endgroup$
– Oria Gruber
Jan 16 at 16:08
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I think Cavalieri's principle means this way:
$$
int_{Bbb R^n}e^{-|x|^n}mathrm dx =int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt.
$$ (Explanation: imagine we are given $z=e^{-x^2-y^2}$. We can calculate the volume under the graph by cutting it along $z=tin (0,1)$, calculating the area of the cross-section and re-gathering it.) This gives
$$begin{eqnarray}
int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt&=& int_0^1 text{vol}left[(-ln t)^{frac{1}{n}}cdot B_nright]mathrm dt\&=&text{vol}(B_n) int_0^1 (-ln t)mathrm dt\&=&text{vol}(B_n),
end{eqnarray}$$where $B_n$ is a $n$-dimensional unit ball and $ccdot B_n = {cx;|;xin B_n}=B_n(0,c)$.
$endgroup$
$begingroup$
Could you elaborate please? Aren't we supposed to look at cross sections? The valid "height" or $x_k$ coordinate for these cross sections is between $(-r,r)$ as $r$ tends to infinity? why $(0,1)$?
$endgroup$
– Oria Gruber
Jan 16 at 16:13
$begingroup$
@OriaGruber Yes, we do the cross section horizontally. Since $0< e^{-|x|^n}le 1$, $0<tle 1$ is sufficient. For example, imagine $z=e^{-x^2-y^2}$. We can calculate the volume under the graph of it by cutting it along $z=c in (0,1)$ and gathering it. I hope this makes it clear.
$endgroup$
– Song
Jan 16 at 16:14
$begingroup$
@OriaGruber You can prove $int_X fdmu = int_0^infty mu({|f| > lambda}) dlambda$ for any measure space $(X,mu)$ and any $f in L^1$, by first proving it for simple functions and then doing linear combinations and taking limits.
$endgroup$
– mathworker21
Jan 16 at 16:19
$begingroup$
@mathworker21 Yes! That is what exactly I did. Thanks for clarification.
$endgroup$
– Song
Jan 16 at 16:20
$begingroup$
May I ask one more question @Song - Why $geq t$? Shouldn't it be equal $t$ since we are looking at a cross section with height $t$?
$endgroup$
– Oria Gruber
Jan 16 at 17:04
|
show 3 more comments
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%2f3075902%2fint-mathbb-rne-xndx%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I think Cavalieri's principle means this way:
$$
int_{Bbb R^n}e^{-|x|^n}mathrm dx =int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt.
$$ (Explanation: imagine we are given $z=e^{-x^2-y^2}$. We can calculate the volume under the graph by cutting it along $z=tin (0,1)$, calculating the area of the cross-section and re-gathering it.) This gives
$$begin{eqnarray}
int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt&=& int_0^1 text{vol}left[(-ln t)^{frac{1}{n}}cdot B_nright]mathrm dt\&=&text{vol}(B_n) int_0^1 (-ln t)mathrm dt\&=&text{vol}(B_n),
end{eqnarray}$$where $B_n$ is a $n$-dimensional unit ball and $ccdot B_n = {cx;|;xin B_n}=B_n(0,c)$.
$endgroup$
$begingroup$
Could you elaborate please? Aren't we supposed to look at cross sections? The valid "height" or $x_k$ coordinate for these cross sections is between $(-r,r)$ as $r$ tends to infinity? why $(0,1)$?
$endgroup$
– Oria Gruber
Jan 16 at 16:13
$begingroup$
@OriaGruber Yes, we do the cross section horizontally. Since $0< e^{-|x|^n}le 1$, $0<tle 1$ is sufficient. For example, imagine $z=e^{-x^2-y^2}$. We can calculate the volume under the graph of it by cutting it along $z=c in (0,1)$ and gathering it. I hope this makes it clear.
$endgroup$
– Song
Jan 16 at 16:14
$begingroup$
@OriaGruber You can prove $int_X fdmu = int_0^infty mu({|f| > lambda}) dlambda$ for any measure space $(X,mu)$ and any $f in L^1$, by first proving it for simple functions and then doing linear combinations and taking limits.
$endgroup$
– mathworker21
Jan 16 at 16:19
$begingroup$
@mathworker21 Yes! That is what exactly I did. Thanks for clarification.
$endgroup$
– Song
Jan 16 at 16:20
$begingroup$
May I ask one more question @Song - Why $geq t$? Shouldn't it be equal $t$ since we are looking at a cross section with height $t$?
$endgroup$
– Oria Gruber
Jan 16 at 17:04
|
show 3 more comments
$begingroup$
I think Cavalieri's principle means this way:
$$
int_{Bbb R^n}e^{-|x|^n}mathrm dx =int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt.
$$ (Explanation: imagine we are given $z=e^{-x^2-y^2}$. We can calculate the volume under the graph by cutting it along $z=tin (0,1)$, calculating the area of the cross-section and re-gathering it.) This gives
$$begin{eqnarray}
int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt&=& int_0^1 text{vol}left[(-ln t)^{frac{1}{n}}cdot B_nright]mathrm dt\&=&text{vol}(B_n) int_0^1 (-ln t)mathrm dt\&=&text{vol}(B_n),
end{eqnarray}$$where $B_n$ is a $n$-dimensional unit ball and $ccdot B_n = {cx;|;xin B_n}=B_n(0,c)$.
$endgroup$
$begingroup$
Could you elaborate please? Aren't we supposed to look at cross sections? The valid "height" or $x_k$ coordinate for these cross sections is between $(-r,r)$ as $r$ tends to infinity? why $(0,1)$?
$endgroup$
– Oria Gruber
Jan 16 at 16:13
$begingroup$
@OriaGruber Yes, we do the cross section horizontally. Since $0< e^{-|x|^n}le 1$, $0<tle 1$ is sufficient. For example, imagine $z=e^{-x^2-y^2}$. We can calculate the volume under the graph of it by cutting it along $z=c in (0,1)$ and gathering it. I hope this makes it clear.
$endgroup$
– Song
Jan 16 at 16:14
$begingroup$
@OriaGruber You can prove $int_X fdmu = int_0^infty mu({|f| > lambda}) dlambda$ for any measure space $(X,mu)$ and any $f in L^1$, by first proving it for simple functions and then doing linear combinations and taking limits.
$endgroup$
– mathworker21
Jan 16 at 16:19
$begingroup$
@mathworker21 Yes! That is what exactly I did. Thanks for clarification.
$endgroup$
– Song
Jan 16 at 16:20
$begingroup$
May I ask one more question @Song - Why $geq t$? Shouldn't it be equal $t$ since we are looking at a cross section with height $t$?
$endgroup$
– Oria Gruber
Jan 16 at 17:04
|
show 3 more comments
$begingroup$
I think Cavalieri's principle means this way:
$$
int_{Bbb R^n}e^{-|x|^n}mathrm dx =int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt.
$$ (Explanation: imagine we are given $z=e^{-x^2-y^2}$. We can calculate the volume under the graph by cutting it along $z=tin (0,1)$, calculating the area of the cross-section and re-gathering it.) This gives
$$begin{eqnarray}
int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt&=& int_0^1 text{vol}left[(-ln t)^{frac{1}{n}}cdot B_nright]mathrm dt\&=&text{vol}(B_n) int_0^1 (-ln t)mathrm dt\&=&text{vol}(B_n),
end{eqnarray}$$where $B_n$ is a $n$-dimensional unit ball and $ccdot B_n = {cx;|;xin B_n}=B_n(0,c)$.
$endgroup$
I think Cavalieri's principle means this way:
$$
int_{Bbb R^n}e^{-|x|^n}mathrm dx =int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt.
$$ (Explanation: imagine we are given $z=e^{-x^2-y^2}$. We can calculate the volume under the graph by cutting it along $z=tin (0,1)$, calculating the area of the cross-section and re-gathering it.) This gives
$$begin{eqnarray}
int_0^1 text{vol}{x:e^{-|x|^n}ge t}mathrm dt&=& int_0^1 text{vol}left[(-ln t)^{frac{1}{n}}cdot B_nright]mathrm dt\&=&text{vol}(B_n) int_0^1 (-ln t)mathrm dt\&=&text{vol}(B_n),
end{eqnarray}$$where $B_n$ is a $n$-dimensional unit ball and $ccdot B_n = {cx;|;xin B_n}=B_n(0,c)$.
edited Jan 16 at 16:21
answered Jan 16 at 16:09
SongSong
18.5k21651
18.5k21651
$begingroup$
Could you elaborate please? Aren't we supposed to look at cross sections? The valid "height" or $x_k$ coordinate for these cross sections is between $(-r,r)$ as $r$ tends to infinity? why $(0,1)$?
$endgroup$
– Oria Gruber
Jan 16 at 16:13
$begingroup$
@OriaGruber Yes, we do the cross section horizontally. Since $0< e^{-|x|^n}le 1$, $0<tle 1$ is sufficient. For example, imagine $z=e^{-x^2-y^2}$. We can calculate the volume under the graph of it by cutting it along $z=c in (0,1)$ and gathering it. I hope this makes it clear.
$endgroup$
– Song
Jan 16 at 16:14
$begingroup$
@OriaGruber You can prove $int_X fdmu = int_0^infty mu({|f| > lambda}) dlambda$ for any measure space $(X,mu)$ and any $f in L^1$, by first proving it for simple functions and then doing linear combinations and taking limits.
$endgroup$
– mathworker21
Jan 16 at 16:19
$begingroup$
@mathworker21 Yes! That is what exactly I did. Thanks for clarification.
$endgroup$
– Song
Jan 16 at 16:20
$begingroup$
May I ask one more question @Song - Why $geq t$? Shouldn't it be equal $t$ since we are looking at a cross section with height $t$?
$endgroup$
– Oria Gruber
Jan 16 at 17:04
|
show 3 more comments
$begingroup$
Could you elaborate please? Aren't we supposed to look at cross sections? The valid "height" or $x_k$ coordinate for these cross sections is between $(-r,r)$ as $r$ tends to infinity? why $(0,1)$?
$endgroup$
– Oria Gruber
Jan 16 at 16:13
$begingroup$
@OriaGruber Yes, we do the cross section horizontally. Since $0< e^{-|x|^n}le 1$, $0<tle 1$ is sufficient. For example, imagine $z=e^{-x^2-y^2}$. We can calculate the volume under the graph of it by cutting it along $z=c in (0,1)$ and gathering it. I hope this makes it clear.
$endgroup$
– Song
Jan 16 at 16:14
$begingroup$
@OriaGruber You can prove $int_X fdmu = int_0^infty mu({|f| > lambda}) dlambda$ for any measure space $(X,mu)$ and any $f in L^1$, by first proving it for simple functions and then doing linear combinations and taking limits.
$endgroup$
– mathworker21
Jan 16 at 16:19
$begingroup$
@mathworker21 Yes! That is what exactly I did. Thanks for clarification.
$endgroup$
– Song
Jan 16 at 16:20
$begingroup$
May I ask one more question @Song - Why $geq t$? Shouldn't it be equal $t$ since we are looking at a cross section with height $t$?
$endgroup$
– Oria Gruber
Jan 16 at 17:04
$begingroup$
Could you elaborate please? Aren't we supposed to look at cross sections? The valid "height" or $x_k$ coordinate for these cross sections is between $(-r,r)$ as $r$ tends to infinity? why $(0,1)$?
$endgroup$
– Oria Gruber
Jan 16 at 16:13
$begingroup$
Could you elaborate please? Aren't we supposed to look at cross sections? The valid "height" or $x_k$ coordinate for these cross sections is between $(-r,r)$ as $r$ tends to infinity? why $(0,1)$?
$endgroup$
– Oria Gruber
Jan 16 at 16:13
$begingroup$
@OriaGruber Yes, we do the cross section horizontally. Since $0< e^{-|x|^n}le 1$, $0<tle 1$ is sufficient. For example, imagine $z=e^{-x^2-y^2}$. We can calculate the volume under the graph of it by cutting it along $z=c in (0,1)$ and gathering it. I hope this makes it clear.
$endgroup$
– Song
Jan 16 at 16:14
$begingroup$
@OriaGruber Yes, we do the cross section horizontally. Since $0< e^{-|x|^n}le 1$, $0<tle 1$ is sufficient. For example, imagine $z=e^{-x^2-y^2}$. We can calculate the volume under the graph of it by cutting it along $z=c in (0,1)$ and gathering it. I hope this makes it clear.
$endgroup$
– Song
Jan 16 at 16:14
$begingroup$
@OriaGruber You can prove $int_X fdmu = int_0^infty mu({|f| > lambda}) dlambda$ for any measure space $(X,mu)$ and any $f in L^1$, by first proving it for simple functions and then doing linear combinations and taking limits.
$endgroup$
– mathworker21
Jan 16 at 16:19
$begingroup$
@OriaGruber You can prove $int_X fdmu = int_0^infty mu({|f| > lambda}) dlambda$ for any measure space $(X,mu)$ and any $f in L^1$, by first proving it for simple functions and then doing linear combinations and taking limits.
$endgroup$
– mathworker21
Jan 16 at 16:19
$begingroup$
@mathworker21 Yes! That is what exactly I did. Thanks for clarification.
$endgroup$
– Song
Jan 16 at 16:20
$begingroup$
@mathworker21 Yes! That is what exactly I did. Thanks for clarification.
$endgroup$
– Song
Jan 16 at 16:20
$begingroup$
May I ask one more question @Song - Why $geq t$? Shouldn't it be equal $t$ since we are looking at a cross section with height $t$?
$endgroup$
– Oria Gruber
Jan 16 at 17:04
$begingroup$
May I ask one more question @Song - Why $geq t$? Shouldn't it be equal $t$ since we are looking at a cross section with height $t$?
$endgroup$
– Oria Gruber
Jan 16 at 17:04
|
show 3 more comments
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%2f3075902%2fint-mathbb-rne-xndx%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
$begingroup$
Make rather a polar coordinate change?
$endgroup$
– Mindlack
Jan 16 at 16:08
$begingroup$
I don't think that's the intended way. I might be wrong.
$endgroup$
– Oria Gruber
Jan 16 at 16:08