« ForrigeFortsett »
truth of i GENERAL CONSIDERATIONS.
1°. A statement which explains the sense in which some word or phrase is employed is a definition.
A definition may select some one meaning out of several attached to a common word, or it may introduce some technical term to be used in a particular sense.
Some terms, such as space, straight, direction, etc., which express elementary ideas cannot be defined.
2°. Def.-A Theorem is the formal statement of some mathematical relation.
A theorem may be stated for the purpose of being subsequently proved, or it may be deduced from some previous course of reasoning.
In the former case it is called a Proposition, that is, something proposed, and consists of (a) the statement or enunciation of the theorem, and (6) the argument or proof. The purpose of the argument is to show that the truth of the theorem depends upon that of some preceding theorem whose truth has already been established or admitted.
Ex. The sum of two odd numbers is an even number" is a theorem.
39. A theorem so elementary as to be generally accepted as true without any formal proof, is an axiom.
Mathematical axioms are general or particular, that is,
therefore greater than any one of its parts.
ii. Things equal to the same thing are equal to one II. sf equch he
iii. als be added to equals the sums are equal. of soudele
is be taken from equals the remainders are
results are unequal.
submultiples of equals are equal.
4°. The statement of any theorem may be put into the hypothetical form, of which the type is-
If A is B then C is D. The first part "if A is B” is called the hypothesis, and the second part “then C is D” is the conclusion.
Ex. The theorem “The product of two odd numbers is an odd number” can be arranged thus :
Hyp. If two numbers are each an odd number.
5o. The statement “If A is B then C is D” may be immediately put into the form,
If C is not D then A is not B, which is called the contrapositive of the former.
The truth of a theorem establishes the truth of its contra
positive, and vice versa, and hence if either is proved the other is proved also.
6o. Two theorems are converse to one another when the hypothesis and conclusion of the one are respectively, the conclusion and hypothesis of the other.
Ex. If an animal is a horse it has four legs.
As is readily seen from the foregoing example, the truth of a theorem does not necessarily establish the truth of its converse, and hence a theorem and its converse have in general to be proved separately. But on account of the peculiar relation existing between the two, a relation exists also between the modes of proof for the two. These are known as the direct and indirect modes of proof. And if any theorem which admits of a converse can be proved directly its converse can usually be proved indirectly. Examples will occur hereafter.
7o. Many geometric theorems are so connected with their converses that the truth of the theorems establishes that of the converses, and vice versa.
The necessary connection is expressed in the Rule of Identity, its statement being
If there is but one X and one Y, and if it is proved
that X is Y, then it follows that Y is X. Where X and Y stand for phrases such as may form the hypotheses or conclusions of theorems, and the" is” between them is to be variously interpreted as "equal to," sponds to,” etc.
Ex. Of two sides of a triangle only one can be the greater, and of the two angles opposite these sides only one can be the greater. Then, if it is proved that the greater side is opposite the greater angle it follows that the greater angle is opposite the greater side.