Sidebilder
PDF
ePub

PROPOSITION III.

Problem. From the greater of two given straight lines

to cut off a part equal to

the less.

A

PROPOSITION IV.

Theorem. If two triangles have two sides of the one equal to two sides of the other, each to each; and have also the angles contained by those sides equal; the bases or third sides of the triangles shall be equal; as also the triangles; and their other angles shall be equal, each to each, viz., those to which the equal sides are opposite.

D

Да

B

E

Steps of the Demonstration. Conceiving the As applied to each other as directed,

The 1st thing to be proved is—

2.

3.

4.

5.

6.

that the point B coincides with E,
that AC coincides with DF,
that the point c coincides with F,
that BC coincides with and — EF,
that the As are equal,

that their remaining Ls are equal

ea. to ea.

Note. The student who finds any difficulty in understanding this Theorem, which is the very foundation of the science of Geometry, may assist his apprehension of it, by cutting out the two triangles in paper, and actually applying one to the other according to the directions in Euclid.

PROPOSITION V.

Theorem. The angles at the base of an isosceles triangle are equal; and if the equal sides be produced, the angles upon the other side of the base shall be equal.

[blocks in formation]

Steps of the Demonstration.

[ base BG = base CF

1. Prove that in ▲ AGB ABGACF of A AFC,

[merged small][merged small][merged small][merged small][merged small][ocr errors][merged small][merged small][merged small][merged small]

Theorem. If two angles of a triangle be equal to one another, the sides also, which subtend, or are opposite to, the equal angles, are equal to one another.

Note. The nature of the proof of this proposition is different from that of the preceding ones. This is an instance of the argument ad absurdum, i. e., it is proved that the theorem cannot be supposed false, without leading us to a manifest absurdity and contradiction, and we therefore conclude that it is true. And here let it be remarked that the usual editions of Euclid are calculated to mislead, or at least to puzzle, the learner, in their manner of proving these indirect propositions. For instance, instead of saying (as in Simpson), let AB be greater than AC, and from ab cut off DB = AC; and then referring the reader to Prob. III., to show him how to cut off this line, which, in fact, is not possible to be done, it would be much more intelligible to say, Suppose

B

AB to be greater than AC,—and suppose that a part of AB as DB = AC, &c., We shall therefore, in giving the steps of the argument in such propositions, use this more correct mode of expression.

Steps of the Demonstration.

Having made the supposition that AB AC, but that one of them, as AB, is > the other,―prove, on that supposition,

=

1. that A DBCA ACB, i.e. the less greater, which shows the supposition to be false.

2. that.. AB is not ac, i. e., that AB = AC.

PROPOSITION VII.

(Argument ad Absurdum.)

Theorem. On the same base, and on the same side of it, there cannot be two triangles that have their sides terminated in one extremity of the base equal to each other, and likewise those terminated in the other extremity.

[blocks in formation]

Suppose it possible that the two AS ACB, ADB, on the same base AB can have the side CA of the one = side DA of the other, &c. (See Euclid.)

Steps of the Demonstration in Case 1st,

In which each of the vertices of the As falls without

[blocks in formation]

Steps of the Demonstration in Case 2nd,

In which the vertex of one ▲A falls within the other A. Prove on the above supposition,

[blocks in formation]

PROPOSITION VIII.

Theorem. If two triangles have two sides of the one equal to two sides of the other, each to each, and have likewise their bases equal, the angle contained by the two sides of the one shall be equal to the angle contained by the two sides, equal to them, of the other.

[blocks in formation]

Steps of the Demonstration.

Conceiving the A s applied to each other as directed, 1. Prove that the point c coincides with F,

2.

3.

that BA, AC coincide with ED, df,

(For we cannot suppose them not to coincide without falling into a contradiction,)

that. BAC=▲ EDF.

PROPOSITION IX.

Problem*. To bisect a given rectilineal angle; that is, to divide it into two equal angles.

A

E

B/

* The proofs of Propositions IX. XI. and XII. depend wholly on Proposition VIII. and that of X. wholly on Proposition IV.

« ForrigeFortsett »