请输入您要查询的字词:

 

单词 Angle
释义

angle


1 Definition

In an ordered geometryMathworldPlanetmath S, given a point p let Π(p) be the family ofall rays emanating from it. Let α,βΠ(p) such thatαβ and α-β. The angle between rays (http://planetmath.org/BetweennessInRays)α and β at p is

{ρΠ(p)ρ is between α and β}.

This angleis denoted by αpβ. The two rays α andβ are the sides of the angle, and p the vertex of theangle. Since any point (otherthan the source p) on a ray uniquely determines the ray, we mayalso write the angle by apb, whenever we have pointsaα and bβ.

The notational device given for the angle suggeststhe possibility of defining an angle between two line segments satisfying certain conditions:let pq¯ and qr¯ be two open line segments with a common endpointq. The angle between the two open line segments is the angle between therays qp and qr. In this case, we may denote the angle by pqr.

Suppose is a line and p a point lying on . We havetwo opposite rays emanating from p that lie on . Call themσ and -σ. Any ray ρ emanating from a point pthat does not lie on produces two angles at p, one betweenρ and σ and the other between ρ and -σ.These two angles are said to be supplement of one another, orthat σpρ is supplementary of (-σ)pρ. Every angle has exactly two supplements.

2 Ordering of Angles

Let S be an ordered geometry and ρ a ray in S with sourcepoint p. Consider the set E of all angles whose one side isρ. Define an ordering on E by the following rule: forαpρ,βpρE,

  1. 1.

    αpρ=βpρ if α=β,

  2. 2.

    αpρ<βpρ if αβpρ, and

  3. 3.

    αpρ>βpρ if βαpρ.

The ordering relation above is well-defined. However, it is quitelimited, because there is no way to compare angles if the pair (ofangles) do not share a common side. This can be remedied with anadditional set of axioms on the geometryMathworldPlanetmathPlanetmathPlanetmath: the axioms of congruence.

In an ordered geometry satisfying the congruence axioms, we have theconcept of angle congruencePlanetmathPlanetmathPlanetmathPlanetmath. This binary relationMathworldPlanetmath turns out to be anequivalence relationMathworldPlanetmath, so we can form the set of equivalence classesMathworldPlanetmathon angles. Each equivalence class of angles is called a freeangle. Any member of a free angle 𝔞 is called arepresentative of 𝔞, which is simply an angle of formabc, where b is the source of two rays ba andbc. We write 𝔞=[abc]. It is easy tosee that given a point p and a ray ρ emanating from p, wecan find, in each free angle, a representative whose one side isρ. In other words, for any free angle 𝔞, it ispossible to write 𝔞=[αpρ] for some rayα.

Now we are ready to define orderings on angles in general. In fact,this this done via free angles. Let 𝔄 be the set ofall free angles in an ordered geometry satisfying the congruenceaxioms, and 𝔞,𝔟𝔄. Write𝔞=[αpρ] and 𝔟=[βpρ]. We say that 𝔞<𝔟 if ray α isbetween β and ρ. The other inequality is dually defined.This is a well-defined binary relation. Given the ordering on freeangles, we define αpβ<γqδ if[αpβ]<[γqδ].

Let be a line and p a point lying on . The point pdetermines two opposite rays ρ and -ρ lying on . Anyray σ emanating from p that is distinct from either ρand -ρ determines exactly two angles: ρpσ and(-ρ)pσ. These two angles are said to besupplements of one another, or that one is supplementary of theother.

In an ordered geometry satisfying the congruence axioms,supplementary free angles are defined if each contains arepresentative that is supplementary to one another. Given twosupplementary free angles 𝔞,𝔟, we may makecomparisons of the two:

  • if 𝔞=𝔟, then we say that 𝔞 is aright free angle, or simple a right angleMathworldPlanetmath. Clearly𝔟 is a right angle if 𝔞 is;

  • if 𝔞>𝔟, then 𝔞 is calledan obtuse free angle, or an obtuse angle. Thesupplement of an obtuse angle is called an acute free angle,or an acute angle. Thus, 𝔟 is acute if𝔞 is obtuse.

Given any two free angles, we can always compare them. In otherwords, the law of trichotomy is satisfied by the ordering of freeangles: for any 𝔞 and 𝔟, exactly one of

𝔞>𝔟    𝔞=𝔟    𝔞<𝔟

is true.

3 Operations on Angles

Let S be an ordered geometry satisfying the congruence axioms and𝔞 and 𝔟 are two free angles. Write𝔞=[αpβ] and 𝔟=[βpγ]. If β is between α and γ, we definean “additionPlanetmathPlanetmath” of 𝔞 and 𝔟, written𝔞+𝔟 as the free angle 𝔠 withrepresentative αpγ. In symbol, this says that ifβ is between α and γ, then

[αpβ]+[βpγ]=[αpγ].

This is awell-defined binary operationMathworldPlanetmath, provided that one free angle isbetween the other two. Therefore, the sum of a pair ofsupplementary angles is not defined! In addition, if 𝔞and 𝔠 are two free angles, such that there exists afree angle 𝔟 with𝔞+𝔟=𝔠, then 𝔟 isunique and we denote it by 𝔠-𝔞. It is alsopossible to define the multiplication of a free angle by a positiveinteger, provided that the resulting angle is a well-defined freeangle. Finally, division of a free angle by positive integral powersof 2 can also be defined.

4 Angle Measurement

An angle measure 𝒜 is a function defined on free anglesof an ordered geometry S with the congruence axioms, such that

  1. 1.

    𝒜 is real-valued and positive,

  2. 2.

    𝒜 is additive; in other words,𝒜(𝔞+𝔟)=𝒜(𝔞)+𝒜(𝔟), if𝔞+𝔟 is defined;

Here are some properties:

  • if 𝒜(𝔞)=𝒜(𝔟), then𝔞=𝔟.

  • 𝔞>𝔟 iff 𝒜(𝔞)>𝒜(𝔟).

  • for any free angle 𝔞, denote its supplement by𝔞s. Then 𝒜(𝔞)+𝒜(𝔞s) is a positive constantr𝒜 that does not depend on 𝔞.

  • 𝒜 is bounded above by r𝒜.

  • if 𝒜 and are angle measures, then𝒜+ defined by (𝒜+)(𝔞)=𝒜(𝔞)+(𝔞) is an anglemeasure too.

  • if 𝒜 is an angle measure, then for any positivereal number r, r𝒜 defined by(r𝒜)(𝔞)=r(𝒜(𝔞)) is alsoan angle measure. In the event that r is an integer such thatr𝔞 makes sense, we also haver(𝒜(𝔞))=𝒜(r𝔞).

If S is a neutral geometry, then we impose a third requirement fora function to be an angle measure:

  1. 3.

    for any real number r with 0<r<r𝒜, there is afree angle 𝔞 such that𝒜(𝔞)=r.

Once the measure of a free angle is defined, one can next define themeasure of an angle: let 𝒜 be a measure of the freeangles, define 𝒜 on angles by𝒜(αpβ)=𝒜([αpβ]). This is a well-defined function. It is easy tosee that 𝒜(αpβ)=𝒜(γqδ) iff αpβγqδ, and 𝒜(αpβ)>𝒜(γqδ) iffαpβ>γqδ.

Two popular angle measures are the degree measure and the radianmeasure. In the degree measure, r𝒜=180. Inthe radian measure, r𝒜=π.

References

  • 1 D. Hilbert, Foundations of Geometry, Open Court Publishing Co. (1971)
  • 2 K. Borsuk and W. Szmielew, Foundations of Geometry, North-Holland Publishing Co. Amsterdam (1960)
  • 3 M. J. Greenberg, EuclideanMathworldPlanetmath and Non-Euclidean Geometries, Development and History, W. H. Freeman and Company, San Francisco (1974)
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 20:58:32