(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (210)
Orphanage
Unclass'd (1)
Unproven (473)
Corrections (38)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

angle

(Definition)

Definition

In an ordered geometry

, given a point

let $\Pi(p)$ be the family of all rays emanating from it. Let $\alpha,\beta\in\Pi(p)$ such that $\alpha\neq\beta$ and $\alpha\neq-\beta$ . The angle between rays $\alpha$ and $\beta$ at

$\displaystyle \lbrace \rho\in\Pi(p)\mid \rho$ is between $\displaystyle \alpha$ and $\displaystyle \beta\rbrace.$

This angle is denoted by $\angle \alpha p\beta$ . The two rays $\alpha$ and $\beta$ are the sides of the angle, and

the vertex of the angle. Since any point (other than the source

) on a ray uniquely determines the ray, we may also write the angle by $\angle apb$ , whenever we have points $a\in\alpha$ and $b\in\beta$ .

The notational device given for the angle suggests the possibility of defining an angle between two line segments satisfying certain conditions: let $\overline{pq}$ and $\overline{qr}$ be two open line segments with a common endpoint . The angle between the two open line segments is the angle between the rays $\overrightarrow{qp}$ and $\overrightarrow{qr}$ . In this case, we may denote the angle by $\angle pqr$ .

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

Ordering of Angles

Let

be an ordered geometry and $\rho$ a ray in

with source point

. Consider the set

of all angles whose one side is $\rho$ . Define an ordering on

by the following rule: for $\angle \alpha p\rho,\angle \beta p\rho\in E$ ,

$\angle\alpha p\rho=\angle\beta p\rho$ if $\alpha=\beta$ ,
$\angle\alpha p\rho<\angle\beta p\rho$ if $\alpha\in\angle\beta p\rho$ , and
$\angle\alpha p\rho>\angle\beta p\rho$ if $\beta\in\angle\alpha p\rho$ .

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

In an ordered geometry satisfying the congruence axioms, we have the concept of angle congruence. This binary relation turns out to be an equivalence relation, so we can form the set of equivalence classes on angles. Each equivalence class of angles is called a free angle. Any member of a free angle $\mathfrak{a}$ is called a representative of $\mathfrak{a}$ , which is simply an angle of form $\angle abc$ , where

is the source of two rays $\overrightarrow{ba}$ and $\overrightarrow{bc}$ . We write $\mathfrak{a}=[\angle abc]$ . It is easy to see that given a point

and a ray $\rho$ emanating from

, we can find, in each free angle, a representative whose one side is $\rho$ . In other words, for any free angle $\mathfrak{a}$ , it is possible to write $\mathfrak{a}=[\angle \alpha p\rho]$ for some ray $\alpha$ .

Now we are ready to define orderings on angles in general. In fact, this this done via free angles. Let $\mathfrak{A}$ be the set of all free angles in an ordered geometry satisfying the congruence axioms, and $\mathfrak{a},\mathfrak{b}\in\mathfrak{A}$ . Write $\mathfrak{a}=[\angle \alpha p\rho]$ and $\mathfrak{b}=[\angle \beta p\rho]$ . We say that $\mathfrak{a}<\mathfrak{b}$ if ray $\alpha$ is between $\beta$ and $\rho$ . The other inequality is dually defined. This is a well-defined binary relation. Given the ordering on free angles, we define $\angle \alpha p\beta<\angle \gamma q\delta$ if $[\angle \alpha p\beta]<[\angle \gamma q\delta]$ .

Let $\ell$ be a line and

a point lying on $\ell$ . The point

determines two opposite rays $\rho$ and $-\rho$ lying on $\ell$ . Any ray $\sigma$ emanating from

that is distinct from either $\rho$ and $-\rho$ determines exactly two angles: $\angle \rho p\sigma$ and $\angle (-\rho)p\sigma$ . These two angles are said to be supplements of one another, or that one is supplementary of the other.

In an ordered geometry satisfying the congruence axioms, supplementary free angles are defined if each contains a representative that is supplementary to one another. Given two supplementary free angles $\mathfrak{a},\mathfrak{b}$ , we may make comparisons of the two:

if $\mathfrak{a}=\mathfrak{b}$ , then we say that $\mathfrak{a}$ is a right free angle, or simple a right angle. Clearly $\mathfrak{b}$ is a right angle if $\mathfrak{a}$ is;
if $\mathfrak{a}>\mathfrak{b}$ , then $\mathfrak{a}$ is called an obtuse free angle, or an obtuse angle. The supplement of an obtuse angle is called an acute free angle, or an acute angle. Thus, $\mathfrak{b}$ is acute if $\mathfrak{a}$ is obtuse.

Given any two free angles, we can always compare them. In other words, the law of trichotomy is satisfied by the ordering of free angles: for any $\mathfrak{a}$ and $\mathfrak{b}$ , exactly one of

$\displaystyle \mathfrak{a}>\mathfrak{b}\qquad\qquad\mathfrak{a}=\mathfrak{b} \qquad\qquad\mathfrak{a}<\mathfrak{b}$

is true.

Operations on Angles

Let

be an ordered geometry satisfying the congruence axioms and $\mathfrak{a}$ and $\mathfrak{b}$ are two free angles. Write $\mathfrak{a}=[\angle\alpha p\beta]$ and $\mathfrak{b}=[\angle\beta p\gamma]$ . If $\beta$ is between $\alpha$ and $\gamma$ , we define an “addition” of $\mathfrak{a}$ and $\mathfrak{b}$ , written $\mathfrak{a}+\mathfrak{b}$ as the free angle $\mathfrak{c}$ with representative $\angle\alpha p\gamma$ . In symbol, this says that if $\beta$ is between $\alpha$ and $\gamma$ , then

$\displaystyle [\angle \alpha p\beta]+[\angle \beta p\gamma]=[\angle \alpha p\gamma].$

This is a well-defined binary operation, provided that one free angle is between the other two. Therefore, the sum of a pair of supplementary angles is not defined! In addition, if $\mathfrak{a}$ and $\mathfrak{c}$ are two free angles, such that there exists a free angle $\mathfrak{b}$ with $\mathfrak{a}+\mathfrak{b}=\mathfrak{c}$ , then $\mathfrak{b}$ is unique and we denote it by $\mathfrak{c}-\mathfrak{a}$ . It is also possible to define the multiplication of a free angle by a positive integer, provided that the resulting angle is a well-defined free angle. Finally, division of a free angle by positive integral powers of 2 can also be defined.

Angle Measurement

An angle measure $\mathcal{A}$ is a function defined on free angles of an ordered geometry

with the congruence axioms, such that

$\mathcal{A}$ is real-valued and positive,
$\mathcal{A}$ is additive; in other words, $\mathcal{A}(\mathfrak{a}+\mathfrak{b})= \mathcal{A}(\mathfrak{a})+\mathcal{A}(\mathfrak{b})$ , if $\mathfrak{a}+\mathfrak{b}$ is defined;

Here are some properties:

if $\mathcal{A}(\mathfrak{a})=\mathcal{A}(\mathfrak{b})$ , then $\mathfrak{a}=\mathfrak{b}$ .
$\mathfrak{a}>\mathfrak{b}$ iff $\mathcal{A}(\mathfrak{a})> \mathcal{A}(\mathfrak{b})$ .
for any free angle $\mathfrak{a}$ , denote its supplement by $\mathfrak{a}^s$ . Then $\mathcal{A}(\mathfrak{a})+ \mathcal{A}(\mathfrak{a}^s)$ is a positive constant $r_{\mathcal{A}}$ that does not depend on $\mathfrak{a}$ .
$\mathcal{A}$ is bounded above by $r_{\mathcal{A}}$ .
if $\mathcal{A}$ and $\mathcal{B}$ are angle measures, then $\mathcal{A+B}$ defined by $(\mathcal{A+B})(\mathfrak{a})= \mathcal{A}(\mathfrak{a})+\mathcal{B}(\mathfrak{a})$ is an angle measure too.
if $\mathcal{A}$ is an angle measure, then for any positive real number , $r\mathcal{A}$ defined by $(r\mathcal{A})(\mathfrak{a})=r(\mathcal{A}(\mathfrak{a}))$ is also an angle measure. In the event that is an integer such that $r\mathfrak{a}$ makes sense, we also have $r(\mathcal{A}(\mathfrak{a}))=\mathcal{A}(r\mathfrak{a})$ .

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

3.: for any real number with $0<r<r_{\mathcal{A}}$ , there is a free angle $\mathfrak{a}$ such that $\mathcal{A}(\mathfrak{a})=r$ .

Once the measure of a free angle is defined, one can next define the measure of an angle: let $\mathcal{A}$ be a measure of the free angles, define $\mathcal{A}^{\prime}$ on angles by $\mathcal{A}^{\prime}(\angle \alpha p\beta)=\mathcal{A}([\angle \alpha p\beta])$ . This is a well-defined function. It is easy to see that $\mathcal{A}^{\prime}(\angle \alpha p\beta)= \mathcal{A}^{\prime}(\angle \gamma q\delta)$ iff $\angle \alpha p\beta\cong\angle \gamma q\delta$ , and $\mathcal{A}^{\prime}(\angle \alpha p\beta)>\mathcal{A}^{\prime}(\angle \gamma q\delta)$ iff $\angle \alpha p\beta>\angle \gamma q\delta$ .

Two popular angle measures are the degree measure and the radian measure. In the degree measure, $r_\mathcal{A}=180^{\circ}$ . In the radian measure, $r_\mathcal{A}=\pi$ .

Bibliography

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)

"angle" is owned by CWoo. [ full author list (3) ]

(view preamble)

Other names:

supplement

Also defines:

supplementary, right angle, between rays, crossbar theorem, free angle, acute angle, obtuse angle, angle measure, side, vertex

Attachments:: complementary angles (Definition) by pahio
angle of view of a line segment (Topic) by pahio
explementary (Definition) by pahio
supplementary angles (Definition) by pahio

Log in to rate this entry.
(view current ratings)

Cross-references: radian, degree, measure, neutral geometry, event, real number, bounded, iff, properties, additive, function, powers, integral, division, integer, positive, multiplication, addition, sum, binary operation, law of trichotomy, acute, obtuse, simple, right, contains, inequality, easy to see, equivalence classes, equivalence relation, binary relation, congruence, axioms of congruence, geometry, axioms, way, well-defined, ordering relation, ordering, lie on, opposite rays, lying on, line, endpoint, open line segments, segments, angle between two line, source, rays, point, ordered geometry
There are 308 references to this entry.

This is version 19 of angle, born on 2005-10-18, modified 2007-10-13.
Object id is 7440, canonical name is Angle.
Accessed 19981 times total.

Classification:

AMS MSC:	51G05 (Geometry :: Ordered geometries )
	51F20 (Geometry :: Metric geometry :: Congruence and orthogonality)

Pending Errata and Addenda

None.[ View all 3 ]

Discussion

forum policy

No messages.

Interact