angle
1 Definition
In an ordered geometry , given a point let be the family ofall rays emanating from it. Let such that and . The angle between rays (http://planetmath.org/BetweennessInRays) and at is
This angleis denoted by . The two rays and are the sides of the angle, and the vertex of theangle. Since any point (otherthan the source ) on a ray uniquely determines the ray, we mayalso write the angle by , whenever we have points and .
The notational device given for the angle suggeststhe possibility of defining an angle between two line segments satisfying certain conditions:let and be two open line segments with a common endpoint. The angle between the two open line segments is the angle between therays and . In this case, we may denote the angle by .
Suppose is a line and a point lying on . We havetwo opposite rays emanating from that lie on . Call them and . Any ray emanating from a point that does not lie on produces two angles at , one between and and the other between and .These two angles are said to be supplement of one another, orthat is supplementary of . Every angle has exactly two supplements.
2 Ordering of Angles
Let be an ordered geometry and a ray in with sourcepoint . Consider the set of all angles whose one side is. Define an ordering on by the following rule: for,
- 1.
if ,
- 2.
if , and
- 3.
if .
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 geometry: the axioms of congruence.
In an ordered geometry satisfying the congruence axioms, we have theconcept of angle congruence. This binary relation
turns out to be anequivalence relation
, so we can form the set of equivalence classes
on 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 form, where is the source of two rays and. We write . It is easy tosee that given a point and a ray emanating from , wecan find, in each free angle, a representative whose one side is. In other words, for any free angle , it ispossible to write 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 and . 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 if.
Let be a line and a point lying on . The point determines two opposite rays and lying on . Anyray emanating from that is distinct from either and determines exactly two angles: and. 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 angle
. 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 be an ordered geometry satisfying the congruence axioms and and are two free angles. Write and . If is between and , we definean “addition” of and , written as the free angle withrepresentative . In symbol, this says that if is between and , then
This is awell-defined binary operation, 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 with the congruence axioms, such that
- 1.
is real-valued and positive,
- 2.
is additive; in other words,, if is defined;
Here are some properties:
- •
if , then.
- •
iff .
- •
for any free angle , denote its supplement by. Then is a positive constant that does not depend on .
- •
is bounded above by .
- •
if and are angle measures, then defined by is an anglemeasure too.
- •
if is an angle measure, then for any positivereal number , defined by is alsoan angle measure. In the event that is an integer such that makes sense, we also have.
If is a neutral geometry, then we impose a third requirement fora function to be an angle measure:
- 3.
for any real number with , there is afree angle such that.
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. This is a well-defined function. It is easy tosee that iff , and iff.
Two popular angle measures are the degree measure and the radianmeasure. In the degree measure, . Inthe radian measure, .
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, Euclidean
and Non-Euclidean Geometries, Development and History, W. H. Freeman and Company, San Francisco (1974)