In this example there is but one X (the greater side) and one Y (the greater angle), and as X is (corresponds to or is opposite) Y, therefore Y is (corresponds to or is opposite) X.

8°. A Corollary is a theorem deduced from some other theorem, usually by some qualification or restriction, and occasionally by some amplification of the hypothesis. Or a corollary may be derived directly from an axiom or from a definition.

As a matter of course no sharp distinction can be drawn between theorems and corollaries.

Ex. From the theorem, "The product of two odd numbers is an odd number," by making the two numbers equal we obtain as a corollary, "The square of an odd number is an odd number."

EXERCISES.

State the contrapositives and the converses of the following theorems :--

I. The sum of two odd numbers is an even number.

2. A diameter is the longest chord in a circle.

3. Parallel lines never meet.

4. Every point equidistant from the end-points of a linesegment is on the right bisector of that segment.

SECTION I

THE LINE AND POINT.

9°. Space may be defined to be that which admits of length or distance in every direction; so that length and direction are fundamental ideas in studying the geometric properties of space.

Every material object exists in, and is surrounded by space. The limit which separates a material object from the space which surrounds it, or which separates the space occupied by the object from the space not occupied by it, is a surface.

The surface of a black-board is the limit which separates the black-board from the space lying without it. This surface can have no thickness, as in such a case it would include a part of the board or of the space without or of both, and would not be the dividing limit.

10°. A flat surface, as that of a black-board, is a plane surface, or a Plane.

Pictures of geometric relations drawn on a plane surface as that of a black-board are usually called Plane Geometric Figures, because these figures lie in or on a plane.

Some such figures are known to every person under such names as "triangle," "square," "circle,” etc.

11°. That part of mathematics which treats of the properties and relations of plane geometric figures is Plane Geometry. Such is the subject of this work.

The plane upon which the figures are supposed to lie will be referred to as the plane, and unless otherwise stated all figures will be supposed to lie in or on the same plane.

12°. The Line, When the crayon is drawn along the black-board it leaves a visible mark. This mark has breadth and occupies some of the surface upon which it is drawn, and by way of distinction is called a physical line. By continually diminishing the breadth of the physical line we make it approximate to the geometric line. Hence we may consider the geometric line as being the limit towards which a physical line approaches as its breadth is continually diminished. We may consequently consider a geometric line as length abstracted from every other consideration,

This theoretic relation of a geometric line to a physical one is of some importance, as whatever is true for the physical line, independently of its breadth, is true for the geometric line. And hence arguments in regard to geometric lines may be replaced by arguments in regard to physical lines, if from such arguments we exclude everything that would involve the idea of breadth.

The diagrams employed to direct and assist us in geometric investigations are formed of physical lines, but they may equally well be supposed to be formed of threads, wires or light rods, if we do not involve in our arguments any idea of the breadth or thickness of the lines, threads, wires or rods employed.

In the practical applications of Geometry the diagrams frequently become material or represent material objects. Thus in Mechanics we consider such things as levers, wedges, wheels, cords, etc., and our diagrams become representations of these things.

A pulley or wheel becomes a circle, its arms become radii of the circle, and its centre the centre of the circle; stretched cords become straight lines, etc.

13°. The Point. A point marks position, but has no size. The intersection of one line by another gives a point, called the point of intersection.

If the lines are physical, the point is physical and has some size, but when the lines are geometric the point is also geometric.

14°. Straight Line. For want of a better definition we may say that a straight line is one of which every part has the same direction. For every part of a line must have some direction, and when this direction is common to all the parts of the line, the line is straight.

The word "direction" is not in itself definable, and when applied to a line in the absolute it is not intelligible. But

every person knows what is meant by such expressions as "the same direction," "opposite direction," etc., for these express relations between directions, and such relations are as readily comprehended as relations between lengths or other magnitudes.

The most prominent property, and in fact the distinctive. property of a straight line, is the absolute sameness which characterizes all its parts, so that two portions of the same straight line can differ from one another in no respect except in length.

Def.-A plane figure made up of straight lines only is called a rectilinear figure.

15°. A Curve is a line of which no part is straight; or a curve is a line of which no two adjacent parts have the same direction.

The most common example of a curve is a circle or portion of a circle.

Henceforward, the word "line," unless otherwise qualified, will mean a straight line.

Its

16°. The “rule" or "straight-edge" is a strip of wood, metal, or other solid with one edge made straight. common use is to guide the pen or pencil in drawing lines in Practical Geometry.

17o. A Planè is a surface such that the line joining any two arbitrary points in it coincides wholly with the surface.

The planarity of a surface may be tested by applying the rule to it. If the rule touches the surface at some points and not at others the surface is not a plane. But if the rule touches the surface throughout its whole length, and in every position and direction in which it can be applied, the surface is a plane.

The most accurately plane artificial surface known is probably that of a well-formed plane mirror. Examina

tion of the images of objects as seen in such mirrors is capable of detecting variations from the plane, so minute as to escape all other tests.

18°. A surface which is not plane, and which is not composed of planes, is a curved surface. Such is the surface of a sphere, or cylinder.

19°. The point, the line, the curve, the plane and the curved surface are the elements which go to make up geometric figures.

Where a single plane is the only surface concerned, the point and line lie in it and form a plane figure. But where more than one plane is concerned, or where a curved surface is concerned, the figure occupies space, as a cube or a sphere, and is called a spatial figure or a solid.

The study of spatial figures constitutes Solid Geometry, or the Geometry of Space, as distinguished from Plane Geometry.

20°. Given Point and Line. A point or line is said to be given when we are made to know enough about it to enable us to distinguish it from every other point or line; and the data which give a point or line are commonly said to determine it.

A similar nomenclature applies to other geometric ele

ments.

The statement that a point or line lies in a plane does not give it, but a point or line placed in the plane for future reference is considered as being given. Such a point is usually called an origin, and such a line a datum line, an initial line, a prime vector, etc.

21°. Def. 1.-A line considered merely as a geometric element, and without any limitations, is an indefinite line.

2.—A limited portion of a line, especially when any reference is had to its length, is a finite line, or a line-segment, or simply a segment.