Table of Contents | Introduction | Home P l a n e G e o m e t r y An Adventure in Language and Logic based on TWO RIGHT ANGLESBook I. Propositions 13 and 14Straight angles. Supplementary angles. WE KNOW THAT WHEN A STRAIGHT LINE EB stands on another straight line and makes the adjacent angles equal, then we have two right angles. But it should be obvious that when any straight line stands on another, then the adjacent angles ABC, ABD are together equal to two right angles. That is the next proposition. (The proof will show that the two right angles CBE, EBD PROPOSITION 13. THEOREM
The hypothesis of Proposition 13 is that the straight line which stands on the other makes two angles. But how could it not make two angles? If it stood at the extremity of the line. In that case, it would make only one angle. When it does not stand at the extremity, however, then the angles formed are equal to two right angles. Conversely -- if angles
ABC, ABD together are equal to two right angles, then BD is in a straight line with CB. This is Proposition 14. But there is no previous proposition or definition that gives a criterion for two straight lines being in a straight line. This proposition is the criterion. Therefore, it can be proved only by the indirect method. Thus, if we assume that BD is not in a straight line with CB, then we may assume that BE is, because the straight line CB may be extended in a straight line. But this leads to the conclusion that angle ABE is equal to angle ABD, the smaller to the larger; which is absurd. (Can you show that?) It follows, then, that BD is the only straight line that is in a straight line with CB. PROPOSITION 14. THEOREM
Straight angles. Supplementary angles. An angle in plane geometry is strictly less than two right angles. We do not think of angles ABC, CBD together as one angle. The angle we call angle ABD is the obtuse angle ABD, which is less than two right angles. If CD is a straight line, then, and AB meets it, then in classical geometry we do not call CBD an angle. It has become a feature of of modern treatments, however, to call CBD a straight angle. A straight angle is one whose sides are in a straight line Given that concept, Proposition 14 is then both obvious and trivial. It was very likely with that in mind that a straight angle originated . When two angles together are equal to a straight angle -- to two right angles -- we say that they are supplements of one another, or that they are supplementary angles. Thus angle ABC above is the supplement of angle ABD, and vice-versa. It will be left to Problem 5 to prove the simple theorem: Angles that are supplements of the same angle are equal to one another. Please "turn" the page and do some Problems. or Continue on to the next proposition. Table of Contents | Introduction | Home Please make a donation to keep TheMathPage online. Copyright © 2016 Lawrence Spector Questions or comments? E-mail: themathpage@yandex.com |