The formal definition of “angle”
$begingroup$
My main question is about the definition of "angle". Many linear algebra textbooks define the angle between two vectors in terms of their inner product. I superficially understand that this corresponds to the law of cosine in Euclidean geometry. But since axiomatic geometry and analytic geometry seem to have completely different approaches in dealing with geometric concepts, I would like to know what exactly motivates this definition, and what are the results of this definition.
First of all, in order for this definition to work, we need to define the sine and cosine function. Usually, these functions are first introduced and therefore defined and only defined within a purely geometric context. In particular, most elementary definitions of these two functions require a previous understanding of the idea of an angle, such as the definition using a unit circle. Therefore, my question is, how can we have a valid cosine function that works outside of axiomatic geometry before we can even define "angle" in $mathbb{R}^n$ via the cosine function? I know cosine function can be defined via a series, but again, how do we justify this definition if we were to use it to define "angle"?
Secondly, using these definitions, along with some other definitions for elementary geometric concepts such as planes, can one prove everything that is provable via Euclid's axioms of geometry using only algebra in $mathbb{R}^n$ without any of those axioms? If not, what other axioms must we include in order to do so?
Thanks!
linear-algebra geometry euclidean-geometry analytic-geometry
$endgroup$
add a comment |
$begingroup$
My main question is about the definition of "angle". Many linear algebra textbooks define the angle between two vectors in terms of their inner product. I superficially understand that this corresponds to the law of cosine in Euclidean geometry. But since axiomatic geometry and analytic geometry seem to have completely different approaches in dealing with geometric concepts, I would like to know what exactly motivates this definition, and what are the results of this definition.
First of all, in order for this definition to work, we need to define the sine and cosine function. Usually, these functions are first introduced and therefore defined and only defined within a purely geometric context. In particular, most elementary definitions of these two functions require a previous understanding of the idea of an angle, such as the definition using a unit circle. Therefore, my question is, how can we have a valid cosine function that works outside of axiomatic geometry before we can even define "angle" in $mathbb{R}^n$ via the cosine function? I know cosine function can be defined via a series, but again, how do we justify this definition if we were to use it to define "angle"?
Secondly, using these definitions, along with some other definitions for elementary geometric concepts such as planes, can one prove everything that is provable via Euclid's axioms of geometry using only algebra in $mathbb{R}^n$ without any of those axioms? If not, what other axioms must we include in order to do so?
Thanks!
linear-algebra geometry euclidean-geometry analytic-geometry
$endgroup$
1
$begingroup$
Consider the differential equation $y''=-y$. If you can find any identity , formula or theorem related to inner product spaces containing this differential equation then your problem is solved.(For in this case we don't need elementary geometry at all.)
$endgroup$
– Awe Kumar Jha
Dec 17 '18 at 17:10
3
$begingroup$
Don't you mean the measure of the angle ? An angle is just two coincident half-lines.
$endgroup$
– Yves Daoust
Dec 17 '18 at 21:34
$begingroup$
You may look here: math.stackexchange.com/questions/583066/…
$endgroup$
– Christian Blatter
Dec 18 '18 at 11:04
add a comment |
$begingroup$
My main question is about the definition of "angle". Many linear algebra textbooks define the angle between two vectors in terms of their inner product. I superficially understand that this corresponds to the law of cosine in Euclidean geometry. But since axiomatic geometry and analytic geometry seem to have completely different approaches in dealing with geometric concepts, I would like to know what exactly motivates this definition, and what are the results of this definition.
First of all, in order for this definition to work, we need to define the sine and cosine function. Usually, these functions are first introduced and therefore defined and only defined within a purely geometric context. In particular, most elementary definitions of these two functions require a previous understanding of the idea of an angle, such as the definition using a unit circle. Therefore, my question is, how can we have a valid cosine function that works outside of axiomatic geometry before we can even define "angle" in $mathbb{R}^n$ via the cosine function? I know cosine function can be defined via a series, but again, how do we justify this definition if we were to use it to define "angle"?
Secondly, using these definitions, along with some other definitions for elementary geometric concepts such as planes, can one prove everything that is provable via Euclid's axioms of geometry using only algebra in $mathbb{R}^n$ without any of those axioms? If not, what other axioms must we include in order to do so?
Thanks!
linear-algebra geometry euclidean-geometry analytic-geometry
$endgroup$
My main question is about the definition of "angle". Many linear algebra textbooks define the angle between two vectors in terms of their inner product. I superficially understand that this corresponds to the law of cosine in Euclidean geometry. But since axiomatic geometry and analytic geometry seem to have completely different approaches in dealing with geometric concepts, I would like to know what exactly motivates this definition, and what are the results of this definition.
First of all, in order for this definition to work, we need to define the sine and cosine function. Usually, these functions are first introduced and therefore defined and only defined within a purely geometric context. In particular, most elementary definitions of these two functions require a previous understanding of the idea of an angle, such as the definition using a unit circle. Therefore, my question is, how can we have a valid cosine function that works outside of axiomatic geometry before we can even define "angle" in $mathbb{R}^n$ via the cosine function? I know cosine function can be defined via a series, but again, how do we justify this definition if we were to use it to define "angle"?
Secondly, using these definitions, along with some other definitions for elementary geometric concepts such as planes, can one prove everything that is provable via Euclid's axioms of geometry using only algebra in $mathbb{R}^n$ without any of those axioms? If not, what other axioms must we include in order to do so?
Thanks!
linear-algebra geometry euclidean-geometry analytic-geometry
linear-algebra geometry euclidean-geometry analytic-geometry
edited Dec 17 '18 at 17:06
Lukas Geyer
13.8k1556
13.8k1556
asked Dec 17 '18 at 16:23
Calvin QiuCalvin Qiu
433
433
1
$begingroup$
Consider the differential equation $y''=-y$. If you can find any identity , formula or theorem related to inner product spaces containing this differential equation then your problem is solved.(For in this case we don't need elementary geometry at all.)
$endgroup$
– Awe Kumar Jha
Dec 17 '18 at 17:10
3
$begingroup$
Don't you mean the measure of the angle ? An angle is just two coincident half-lines.
$endgroup$
– Yves Daoust
Dec 17 '18 at 21:34
$begingroup$
You may look here: math.stackexchange.com/questions/583066/…
$endgroup$
– Christian Blatter
Dec 18 '18 at 11:04
add a comment |
1
$begingroup$
Consider the differential equation $y''=-y$. If you can find any identity , formula or theorem related to inner product spaces containing this differential equation then your problem is solved.(For in this case we don't need elementary geometry at all.)
$endgroup$
– Awe Kumar Jha
Dec 17 '18 at 17:10
3
$begingroup$
Don't you mean the measure of the angle ? An angle is just two coincident half-lines.
$endgroup$
– Yves Daoust
Dec 17 '18 at 21:34
$begingroup$
You may look here: math.stackexchange.com/questions/583066/…
$endgroup$
– Christian Blatter
Dec 18 '18 at 11:04
1
1
$begingroup$
Consider the differential equation $y''=-y$. If you can find any identity , formula or theorem related to inner product spaces containing this differential equation then your problem is solved.(For in this case we don't need elementary geometry at all.)
$endgroup$
– Awe Kumar Jha
Dec 17 '18 at 17:10
$begingroup$
Consider the differential equation $y''=-y$. If you can find any identity , formula or theorem related to inner product spaces containing this differential equation then your problem is solved.(For in this case we don't need elementary geometry at all.)
$endgroup$
– Awe Kumar Jha
Dec 17 '18 at 17:10
3
3
$begingroup$
Don't you mean the measure of the angle ? An angle is just two coincident half-lines.
$endgroup$
– Yves Daoust
Dec 17 '18 at 21:34
$begingroup$
Don't you mean the measure of the angle ? An angle is just two coincident half-lines.
$endgroup$
– Yves Daoust
Dec 17 '18 at 21:34
$begingroup$
You may look here: math.stackexchange.com/questions/583066/…
$endgroup$
– Christian Blatter
Dec 18 '18 at 11:04
$begingroup$
You may look here: math.stackexchange.com/questions/583066/…
$endgroup$
– Christian Blatter
Dec 18 '18 at 11:04
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
This is a great question. And the first part of the answer to "How do you define angle" is "Lots of different ways." And when you define it a new way, you have some responsibility for showing that this new way is consistent with the old ways.
The next thing to realize is that there's a difference between an angle and the measure of that angle. In classical geometry, an "angle" is a pair of rays with a common starting point (or a pair of intersecting lines --- depends on your textbook), while the measure of an angle...well, that's actually not such a classical notion: the Greek geometers were more inclined to talk about congruent angles, and leave "measure" to "mere" tradesmen, etc. But if we look at a modern view of classical geometry (e.g., Hilbert's axioms) then the measure of an angle is a number --- clearly a different kind of entity from a "pair of rays".
If you're going to talk about periodic motion, then it's useful to think of a ray starting out pointing along the $x$-axis and then rotating counterclockwise so that it makes ever-larger angles (by which I mean "angles of ever-larger measure") with the $x$-axis. But when you reach a measure of $2pi$ radians or $360$ degrees, you're back to the same "angle" consisting of two copies of the positive $x$-axis. From an analysis point of view, it's nice to think of the "angle measure" as continuing to increase, so we talk about an angle of, say, $395$ degrees.
Right at that moment, the analyst/physics person/tradesman has diverged from the geometer. For smallish angles, they agree; for large ones they disagree. But it's no big deal -- people can usually figure out what's going on from context.
If we think of our angle as being situated at the origin (now I'm a coordinate geometer rather than a Euclidean one!), the two rays subtend an arc of the unit circle at the origin. And some folks (including me!) might call that arc an "angle". So to those folks --- I'll call them "measure theory" people --- an angle is an arc of the unit circle. And the measure of the angle is simply the measure of the arc ... which has to be defined via notions of integration, etc. It's very natural for such a person to say "oh...and I'd like to say that an 'angle' is not just a single arc, but any (measurable) subset of the unit circle." Once you say that, "additivity" of angles follows from additivity of measures. (I don't mean to say this is easy! There's lots of stuff to say about rotationally-invariant measures, etc.)
That measure-theory generalization now lets you define things like "solid angles" in 3-space: a solid angle is just a (measurable) subset of the unit sphere. But the measure-theory approach also loses something: there's no longer such a thing as a "clockwise" and a "counterclockwise" angle, at least not without a good deal of dancing around.
To return to your question about the law of cosines: there's a kind of nice approach to relating cosines to geometry: you show that there are a pair of functions $s$ and $c$ (for "sine" and "cosine", of course) defined on the real line that satisfy three or four basic properties, like $c(0) = 1$, and $c(x-y) = c(x)c(y) + s(x) s(y)$. You do this in a few steps: first, you show that for rational multiples of $pi$ (which appears in one of the properties), the values of $c$ and $s$ are uniquely determined (i.e., you show that there's at most one such pair of functions). Letting $P$ denote these rational-multiples-of-$pi$, you then show that the functions $c$ and $s$ are periodic of period $2pi$ (on $P$), and then use some classical geometry to explicitly show that they can be defined on the set of all geometric angles with geometric angle measure in the set $P' = P cap [0, 2pi)$. Then you show that on $P$, these functions are continuous, and apply the theorem that every continuous function on a dense subset of a metric space admits a unique continuous extension to the metric space itself, thus allowing you define $c$ and $s$ on all of $Bbb R$. Now this pair of functions has exactly the properties that the geometric definition would assign to the "cosine" and "sine" [a fact that comes up while proving that $c$ and $s$ can be defined on geometric angles with measures in the set $P'$]. So you've got sine and cosine functions with all the properties you need, but no calculus involved. (I believe that this whole development is carried out in Apostol's Calculus book.) Finally, you can look at the dot-product definition of angles as a way of defining a new function --- let's call it csine:
$$
csine(theta) = frac{v cdot w}{|v| ~|w|}
$$
that depends on the angle $theta$ between two vectors $v$ and $w$.
Now you show (lots of linear algebra and geometry here) that this function satisfies the very "properties" I mentioned earlier --- the essential one being closely tied to the law of cosines), and that it must therefore actually be the same as the cosine function we defined a paragraph or two earlier.
I want to mention that this connection of all these things took me years to learn. I sort of knew a bunch of them, but I don't suppose it was until a decade after I got my Ph.D. that I could have put them all together into a coherent thread, a thread that I've only barely summarized here.
$endgroup$
$begingroup$
Hi, thank you so much for sharing! I’m glad to know that this isn’t a trivial question. But I’m a bit confused about how you defined the csine function. How do you asscociate a real number with two vectors in the first place?
$endgroup$
– Calvin Qiu
Dec 19 '18 at 11:30
$begingroup$
I define "csine" using the formula shown: divide the dot product by the two lengths. Once you do this apparently random thing, you then have to show that it matches the geometric cosine, typically by showing it has the four properties described by Apostol. BTW, this isn't trivial -- it uses everything. I say that because you could (try to) do the same kind of thing for vectors in $F^2$ for any field $F$, but you'll turn out to need completeness, and ordered-ness, and a few other things to make it work, which is why we do it over the reals.
$endgroup$
– John Hughes
Dec 19 '18 at 13:40
add a comment |
$begingroup$
You can define the sine and cosine function as the real and imaginary part of the function $xmapstoexp(mathrm ix)$. The latter can be defined by simply taking the exponential series and inserting $mathrm ix$. The exponential series in turn can be defined without any geometry, just using algebra and limits.
Alternatively, you can define angles directly from the scalar product as follows:
First, define orthogonality as the scalar product being zero (this obviously requires no predefined angle). Assign an arbitrary value to that (the value you assign will give your angle measure; e.g. if you assign the value $90$, then you'll get angles in degrees).
Next, define that two unit vectors that have the same scalar product have the same angle, and that angles of coplanar vectors are additive; in particular given three linearly dependent unit vectors $a$, $b$, $c$ with $acdot b=bcdot c$, but $cne a$, the angle of $a$ and $c$ is twice the angle of $a$ and $b$. Then you have a way to determine all angles that are a factor $2^k$, $kin mathbb Z$, from the right angle. Since those vectors are dense on the unit circle, the remaining angles can be defined via limits.
Finally define the angle of arbitrary vectors as the angle between the corresponding normalized vectors.
$endgroup$
$begingroup$
"and that angles are additive" I don't think that's true in dimensions greater than 2.
$endgroup$
– Acccumulation
Dec 17 '18 at 21:34
$begingroup$
@Acccumulation: Good point, in that case one explicitly needs to specify that the vectors are coplanar. Fixed.
$endgroup$
– celtschk
Dec 17 '18 at 21:41
$begingroup$
Thanks! But in regards to my second question, how can we demonstrate that these definitions of angle, cosine and sine functions are indeed consistent with elenmtary geometry, in the sense that any statement about geometry is true in elementary geometry if and only it is also true in here?
$endgroup$
– Calvin Qiu
Dec 17 '18 at 23:31
add a comment |
$begingroup$
According to wikipedia, the measure of the angle is given by the ratio between the length of the arc on a circle and the radius, such that the vertex of the angle is at the origin, and the intersection of the lines forming the angle with the circle are the end points of the arc. Once you have this definition, you can then define the sine and cosine functions in purely geometrical terms (lengths of projections onto axes). In the analytical geometry approach you then define the vector product, and show that is indeed related to the cosine function. That means that, at least historically, the geometrical definition (as the length of the arc) is the one that you should use.
BUT ... As always, there are caveats. I was looking earlier this month at the definition of $pi$, which historically is the ratio between circumference of the circle and diameter. To calculate the circumference the circle analytically you need to do an integral. So $pi$ depends on knowing integrals. Since most people learn derivatives before integrals, $pi$ is now defined in terms of cosine, which is defined as a series.
$endgroup$
add a comment |
$begingroup$
Rather than angles, you can define the curvilinear abscissa along a circle. This is obtained by integration of the element of arc $ds$ itself obtained from Pythagoras' $sqrt{dx^2+dy^2}$.
This approach requires to bridge geometry and calculus.
You can also define the fractions of a turn from regular polygons. These are rational angles. Generalizing to real angles doesn't seem straight forward.
$endgroup$
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%2f3044138%2fthe-formal-definition-of-angle%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
This is a great question. And the first part of the answer to "How do you define angle" is "Lots of different ways." And when you define it a new way, you have some responsibility for showing that this new way is consistent with the old ways.
The next thing to realize is that there's a difference between an angle and the measure of that angle. In classical geometry, an "angle" is a pair of rays with a common starting point (or a pair of intersecting lines --- depends on your textbook), while the measure of an angle...well, that's actually not such a classical notion: the Greek geometers were more inclined to talk about congruent angles, and leave "measure" to "mere" tradesmen, etc. But if we look at a modern view of classical geometry (e.g., Hilbert's axioms) then the measure of an angle is a number --- clearly a different kind of entity from a "pair of rays".
If you're going to talk about periodic motion, then it's useful to think of a ray starting out pointing along the $x$-axis and then rotating counterclockwise so that it makes ever-larger angles (by which I mean "angles of ever-larger measure") with the $x$-axis. But when you reach a measure of $2pi$ radians or $360$ degrees, you're back to the same "angle" consisting of two copies of the positive $x$-axis. From an analysis point of view, it's nice to think of the "angle measure" as continuing to increase, so we talk about an angle of, say, $395$ degrees.
Right at that moment, the analyst/physics person/tradesman has diverged from the geometer. For smallish angles, they agree; for large ones they disagree. But it's no big deal -- people can usually figure out what's going on from context.
If we think of our angle as being situated at the origin (now I'm a coordinate geometer rather than a Euclidean one!), the two rays subtend an arc of the unit circle at the origin. And some folks (including me!) might call that arc an "angle". So to those folks --- I'll call them "measure theory" people --- an angle is an arc of the unit circle. And the measure of the angle is simply the measure of the arc ... which has to be defined via notions of integration, etc. It's very natural for such a person to say "oh...and I'd like to say that an 'angle' is not just a single arc, but any (measurable) subset of the unit circle." Once you say that, "additivity" of angles follows from additivity of measures. (I don't mean to say this is easy! There's lots of stuff to say about rotationally-invariant measures, etc.)
That measure-theory generalization now lets you define things like "solid angles" in 3-space: a solid angle is just a (measurable) subset of the unit sphere. But the measure-theory approach also loses something: there's no longer such a thing as a "clockwise" and a "counterclockwise" angle, at least not without a good deal of dancing around.
To return to your question about the law of cosines: there's a kind of nice approach to relating cosines to geometry: you show that there are a pair of functions $s$ and $c$ (for "sine" and "cosine", of course) defined on the real line that satisfy three or four basic properties, like $c(0) = 1$, and $c(x-y) = c(x)c(y) + s(x) s(y)$. You do this in a few steps: first, you show that for rational multiples of $pi$ (which appears in one of the properties), the values of $c$ and $s$ are uniquely determined (i.e., you show that there's at most one such pair of functions). Letting $P$ denote these rational-multiples-of-$pi$, you then show that the functions $c$ and $s$ are periodic of period $2pi$ (on $P$), and then use some classical geometry to explicitly show that they can be defined on the set of all geometric angles with geometric angle measure in the set $P' = P cap [0, 2pi)$. Then you show that on $P$, these functions are continuous, and apply the theorem that every continuous function on a dense subset of a metric space admits a unique continuous extension to the metric space itself, thus allowing you define $c$ and $s$ on all of $Bbb R$. Now this pair of functions has exactly the properties that the geometric definition would assign to the "cosine" and "sine" [a fact that comes up while proving that $c$ and $s$ can be defined on geometric angles with measures in the set $P'$]. So you've got sine and cosine functions with all the properties you need, but no calculus involved. (I believe that this whole development is carried out in Apostol's Calculus book.) Finally, you can look at the dot-product definition of angles as a way of defining a new function --- let's call it csine:
$$
csine(theta) = frac{v cdot w}{|v| ~|w|}
$$
that depends on the angle $theta$ between two vectors $v$ and $w$.
Now you show (lots of linear algebra and geometry here) that this function satisfies the very "properties" I mentioned earlier --- the essential one being closely tied to the law of cosines), and that it must therefore actually be the same as the cosine function we defined a paragraph or two earlier.
I want to mention that this connection of all these things took me years to learn. I sort of knew a bunch of them, but I don't suppose it was until a decade after I got my Ph.D. that I could have put them all together into a coherent thread, a thread that I've only barely summarized here.
$endgroup$
$begingroup$
Hi, thank you so much for sharing! I’m glad to know that this isn’t a trivial question. But I’m a bit confused about how you defined the csine function. How do you asscociate a real number with two vectors in the first place?
$endgroup$
– Calvin Qiu
Dec 19 '18 at 11:30
$begingroup$
I define "csine" using the formula shown: divide the dot product by the two lengths. Once you do this apparently random thing, you then have to show that it matches the geometric cosine, typically by showing it has the four properties described by Apostol. BTW, this isn't trivial -- it uses everything. I say that because you could (try to) do the same kind of thing for vectors in $F^2$ for any field $F$, but you'll turn out to need completeness, and ordered-ness, and a few other things to make it work, which is why we do it over the reals.
$endgroup$
– John Hughes
Dec 19 '18 at 13:40
add a comment |
$begingroup$
This is a great question. And the first part of the answer to "How do you define angle" is "Lots of different ways." And when you define it a new way, you have some responsibility for showing that this new way is consistent with the old ways.
The next thing to realize is that there's a difference between an angle and the measure of that angle. In classical geometry, an "angle" is a pair of rays with a common starting point (or a pair of intersecting lines --- depends on your textbook), while the measure of an angle...well, that's actually not such a classical notion: the Greek geometers were more inclined to talk about congruent angles, and leave "measure" to "mere" tradesmen, etc. But if we look at a modern view of classical geometry (e.g., Hilbert's axioms) then the measure of an angle is a number --- clearly a different kind of entity from a "pair of rays".
If you're going to talk about periodic motion, then it's useful to think of a ray starting out pointing along the $x$-axis and then rotating counterclockwise so that it makes ever-larger angles (by which I mean "angles of ever-larger measure") with the $x$-axis. But when you reach a measure of $2pi$ radians or $360$ degrees, you're back to the same "angle" consisting of two copies of the positive $x$-axis. From an analysis point of view, it's nice to think of the "angle measure" as continuing to increase, so we talk about an angle of, say, $395$ degrees.
Right at that moment, the analyst/physics person/tradesman has diverged from the geometer. For smallish angles, they agree; for large ones they disagree. But it's no big deal -- people can usually figure out what's going on from context.
If we think of our angle as being situated at the origin (now I'm a coordinate geometer rather than a Euclidean one!), the two rays subtend an arc of the unit circle at the origin. And some folks (including me!) might call that arc an "angle". So to those folks --- I'll call them "measure theory" people --- an angle is an arc of the unit circle. And the measure of the angle is simply the measure of the arc ... which has to be defined via notions of integration, etc. It's very natural for such a person to say "oh...and I'd like to say that an 'angle' is not just a single arc, but any (measurable) subset of the unit circle." Once you say that, "additivity" of angles follows from additivity of measures. (I don't mean to say this is easy! There's lots of stuff to say about rotationally-invariant measures, etc.)
That measure-theory generalization now lets you define things like "solid angles" in 3-space: a solid angle is just a (measurable) subset of the unit sphere. But the measure-theory approach also loses something: there's no longer such a thing as a "clockwise" and a "counterclockwise" angle, at least not without a good deal of dancing around.
To return to your question about the law of cosines: there's a kind of nice approach to relating cosines to geometry: you show that there are a pair of functions $s$ and $c$ (for "sine" and "cosine", of course) defined on the real line that satisfy three or four basic properties, like $c(0) = 1$, and $c(x-y) = c(x)c(y) + s(x) s(y)$. You do this in a few steps: first, you show that for rational multiples of $pi$ (which appears in one of the properties), the values of $c$ and $s$ are uniquely determined (i.e., you show that there's at most one such pair of functions). Letting $P$ denote these rational-multiples-of-$pi$, you then show that the functions $c$ and $s$ are periodic of period $2pi$ (on $P$), and then use some classical geometry to explicitly show that they can be defined on the set of all geometric angles with geometric angle measure in the set $P' = P cap [0, 2pi)$. Then you show that on $P$, these functions are continuous, and apply the theorem that every continuous function on a dense subset of a metric space admits a unique continuous extension to the metric space itself, thus allowing you define $c$ and $s$ on all of $Bbb R$. Now this pair of functions has exactly the properties that the geometric definition would assign to the "cosine" and "sine" [a fact that comes up while proving that $c$ and $s$ can be defined on geometric angles with measures in the set $P'$]. So you've got sine and cosine functions with all the properties you need, but no calculus involved. (I believe that this whole development is carried out in Apostol's Calculus book.) Finally, you can look at the dot-product definition of angles as a way of defining a new function --- let's call it csine:
$$
csine(theta) = frac{v cdot w}{|v| ~|w|}
$$
that depends on the angle $theta$ between two vectors $v$ and $w$.
Now you show (lots of linear algebra and geometry here) that this function satisfies the very "properties" I mentioned earlier --- the essential one being closely tied to the law of cosines), and that it must therefore actually be the same as the cosine function we defined a paragraph or two earlier.
I want to mention that this connection of all these things took me years to learn. I sort of knew a bunch of them, but I don't suppose it was until a decade after I got my Ph.D. that I could have put them all together into a coherent thread, a thread that I've only barely summarized here.
$endgroup$
$begingroup$
Hi, thank you so much for sharing! I’m glad to know that this isn’t a trivial question. But I’m a bit confused about how you defined the csine function. How do you asscociate a real number with two vectors in the first place?
$endgroup$
– Calvin Qiu
Dec 19 '18 at 11:30
$begingroup$
I define "csine" using the formula shown: divide the dot product by the two lengths. Once you do this apparently random thing, you then have to show that it matches the geometric cosine, typically by showing it has the four properties described by Apostol. BTW, this isn't trivial -- it uses everything. I say that because you could (try to) do the same kind of thing for vectors in $F^2$ for any field $F$, but you'll turn out to need completeness, and ordered-ness, and a few other things to make it work, which is why we do it over the reals.
$endgroup$
– John Hughes
Dec 19 '18 at 13:40
add a comment |
$begingroup$
This is a great question. And the first part of the answer to "How do you define angle" is "Lots of different ways." And when you define it a new way, you have some responsibility for showing that this new way is consistent with the old ways.
The next thing to realize is that there's a difference between an angle and the measure of that angle. In classical geometry, an "angle" is a pair of rays with a common starting point (or a pair of intersecting lines --- depends on your textbook), while the measure of an angle...well, that's actually not such a classical notion: the Greek geometers were more inclined to talk about congruent angles, and leave "measure" to "mere" tradesmen, etc. But if we look at a modern view of classical geometry (e.g., Hilbert's axioms) then the measure of an angle is a number --- clearly a different kind of entity from a "pair of rays".
If you're going to talk about periodic motion, then it's useful to think of a ray starting out pointing along the $x$-axis and then rotating counterclockwise so that it makes ever-larger angles (by which I mean "angles of ever-larger measure") with the $x$-axis. But when you reach a measure of $2pi$ radians or $360$ degrees, you're back to the same "angle" consisting of two copies of the positive $x$-axis. From an analysis point of view, it's nice to think of the "angle measure" as continuing to increase, so we talk about an angle of, say, $395$ degrees.
Right at that moment, the analyst/physics person/tradesman has diverged from the geometer. For smallish angles, they agree; for large ones they disagree. But it's no big deal -- people can usually figure out what's going on from context.
If we think of our angle as being situated at the origin (now I'm a coordinate geometer rather than a Euclidean one!), the two rays subtend an arc of the unit circle at the origin. And some folks (including me!) might call that arc an "angle". So to those folks --- I'll call them "measure theory" people --- an angle is an arc of the unit circle. And the measure of the angle is simply the measure of the arc ... which has to be defined via notions of integration, etc. It's very natural for such a person to say "oh...and I'd like to say that an 'angle' is not just a single arc, but any (measurable) subset of the unit circle." Once you say that, "additivity" of angles follows from additivity of measures. (I don't mean to say this is easy! There's lots of stuff to say about rotationally-invariant measures, etc.)
That measure-theory generalization now lets you define things like "solid angles" in 3-space: a solid angle is just a (measurable) subset of the unit sphere. But the measure-theory approach also loses something: there's no longer such a thing as a "clockwise" and a "counterclockwise" angle, at least not without a good deal of dancing around.
To return to your question about the law of cosines: there's a kind of nice approach to relating cosines to geometry: you show that there are a pair of functions $s$ and $c$ (for "sine" and "cosine", of course) defined on the real line that satisfy three or four basic properties, like $c(0) = 1$, and $c(x-y) = c(x)c(y) + s(x) s(y)$. You do this in a few steps: first, you show that for rational multiples of $pi$ (which appears in one of the properties), the values of $c$ and $s$ are uniquely determined (i.e., you show that there's at most one such pair of functions). Letting $P$ denote these rational-multiples-of-$pi$, you then show that the functions $c$ and $s$ are periodic of period $2pi$ (on $P$), and then use some classical geometry to explicitly show that they can be defined on the set of all geometric angles with geometric angle measure in the set $P' = P cap [0, 2pi)$. Then you show that on $P$, these functions are continuous, and apply the theorem that every continuous function on a dense subset of a metric space admits a unique continuous extension to the metric space itself, thus allowing you define $c$ and $s$ on all of $Bbb R$. Now this pair of functions has exactly the properties that the geometric definition would assign to the "cosine" and "sine" [a fact that comes up while proving that $c$ and $s$ can be defined on geometric angles with measures in the set $P'$]. So you've got sine and cosine functions with all the properties you need, but no calculus involved. (I believe that this whole development is carried out in Apostol's Calculus book.) Finally, you can look at the dot-product definition of angles as a way of defining a new function --- let's call it csine:
$$
csine(theta) = frac{v cdot w}{|v| ~|w|}
$$
that depends on the angle $theta$ between two vectors $v$ and $w$.
Now you show (lots of linear algebra and geometry here) that this function satisfies the very "properties" I mentioned earlier --- the essential one being closely tied to the law of cosines), and that it must therefore actually be the same as the cosine function we defined a paragraph or two earlier.
I want to mention that this connection of all these things took me years to learn. I sort of knew a bunch of them, but I don't suppose it was until a decade after I got my Ph.D. that I could have put them all together into a coherent thread, a thread that I've only barely summarized here.
$endgroup$
This is a great question. And the first part of the answer to "How do you define angle" is "Lots of different ways." And when you define it a new way, you have some responsibility for showing that this new way is consistent with the old ways.
The next thing to realize is that there's a difference between an angle and the measure of that angle. In classical geometry, an "angle" is a pair of rays with a common starting point (or a pair of intersecting lines --- depends on your textbook), while the measure of an angle...well, that's actually not such a classical notion: the Greek geometers were more inclined to talk about congruent angles, and leave "measure" to "mere" tradesmen, etc. But if we look at a modern view of classical geometry (e.g., Hilbert's axioms) then the measure of an angle is a number --- clearly a different kind of entity from a "pair of rays".
If you're going to talk about periodic motion, then it's useful to think of a ray starting out pointing along the $x$-axis and then rotating counterclockwise so that it makes ever-larger angles (by which I mean "angles of ever-larger measure") with the $x$-axis. But when you reach a measure of $2pi$ radians or $360$ degrees, you're back to the same "angle" consisting of two copies of the positive $x$-axis. From an analysis point of view, it's nice to think of the "angle measure" as continuing to increase, so we talk about an angle of, say, $395$ degrees.
Right at that moment, the analyst/physics person/tradesman has diverged from the geometer. For smallish angles, they agree; for large ones they disagree. But it's no big deal -- people can usually figure out what's going on from context.
If we think of our angle as being situated at the origin (now I'm a coordinate geometer rather than a Euclidean one!), the two rays subtend an arc of the unit circle at the origin. And some folks (including me!) might call that arc an "angle". So to those folks --- I'll call them "measure theory" people --- an angle is an arc of the unit circle. And the measure of the angle is simply the measure of the arc ... which has to be defined via notions of integration, etc. It's very natural for such a person to say "oh...and I'd like to say that an 'angle' is not just a single arc, but any (measurable) subset of the unit circle." Once you say that, "additivity" of angles follows from additivity of measures. (I don't mean to say this is easy! There's lots of stuff to say about rotationally-invariant measures, etc.)
That measure-theory generalization now lets you define things like "solid angles" in 3-space: a solid angle is just a (measurable) subset of the unit sphere. But the measure-theory approach also loses something: there's no longer such a thing as a "clockwise" and a "counterclockwise" angle, at least not without a good deal of dancing around.
To return to your question about the law of cosines: there's a kind of nice approach to relating cosines to geometry: you show that there are a pair of functions $s$ and $c$ (for "sine" and "cosine", of course) defined on the real line that satisfy three or four basic properties, like $c(0) = 1$, and $c(x-y) = c(x)c(y) + s(x) s(y)$. You do this in a few steps: first, you show that for rational multiples of $pi$ (which appears in one of the properties), the values of $c$ and $s$ are uniquely determined (i.e., you show that there's at most one such pair of functions). Letting $P$ denote these rational-multiples-of-$pi$, you then show that the functions $c$ and $s$ are periodic of period $2pi$ (on $P$), and then use some classical geometry to explicitly show that they can be defined on the set of all geometric angles with geometric angle measure in the set $P' = P cap [0, 2pi)$. Then you show that on $P$, these functions are continuous, and apply the theorem that every continuous function on a dense subset of a metric space admits a unique continuous extension to the metric space itself, thus allowing you define $c$ and $s$ on all of $Bbb R$. Now this pair of functions has exactly the properties that the geometric definition would assign to the "cosine" and "sine" [a fact that comes up while proving that $c$ and $s$ can be defined on geometric angles with measures in the set $P'$]. So you've got sine and cosine functions with all the properties you need, but no calculus involved. (I believe that this whole development is carried out in Apostol's Calculus book.) Finally, you can look at the dot-product definition of angles as a way of defining a new function --- let's call it csine:
$$
csine(theta) = frac{v cdot w}{|v| ~|w|}
$$
that depends on the angle $theta$ between two vectors $v$ and $w$.
Now you show (lots of linear algebra and geometry here) that this function satisfies the very "properties" I mentioned earlier --- the essential one being closely tied to the law of cosines), and that it must therefore actually be the same as the cosine function we defined a paragraph or two earlier.
I want to mention that this connection of all these things took me years to learn. I sort of knew a bunch of them, but I don't suppose it was until a decade after I got my Ph.D. that I could have put them all together into a coherent thread, a thread that I've only barely summarized here.
answered Dec 18 '18 at 15:18
John HughesJohn Hughes
64.7k24191
64.7k24191
$begingroup$
Hi, thank you so much for sharing! I’m glad to know that this isn’t a trivial question. But I’m a bit confused about how you defined the csine function. How do you asscociate a real number with two vectors in the first place?
$endgroup$
– Calvin Qiu
Dec 19 '18 at 11:30
$begingroup$
I define "csine" using the formula shown: divide the dot product by the two lengths. Once you do this apparently random thing, you then have to show that it matches the geometric cosine, typically by showing it has the four properties described by Apostol. BTW, this isn't trivial -- it uses everything. I say that because you could (try to) do the same kind of thing for vectors in $F^2$ for any field $F$, but you'll turn out to need completeness, and ordered-ness, and a few other things to make it work, which is why we do it over the reals.
$endgroup$
– John Hughes
Dec 19 '18 at 13:40
add a comment |
$begingroup$
Hi, thank you so much for sharing! I’m glad to know that this isn’t a trivial question. But I’m a bit confused about how you defined the csine function. How do you asscociate a real number with two vectors in the first place?
$endgroup$
– Calvin Qiu
Dec 19 '18 at 11:30
$begingroup$
I define "csine" using the formula shown: divide the dot product by the two lengths. Once you do this apparently random thing, you then have to show that it matches the geometric cosine, typically by showing it has the four properties described by Apostol. BTW, this isn't trivial -- it uses everything. I say that because you could (try to) do the same kind of thing for vectors in $F^2$ for any field $F$, but you'll turn out to need completeness, and ordered-ness, and a few other things to make it work, which is why we do it over the reals.
$endgroup$
– John Hughes
Dec 19 '18 at 13:40
$begingroup$
Hi, thank you so much for sharing! I’m glad to know that this isn’t a trivial question. But I’m a bit confused about how you defined the csine function. How do you asscociate a real number with two vectors in the first place?
$endgroup$
– Calvin Qiu
Dec 19 '18 at 11:30
$begingroup$
Hi, thank you so much for sharing! I’m glad to know that this isn’t a trivial question. But I’m a bit confused about how you defined the csine function. How do you asscociate a real number with two vectors in the first place?
$endgroup$
– Calvin Qiu
Dec 19 '18 at 11:30
$begingroup$
I define "csine" using the formula shown: divide the dot product by the two lengths. Once you do this apparently random thing, you then have to show that it matches the geometric cosine, typically by showing it has the four properties described by Apostol. BTW, this isn't trivial -- it uses everything. I say that because you could (try to) do the same kind of thing for vectors in $F^2$ for any field $F$, but you'll turn out to need completeness, and ordered-ness, and a few other things to make it work, which is why we do it over the reals.
$endgroup$
– John Hughes
Dec 19 '18 at 13:40
$begingroup$
I define "csine" using the formula shown: divide the dot product by the two lengths. Once you do this apparently random thing, you then have to show that it matches the geometric cosine, typically by showing it has the four properties described by Apostol. BTW, this isn't trivial -- it uses everything. I say that because you could (try to) do the same kind of thing for vectors in $F^2$ for any field $F$, but you'll turn out to need completeness, and ordered-ness, and a few other things to make it work, which is why we do it over the reals.
$endgroup$
– John Hughes
Dec 19 '18 at 13:40
add a comment |
$begingroup$
You can define the sine and cosine function as the real and imaginary part of the function $xmapstoexp(mathrm ix)$. The latter can be defined by simply taking the exponential series and inserting $mathrm ix$. The exponential series in turn can be defined without any geometry, just using algebra and limits.
Alternatively, you can define angles directly from the scalar product as follows:
First, define orthogonality as the scalar product being zero (this obviously requires no predefined angle). Assign an arbitrary value to that (the value you assign will give your angle measure; e.g. if you assign the value $90$, then you'll get angles in degrees).
Next, define that two unit vectors that have the same scalar product have the same angle, and that angles of coplanar vectors are additive; in particular given three linearly dependent unit vectors $a$, $b$, $c$ with $acdot b=bcdot c$, but $cne a$, the angle of $a$ and $c$ is twice the angle of $a$ and $b$. Then you have a way to determine all angles that are a factor $2^k$, $kin mathbb Z$, from the right angle. Since those vectors are dense on the unit circle, the remaining angles can be defined via limits.
Finally define the angle of arbitrary vectors as the angle between the corresponding normalized vectors.
$endgroup$
$begingroup$
"and that angles are additive" I don't think that's true in dimensions greater than 2.
$endgroup$
– Acccumulation
Dec 17 '18 at 21:34
$begingroup$
@Acccumulation: Good point, in that case one explicitly needs to specify that the vectors are coplanar. Fixed.
$endgroup$
– celtschk
Dec 17 '18 at 21:41
$begingroup$
Thanks! But in regards to my second question, how can we demonstrate that these definitions of angle, cosine and sine functions are indeed consistent with elenmtary geometry, in the sense that any statement about geometry is true in elementary geometry if and only it is also true in here?
$endgroup$
– Calvin Qiu
Dec 17 '18 at 23:31
add a comment |
$begingroup$
You can define the sine and cosine function as the real and imaginary part of the function $xmapstoexp(mathrm ix)$. The latter can be defined by simply taking the exponential series and inserting $mathrm ix$. The exponential series in turn can be defined without any geometry, just using algebra and limits.
Alternatively, you can define angles directly from the scalar product as follows:
First, define orthogonality as the scalar product being zero (this obviously requires no predefined angle). Assign an arbitrary value to that (the value you assign will give your angle measure; e.g. if you assign the value $90$, then you'll get angles in degrees).
Next, define that two unit vectors that have the same scalar product have the same angle, and that angles of coplanar vectors are additive; in particular given three linearly dependent unit vectors $a$, $b$, $c$ with $acdot b=bcdot c$, but $cne a$, the angle of $a$ and $c$ is twice the angle of $a$ and $b$. Then you have a way to determine all angles that are a factor $2^k$, $kin mathbb Z$, from the right angle. Since those vectors are dense on the unit circle, the remaining angles can be defined via limits.
Finally define the angle of arbitrary vectors as the angle between the corresponding normalized vectors.
$endgroup$
$begingroup$
"and that angles are additive" I don't think that's true in dimensions greater than 2.
$endgroup$
– Acccumulation
Dec 17 '18 at 21:34
$begingroup$
@Acccumulation: Good point, in that case one explicitly needs to specify that the vectors are coplanar. Fixed.
$endgroup$
– celtschk
Dec 17 '18 at 21:41
$begingroup$
Thanks! But in regards to my second question, how can we demonstrate that these definitions of angle, cosine and sine functions are indeed consistent with elenmtary geometry, in the sense that any statement about geometry is true in elementary geometry if and only it is also true in here?
$endgroup$
– Calvin Qiu
Dec 17 '18 at 23:31
add a comment |
$begingroup$
You can define the sine and cosine function as the real and imaginary part of the function $xmapstoexp(mathrm ix)$. The latter can be defined by simply taking the exponential series and inserting $mathrm ix$. The exponential series in turn can be defined without any geometry, just using algebra and limits.
Alternatively, you can define angles directly from the scalar product as follows:
First, define orthogonality as the scalar product being zero (this obviously requires no predefined angle). Assign an arbitrary value to that (the value you assign will give your angle measure; e.g. if you assign the value $90$, then you'll get angles in degrees).
Next, define that two unit vectors that have the same scalar product have the same angle, and that angles of coplanar vectors are additive; in particular given three linearly dependent unit vectors $a$, $b$, $c$ with $acdot b=bcdot c$, but $cne a$, the angle of $a$ and $c$ is twice the angle of $a$ and $b$. Then you have a way to determine all angles that are a factor $2^k$, $kin mathbb Z$, from the right angle. Since those vectors are dense on the unit circle, the remaining angles can be defined via limits.
Finally define the angle of arbitrary vectors as the angle between the corresponding normalized vectors.
$endgroup$
You can define the sine and cosine function as the real and imaginary part of the function $xmapstoexp(mathrm ix)$. The latter can be defined by simply taking the exponential series and inserting $mathrm ix$. The exponential series in turn can be defined without any geometry, just using algebra and limits.
Alternatively, you can define angles directly from the scalar product as follows:
First, define orthogonality as the scalar product being zero (this obviously requires no predefined angle). Assign an arbitrary value to that (the value you assign will give your angle measure; e.g. if you assign the value $90$, then you'll get angles in degrees).
Next, define that two unit vectors that have the same scalar product have the same angle, and that angles of coplanar vectors are additive; in particular given three linearly dependent unit vectors $a$, $b$, $c$ with $acdot b=bcdot c$, but $cne a$, the angle of $a$ and $c$ is twice the angle of $a$ and $b$. Then you have a way to determine all angles that are a factor $2^k$, $kin mathbb Z$, from the right angle. Since those vectors are dense on the unit circle, the remaining angles can be defined via limits.
Finally define the angle of arbitrary vectors as the angle between the corresponding normalized vectors.
edited Dec 17 '18 at 21:39
answered Dec 17 '18 at 21:16
celtschkceltschk
30.3k755101
30.3k755101
$begingroup$
"and that angles are additive" I don't think that's true in dimensions greater than 2.
$endgroup$
– Acccumulation
Dec 17 '18 at 21:34
$begingroup$
@Acccumulation: Good point, in that case one explicitly needs to specify that the vectors are coplanar. Fixed.
$endgroup$
– celtschk
Dec 17 '18 at 21:41
$begingroup$
Thanks! But in regards to my second question, how can we demonstrate that these definitions of angle, cosine and sine functions are indeed consistent with elenmtary geometry, in the sense that any statement about geometry is true in elementary geometry if and only it is also true in here?
$endgroup$
– Calvin Qiu
Dec 17 '18 at 23:31
add a comment |
$begingroup$
"and that angles are additive" I don't think that's true in dimensions greater than 2.
$endgroup$
– Acccumulation
Dec 17 '18 at 21:34
$begingroup$
@Acccumulation: Good point, in that case one explicitly needs to specify that the vectors are coplanar. Fixed.
$endgroup$
– celtschk
Dec 17 '18 at 21:41
$begingroup$
Thanks! But in regards to my second question, how can we demonstrate that these definitions of angle, cosine and sine functions are indeed consistent with elenmtary geometry, in the sense that any statement about geometry is true in elementary geometry if and only it is also true in here?
$endgroup$
– Calvin Qiu
Dec 17 '18 at 23:31
$begingroup$
"and that angles are additive" I don't think that's true in dimensions greater than 2.
$endgroup$
– Acccumulation
Dec 17 '18 at 21:34
$begingroup$
"and that angles are additive" I don't think that's true in dimensions greater than 2.
$endgroup$
– Acccumulation
Dec 17 '18 at 21:34
$begingroup$
@Acccumulation: Good point, in that case one explicitly needs to specify that the vectors are coplanar. Fixed.
$endgroup$
– celtschk
Dec 17 '18 at 21:41
$begingroup$
@Acccumulation: Good point, in that case one explicitly needs to specify that the vectors are coplanar. Fixed.
$endgroup$
– celtschk
Dec 17 '18 at 21:41
$begingroup$
Thanks! But in regards to my second question, how can we demonstrate that these definitions of angle, cosine and sine functions are indeed consistent with elenmtary geometry, in the sense that any statement about geometry is true in elementary geometry if and only it is also true in here?
$endgroup$
– Calvin Qiu
Dec 17 '18 at 23:31
$begingroup$
Thanks! But in regards to my second question, how can we demonstrate that these definitions of angle, cosine and sine functions are indeed consistent with elenmtary geometry, in the sense that any statement about geometry is true in elementary geometry if and only it is also true in here?
$endgroup$
– Calvin Qiu
Dec 17 '18 at 23:31
add a comment |
$begingroup$
According to wikipedia, the measure of the angle is given by the ratio between the length of the arc on a circle and the radius, such that the vertex of the angle is at the origin, and the intersection of the lines forming the angle with the circle are the end points of the arc. Once you have this definition, you can then define the sine and cosine functions in purely geometrical terms (lengths of projections onto axes). In the analytical geometry approach you then define the vector product, and show that is indeed related to the cosine function. That means that, at least historically, the geometrical definition (as the length of the arc) is the one that you should use.
BUT ... As always, there are caveats. I was looking earlier this month at the definition of $pi$, which historically is the ratio between circumference of the circle and diameter. To calculate the circumference the circle analytically you need to do an integral. So $pi$ depends on knowing integrals. Since most people learn derivatives before integrals, $pi$ is now defined in terms of cosine, which is defined as a series.
$endgroup$
add a comment |
$begingroup$
According to wikipedia, the measure of the angle is given by the ratio between the length of the arc on a circle and the radius, such that the vertex of the angle is at the origin, and the intersection of the lines forming the angle with the circle are the end points of the arc. Once you have this definition, you can then define the sine and cosine functions in purely geometrical terms (lengths of projections onto axes). In the analytical geometry approach you then define the vector product, and show that is indeed related to the cosine function. That means that, at least historically, the geometrical definition (as the length of the arc) is the one that you should use.
BUT ... As always, there are caveats. I was looking earlier this month at the definition of $pi$, which historically is the ratio between circumference of the circle and diameter. To calculate the circumference the circle analytically you need to do an integral. So $pi$ depends on knowing integrals. Since most people learn derivatives before integrals, $pi$ is now defined in terms of cosine, which is defined as a series.
$endgroup$
add a comment |
$begingroup$
According to wikipedia, the measure of the angle is given by the ratio between the length of the arc on a circle and the radius, such that the vertex of the angle is at the origin, and the intersection of the lines forming the angle with the circle are the end points of the arc. Once you have this definition, you can then define the sine and cosine functions in purely geometrical terms (lengths of projections onto axes). In the analytical geometry approach you then define the vector product, and show that is indeed related to the cosine function. That means that, at least historically, the geometrical definition (as the length of the arc) is the one that you should use.
BUT ... As always, there are caveats. I was looking earlier this month at the definition of $pi$, which historically is the ratio between circumference of the circle and diameter. To calculate the circumference the circle analytically you need to do an integral. So $pi$ depends on knowing integrals. Since most people learn derivatives before integrals, $pi$ is now defined in terms of cosine, which is defined as a series.
$endgroup$
According to wikipedia, the measure of the angle is given by the ratio between the length of the arc on a circle and the radius, such that the vertex of the angle is at the origin, and the intersection of the lines forming the angle with the circle are the end points of the arc. Once you have this definition, you can then define the sine and cosine functions in purely geometrical terms (lengths of projections onto axes). In the analytical geometry approach you then define the vector product, and show that is indeed related to the cosine function. That means that, at least historically, the geometrical definition (as the length of the arc) is the one that you should use.
BUT ... As always, there are caveats. I was looking earlier this month at the definition of $pi$, which historically is the ratio between circumference of the circle and diameter. To calculate the circumference the circle analytically you need to do an integral. So $pi$ depends on knowing integrals. Since most people learn derivatives before integrals, $pi$ is now defined in terms of cosine, which is defined as a series.
answered Dec 17 '18 at 22:46
AndreiAndrei
13.1k21230
13.1k21230
add a comment |
add a comment |
$begingroup$
Rather than angles, you can define the curvilinear abscissa along a circle. This is obtained by integration of the element of arc $ds$ itself obtained from Pythagoras' $sqrt{dx^2+dy^2}$.
This approach requires to bridge geometry and calculus.
You can also define the fractions of a turn from regular polygons. These are rational angles. Generalizing to real angles doesn't seem straight forward.
$endgroup$
add a comment |
$begingroup$
Rather than angles, you can define the curvilinear abscissa along a circle. This is obtained by integration of the element of arc $ds$ itself obtained from Pythagoras' $sqrt{dx^2+dy^2}$.
This approach requires to bridge geometry and calculus.
You can also define the fractions of a turn from regular polygons. These are rational angles. Generalizing to real angles doesn't seem straight forward.
$endgroup$
add a comment |
$begingroup$
Rather than angles, you can define the curvilinear abscissa along a circle. This is obtained by integration of the element of arc $ds$ itself obtained from Pythagoras' $sqrt{dx^2+dy^2}$.
This approach requires to bridge geometry and calculus.
You can also define the fractions of a turn from regular polygons. These are rational angles. Generalizing to real angles doesn't seem straight forward.
$endgroup$
Rather than angles, you can define the curvilinear abscissa along a circle. This is obtained by integration of the element of arc $ds$ itself obtained from Pythagoras' $sqrt{dx^2+dy^2}$.
This approach requires to bridge geometry and calculus.
You can also define the fractions of a turn from regular polygons. These are rational angles. Generalizing to real angles doesn't seem straight forward.
answered Dec 18 '18 at 10:11
Yves DaoustYves Daoust
131k676229
131k676229
add a comment |
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%2f3044138%2fthe-formal-definition-of-angle%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
1
$begingroup$
Consider the differential equation $y''=-y$. If you can find any identity , formula or theorem related to inner product spaces containing this differential equation then your problem is solved.(For in this case we don't need elementary geometry at all.)
$endgroup$
– Awe Kumar Jha
Dec 17 '18 at 17:10
3
$begingroup$
Don't you mean the measure of the angle ? An angle is just two coincident half-lines.
$endgroup$
– Yves Daoust
Dec 17 '18 at 21:34
$begingroup$
You may look here: math.stackexchange.com/questions/583066/…
$endgroup$
– Christian Blatter
Dec 18 '18 at 11:04