Book V.. PROP. XVII. B. V. The order of the words in a clause of this is changed to one more natural: As was also done in Prop. 11. PROP. XVIII. B. V. The demonstration of this is none of Euclid's, nor is it legitimate; for it depends upon this hypothesis, that to any three magnitudes, two of which, at least, are of the same kind, there may be a fourth proportional; which, if not proved, the demonstration now in the text is of no force : but this is assumed without any proof; nor can it, as far as I am able to discern, be demonstrated by the propositions preceding this: so far is it from deserving to be reckoned an axiom, as Clavius, after other commentators, would have it, at the end of the definitions of the 5th Book. Euclid does not demonstrate it, nor does he shew how to find the fourth proportional, before the 12th Prop. of the 6th Book: And he never assumes any thing in the demonstration of a proposition, which he had not before demonstrated; at least, be assumes nothing the existence of which is not evidently possible: for a certain conclusion can never be deduced by the means of an uncertain proposition: upon this account, we have given a legitimate demonstration of this proposition instead of that in the Greek and other editions, which very probably Theon, at least some other, has put in the place of Euclid's, because he thought it too prolix: And as the 17th Prop. of which this 18th is the converse, is demonstrated by help of the 1st and 2d Propositions of this book; so in the demonstration now given of the 18th, the 5th Prop. and both cases of the 6th are necessary, and these two propositions are the converses of the 1st and 2d. Now the 5th and 6th do not enter into the demonstration of any proposition in this book as we now have it: Nor can they be of use in any proposition of the Elements, except in this 18th; and this is a manifest proof that Euclid made use of them in his demonstration of it, and that the demonstration now given, which is exactly the converse of that of the 17th, as it ought to be, differs nothing from that of Eudoxus or Euclid: For the 5th and 6th have undoubtedly been put into the 5th book for the sake of some propositions in it, as all the other propositions about equimultiples have been. Hieronymus Saccherius, in this book named “ Euclides ab “ omni nævo vindicatus,” printed at Milan ann. 1733, in 4to, acknowledges this blemish in the demonstration of the 18th; so if such equa- A and that he may remove it, and render the demonstration we Book V. now bave of it legitimate, he endeavours to demonstrate the following proposition, which is in page 115 of this book, viz. “ Let A, B, C, D be four magnitudes, of which the two “ first are of one kind, and also the two others, either of the same kind with the first two, or of some other the same s kind with one another. I say the ratio of the third C to the “ fourth D, is either equal to, or greater or less than the ratio 66 of the first A to the second B." And after two propositions premised as lemmas, he proceeds thus: “ Either among all the possible equimultiples of the first 6 A and of the third C, and, at the same time, among all “ the possible equimultiples of the second B, and of the “ fourth D, there can be found some one multiple EF of the « first A, and one IK of the second B, that are equal to one “ another; and also in the same case) some one multiple GH 66 of the third C equal to LM the multiple of the fourth D, “ or such equality is no where to be found. If the first case happen, [i. e. F “ lity is to be “ found] it is B I66 manifest from -К 66 what is be C G6 fore demon H Н “strated, that D L M 66 A is to B, as 6 C to D; but “ if such simultaneous equality be not to be found upon both 6 sides, it will be found either upon one side, as upon the side 6 of A [and B]; or it will be found upon neither side. If “ the first happen; therefore (from Euclid's definition of greater " and less ratio foregoing) A las to B a greater or less ratio " than C to D; according as GH the multiple of the third C “ is less or greater than LM the multiple of the fourth D: “ But if the second case happen; therefore upon the one side, “ as upon the side of A the first, and B the second, it may hap66 pen that the multiple EF (viz. of the first] may be less than “ ÎK the multiple of the second, while, on the contrary, upon “ the other side [viz. of C and D], the multiple GH (of the “ third C] is greater than the other multiple LM [of the fourth “ D]: And then (from the same definition of Euclid) the ratio 66 of the first A to the second B, is less than the ratio of the - third C to the fourth D; or on the contrary. Book V. “ Therefore the axiom [i. e. the proposition before set “ down), remains demonstrated,” &c. Not in the least; but it remains still undemonstrated : For what he says may happen, may, in innumerable cases, never happen; and therefore his demonstration does not hold: For example, if A be the side, and B the diameter of a square; and Ċ the side, and D the diameter of another square; there can in no case be any multiple of A equal to any of B; nor any one of C equal to one of D, as is well known ; and yet it can never happen that when any multiple of A is greater than a multiple of B, the multiple of C can be less than the multiple of D, nor when the multiple of A is less than that of B, the multiple of C can be greater than that of D, viz. taking equimultiples of A and C, and equimultiples of B and D : For A, B, C, D, are proportionals; and so if the multiple of A be greater, &c. than that of B, so must that of C be greater, &c. than that of D; by 5th Def. Book 5. The same objection holds good against the demonstration which some give of the 1st Prop. of the 6th Book, which we have made against this of the 18th Prop., because it depends upon the same insufficient foundation with the other. PROP. XIX. B. V. A COROLLARY is added to this, which is as frequently used as the proposition itself. The corollary which is subjoined to it in the Greek, plainly shows that the 5th Book has been vitiated by editors who were not geometers: For the conversion of ratios does not depend upon this 19th, and the demonstration which several of the commentators on Euclid give of conversion is not legitimate, as Clavius has rightly observed, who has given a good demonstration of it, which we have put in Proposition E; but he makes it a corollary from the 19th, and begins it with the words, “ Hence it easily follows,” though it does not at all follow from it. PROP. XX. XXI. XXII. XXIII. XXIV. B. V. The demonstrations of the 20th and 21st Propositions are shorter than those which Euclid gives of easier propositions, either in the preceding or following books: Wherefore it was proper to make them more explicit, and the 22d and 23d Propositions are, as they ought to be, extended to any number of magnitudes : And in like manner, may the 24th be, as is taken notice of in a corollary; and another corollary is added, as useful as the proposition, and the words, “any whatever,” Book v. are supplied near the end of Prop. 23, which are wanting in the Greek text, and the translations from it. In a paper written by Philippus Naudæus, and published after his death, in the history of the Royal Academy of Sciences of Berlin, anno 1745, page 50, the 23d Prop. of the 5th Book is censured as being obscurely enunciated, and, because of this, prolixly demonstrated: The enunciation there given is not Euclid's, but Tacquets, as he acknowledges, which, though not so well expressed, is, upon the matter, the same with that which is now in the Elements. Nor is there any thing obscure in it, though the author of the paper has set down the proportionals in a disadvantageous order, by which it appears to be obscure: But, no doubt, Euclid enunciated this 23d, as well as the 22d, so as to extend it to any number of magnitudes, which, taken two and two, are proportionals, and not. of six only; and to this general case, the enunciation which Naudaus gives, cannot be well applied. The demonstration which is given of this 23d, in that paper, is quite wrong; because, if the proportional magnitudes be plane or solid figures, no rectangle (which he improperly calls a product) can be conceived to be made by any two of them: And if it should be said, that in this case straight lines are to be taken which are proportional to the figures, the demonstration would this way become much longer than Euclid's: But, even though his demonstration had been right, who does not see that it could not be made use of in the 5th Book ? PROP. F, G, H, K. B. V. These propositions are annexed to the 5th Book, because they are frequently made use of both by ancient and modern geometers: And, in many cases, compound ratios cannot be brought into demonstration without making use of them. Whoever desires to see the doctrine of ratios delivered in this 5th Book solidly defended, and the arguments brought against it, by And. Tacquet, Alph. Borellus, and others, fully refuted, may read Dr Barrow's Mathematical Lectures, viz. the 7th and 8th of the year 1666. The fifth book being thus corrected, I most readily agree to what the learned Dr Barrow says *, “ That there is nothing “ in the whole body of the Elements of a more subtile inven“ tion, nothing more solidly established, and more accurately Page 336. Book v. 6 handled, than the doctrine of proportionals.” And there is some ground to hope, that geometers will think that this could DEF. II. and V. of B. VI. Book VI. The 2d Definition does not seem to be Euclid's, but some unskilful editor's: For there is no mention made by Euclid, DEF. II. Two magnitudes are said to be reciprocally proportional to two others, when one of the first is to one of the other magnitudes, as the remaining one of the last two is to the remaining one of the first. But the fifth definition, which, since Theon's time, has been kept in the Elements to the great detriment of learners, is now justly thrown out of them, for the reasons given in the notes on the 23d Prop. of this Book. PROP. I. and II. B. VI. To the first of these a corollary is added, which is often used. And the enunciation of the second is made more general. + A SECOND case of this, as useful as the first, is given in Prop. A, viz. the case in which the exterior angle of a triangle is bisected by a straight line: The demonstration of it is very like to that of the first case, and upon this account may probably have been left out, as also the enunciation, by some unskilful editor. At least it is certain that Pappus makes use of this case, as an elementary proposition, without a demonstration of it, in Prop. 39. of his 7th Book of Mathematical Collections. PROP. VII. B. VI. To this a case is added which occurs not unfrequently in demonstrations. |