3
$\begingroup$

In a calculus course I took a while ago, we defined an angle between two rays in $\mathbb{R}^2$ sharing a common endpoint as the length of the circle with radius 1, centered at the point of intersection.

Going back to my old notes, I was wondering: Is this definition even well-defined ? Because one has to give additional information at which of the rays forming the angle to start measuring, if I'm not mistaken.

And then there's also the problem of measuring an angle - Why does one use dimension-sounding phraseology, like "degree" or "radian", if at the core of the definition, the measure of an angle, is nothing more than a function, associating every pair of rays sharing a common endpoint a number, by a (strictly mathematically speaking) rather complicated process, of computing the length of a curve ?

Do you know of other definitions of an angle ? It seems to me, like the mathematical object "angle" is getting too little attention - in almost no textbook during the first years of university does it come up (although one needs it for example in complex analysis, for the multiplication of complex numbers), and when it is used, just an intuitive definition of it is assumed.

  • 0
    "Because one has to give additional information at which of the rays forming the angle to start measuring" - hence the usual convention of measuring anticlockwise. Of course, one could set up a system where angles are measured clockwise...2011-11-20
  • 1
    Many calculus books will mention angles w. r. t. the dot product of two vectors.2011-11-20
  • 0
    On the other hand... in the plane, if you can define slopes, then angles easily follow.2011-11-20
  • 2
    I hope this will get some good answers. Students of mathematics are cheated on this matter. They are told the analytic definitions of sin and cos without proof that they coincide with what they learned in school. Once they have forgotten about the difference, angles are defined via the cosine and it seems perfectly natural. Only it isn't, because actually cos is just some power series. I have often searched the literature for a definition of angle that is both intuitive and rigorous. Nothing was really satisfying, but closest came the books about Euclidean Geometry, e.g. Geometry by Marcel ...2011-11-20
  • 0
    Berger, Geometry by Audin, "Linear algebra and geometry" by Dieudonné and some parts of Bourbaki's General Topology that are quite similar. Their approach is via the orthogonal group of the plane. I am not competent enough to give a summary of that approach, but maybe you find something of worth to you in these books.2011-11-20
  • 0
    @Stefan, where do you assert that such cheating happens? I notice that you mention neither any particular schools nor any particular books that commit such an omission. Are you just extrapolating from your personal experience to "students of mathematics" in general?2011-11-20
  • 0
    @HenningMakholm: Actually, my personal experience was quite good. I was told that it is not obvious and will not be proven in the lecture that the analytical definition corresponds to the intuition that is acquired at (German) schools. I should have put "cheated" in quotation marks, as I certainly do not mean to complain about books or instructors. As to particular schools or books, I think that no introductory book on calculus gives a satisfying definition of "angle". We can take Baby Rudin, if you like. If you can convince me of the contrary, I would be most grateful.2011-11-20
  • 0
    @Stefan, not getting to see a proof that the power series work sounds pretty substandard. Again, on what basis to you claim that such an omission can qualify as a "quite good" experience? I don't know Rudin's book, but my formal introduction to power series was _Complex Analysis_ by Ian Stewart and David Tall, which (of course!) meticulously proves that the power series definition of sine and cosine agrees with the usual geometric notions. -- I will refrain from trying to guess what you would consider a "satisfying definition of angle".2011-11-20
  • 0
    @Henning: I detect a certain sharpness in your tone that I don't think I have given cause to. Anyway, what I would consider satisfying is: a rigorous definition of "angle measurement" (by that I mean assigning a real number to every pair of rays starting in the same point) that corresponds to our intuition. A definition of sine and cosine in terms of leg and hypotenuse (or something similar) and a derivation of the analytical properties of these functions starting from that definition. Textbooks don't define the concept of angle measurement at all, so how can they prove anything about it? ...2011-11-20
  • 0
    @Henning: in other words, textbooks (and from what I can see over google books the book you mentioned is no exception) may deliver some heuristics to convince the reader that "all is well", which is a good thing no doubt, but they don't even clearly state the geometric notions you claim they prove to coincide with the analytical ones.2011-11-20
  • 0
    @StefanWalter You perfectly put in words, in the comments above, the problem I have. Sadly, it seems that the mathematical community has no wish to fix this "gap" of undergraduate education (not even in this forum, since there haven't been any responses so far). Nonetheless it is good to know, that I'm not the only one, who is bothered. If you put your comments in an answer, I would accept it.2011-11-24
  • 0
    @HenningMakholm I can only confirm what Stefan Walter said - on page 121, there is indeed, lets say, an argument (calling it a proof would be too much, because the book doesn't say anywhere, what an angle or a radiant it) that the analytical definition of the measurement of an angle coincides with the geometrical one - but calling that "meticulously" would be, at least in my opinion, rather far-fetched.2011-11-24
  • 0
    I'd rather leave the question open and wait for someone who can give a real answer. Maybe I will be the one, but not for some time.2011-11-24
  • 0
    @StefanWalter: There's a nice geometric interpretation of the power series of sine and cosine (and also tangent and secant; cotangent and cosecant are currently a mystery). http://dlnds.com/bloog/the-geometry-of-the-power-series-for-trig-functions/ . Does this help?2013-02-23

1 Answers 1