Doctrine of proportion (mathematics)

Discussions and debates over the doctrine of proportion or doctrine of proportionality, as contained in Euclid's Elements Book V, has had an interesting and varied history. Euclid's circuitous presentation of the theory of proportionality in Book V was presented independently from arithmetic proofs (discussed elsewhere in his treatise) due to commensurability issues. As methods of algebra were devised and improved upon, and the definitions and classifications of number and magnitude evolved, discussions continued. Some of that history is contained in this article.

Quotes

 * ordered chronologically


 * The doctrine of Proportion, in the Fifth Book of Euclid's Elements, is obscure, and unintelligible to most readers. It is not taught either in foreign or American colleges, and is now become obsolete. It has therefore been omitted in this edition of Euclid's Elements, and a different method of treating Proportion has been substituted for it. This is the common algebraical method, which is concise, simple, and perspicuous; and is sufficient for all useful purposes in practical mathematics. The method is clear and intelligible to all persons who know the first principles of algebra. The rudiments of algebra ought to be taught before geometry, because algebra may be applied to geometry in certain cases, and facilitates the study of it.
 * Francis Nichols, Elements of Geometry being Chiefly a Selection from Playfair's Geometry, with Additions and Improvements (1829)


 * Those persons who desire to see the doctrine of Proportion treated according to a general method which is plainer than Euclid's, and equally accurate, may consult the geometry of Playfair, [Alexander] Ingram, Leslie, Cresswell, and J. R. Young. Hutton, and other recent writers have adopted the algebraical method in their elements of geometry. Proportion is not properly a geometrical subject.
 * Francis Nichols, Elements of Geometry being Chiefly a Selection from Playfair's Geometry, with Additions and Improvements (1829)


 * Such questions, thus too often rejected by the mathematician as metaphysical, are on the other hand discarded by the metaphysician as mathematical: so that, disowned by both, they fall to the ground without any satisfactory discussion at all.
 * Rev. Baden Powell, M.A., F.R.S., &c. On the Theory of Ratio and Proportion as treated by Euclid including an Inquiry into the Nature or Quantity, read to the Ashmolean Society (Feb. 5, 1836)


 * On an attentive examination of the methods adopted by modern elementary writers, in laying down the first principles of ratios and proportion, and especially in commenting upon Euclid, I long since experienced a conviction of the extremely unsatisfactory nature of most of their views; and this chiefly, as appearing to me to involve inadequate ideas of Euclid's real principle in treating of proportionals in his 5th book, and of the nature of the quantities which form the subject of investigation.
 * Rev. Baden Powell, On the Theory of Ratio and Proportion (1836)


 * The doctrine of ratios and proportion is introduced by Euclid as a part of his system of geometry; and the student seldom fails to remark, that in the treatises on algebra, the same subject is presented under a considerably different form; though he is usually quite unable to determine wherein the essential difference consists; and would probably find but few teachers who could precisely point out the distinction to him.
 * Rev. Baden Powell, On the Theory of Ratio and Proportion (1836)


 * Various relations being established in geometry between lines constituted under given conditions, as parts of geometrical figures, if we choose to adopt the idea of expressing these lines by numerical measures, we are then brought to the distinction of such lines being in some cases commensurable in their numerical values, in others not so. Their geometrical relations however are absolutely general, and do not refer to any such distinction.
 * Rev. Baden Powell, On the Theory of Ratio and Proportion (1836)


 * Much of the confusion of ideas which has arisen on these subjects has been occasioned by not observing that when we say "two lines are incommensurable," the phrase is in fact elliptical, and we ought always to consider as understood, if not expressed, that "two lines, if referred to numbers, "are incommensurable." The deficiency of exact comparison in such cases is not in the geometrical relation of the quantities, but in the powers and capacities of our numerical system to express them. These observations may be necessary to enable us to appreciate better the opinions which have since been prevalent among mathematicians; more especially as regards the doctrine of proportionals.
 * Rev. Baden Powell, On the Theory of Ratio and Proportion... (1836)


 * The author's object in this tract is to defend Euclid from the charges of inconsistency which have been brought against him by Sir John Leslie and others, in consequence of the introduction of the doctrine of ratio and proportion as part of his system of geometry. Most of the best writers of geometry (as Legendre) omit this part in their elementary systems, and most teachers in this country pass over the 5th book, and adopting the doctrine of proportionals from algebra, proceed to apply it to the theorems of the 6th book. Professor Powell treats the subject in detail, stating the objections which have been urged against Euclid, and presenting answers to these objections. He begins with a general statement of the question; he then proceeds to the consideration of Euclid's method, or the doctrine of commensurables and incommensurables. He shews that Euclid, in his earlier books, does not even imply the idea of incommensurability. Neither is this introduced in the 5th and 6th books, and it is not till we arrive at the 10th that this edition in geometrical magnitudes, expressed by numerical measures, is broached. In the 11th and 12th books all reference to this distinction is dropped, recurrence being made to the principles of the 5th book. It is again, however, resumed in the 13th book, and is applied to various properties. The author observes, "that much of the confusion of ideas which has arisen on these subjects, has been occasioned by not observing that when we say two lines are incommensurable, the phrase is, in fact, elliptical, and we ought always to consider as understood, if not expressed, that two lines if referred to numbers are incommensurable. The deficiency of exact comparison in such cases is not in the geometrical relation of the quantities, but in the powers and capabilities of our numerical system to express them. Mr. Powell then proceeds to discuss the views of the earlier geometers and of later mathematicians. He points out the misapprehension under which they all labour, from the common mistake of considering that definitions describe the thing defined instead of fixing the meaning of terms. He shews that the mistake must be corrected before reasoning can be admitted on the subject. The nature of abstract quantity is next ably treated of, and the paper concluded in the same philosophic spirit which pervades it throughout.
 * Robert Dundas Thomson & Thomas Thomson Records of General Science Vol.4 (1836) p. 67-68 in their review of book: On the Theory of Ratio and Proportion, as treated by Euclid, including an inquiry into the nature of quantity by Rev. Baden Powell


 * The object of the edition now offered to the public, is not so much to give to the writings of Euclid the form which they originally had, as that which may at present render them most useful. One of the alterations made with this view, respects the Doctrine of Proportion, the method of treating which, as it is laid down in the fifth of Euclid, has great advantages, accompanied with considerable defects; of which, however, it must be observed, that the advantages are essential, and the defects only accidental. To explain the nature of the former, requires a more minute examination than is suited to this place, and must, therefore, be reserved for the Notes; but, in the mean time, it may be remarked, that no definition, except that of Euclid, has ever been given, from which the properties of proportionals can be deduced by reasonings, which, at the same time that they are perfectly rigorous, are also simple and direct. As to the defects, the prolixness and obscurity, that have so often been complained of in the fifth Book, they seem to arise chiefly from the nature of the language employed, which being no other than that of ordinary discourse, cannot express, without much tediousness and circumlocution, the relations of mathematical quantities, when taken in their utmost generality, and when no assistance can be received from diagrams. As it is plain, that the concise language of Algebra is directly calculated to remedy this inconvenience, I have endeavoured to introduce it here, in a very simple form however, and without changing the nature of the reasoning, or departing in any thing from the rigour of geometrical demonstration. By this means, the steps of the reasoning which were before far separated, are brought near to one another, and the force of the whole is so clearly and directly perceived, that I am persuaded no more difficulty will be found in understanding the propositions of the fifth Book, than those of any other of the Elements.
 * John Playfair, Elements of Geometry: containing the First Six Books of Euclid (1839)


 * All who intend to study these pages would do well to read attentively the following directions and observations; for the subject upon which they are written is considered one really difficult. Why it should be considered so, will readily be conceived when such men as Legendre, Leslie, [Thomas] Keith, Bonnycastle, Austin, Brewster, Young, and in fact every one who has attempted to treat the doctrine of Geometrical Proportion on any plan differing from Euclid's, have committed errors, overlooked mistakes, retrenched the generality of Euclid's reasonings, fallen into logical absurdities, or confined the general application of a subject which pervades a whole course of mathematics; while there is not one mistake, oversight, or logical objection in the whole of Euclid's Fifth Book. "In fact, Euclid's Fifth Book is a master-piece of human reasoning."
 * Oliver Byrne, The Doctrine of Proportion (1841)


 * In matters connected with geometry, nothing is to be taken upon trust: mere opinion, unsupported by reasonings which elevate it into proof, must be regarded, in this subject, as of but little worth.
 * John Radford Young, "Proportion. A Treatise intended as a Substitute for Euclid's Book V," in The mathematical sciences (1860)


 * It would, of course, be a easier task for me to transfer Euclid's fifth book into these pages. I could find little to remark upon in it, as the ancient Geometer has displayed so much sagacity and penetration in this, the most elaborate of all his writings, that he has left to moderns little or no room for improvement: it must be studied just as it is (in Simson's restoration), or else be superseded in instruction by a treatise of equal generality, but greater simplicity. You will understand, therefore, that I do not displace fifth Euclid's book because of its imperfections, or because of its inadequacy to completely its objects; but solely because of its great difficulty to a beginner.
 * John Radford Young, "Proportion. A Treatise..." in The mathematical sciences (1860)


 * The subject of Euclid's fifth book is PROPORTION—universal proportion; that is, not numerical proportion merely, but proportion in reference to all magnitudes and quantities whatever, whether numbers, lines, surfaces, solids, or concrete quantities of any kind. With proportion in numbers you are already familiar:—this will be a help. I hope, too, by this time you are also somewhat acquainted with proportion in Algebra: this will be a greater help; for proportion in Geometry really accomplishes no more for things in general than the same doctrine in arithmetic and algebra accomplishes for what the notation of those sciences specially represents; and if this kind of proportion would do for geometry, the fifth book of Euclid would become a very easy matter indeed.
 * John Radford Young, "Proportion. A Treatise..." in The mathematical sciences (1860)


 * The obstacle... is that geometrical magnitudes when compared together are in many cases found to be incommensurable;—that is to say, two such magnitudes may be quite incapable of a common measurement—they may be of a nature not to admit of being both measured by one and the same unit of measurement, however minute the measuring unit be taken, and consequently, both cannot be represented by numbers. I have already adverted to an instance of this kind... in the side and diagonal of a square, and to another in the diameter and circumference of a circle. ...That they are so, could not have been found out by such practical or experimental tests as those here adverted to for illustration: they are proved to be so by geometrical reasoning.
 * John Radford Young, "Proportion. A Treatise..." in The mathematical sciences (1860)


 * It may be as well to caution you here that you must not speak of a line or quantity, by itself, as being incommensurable; this would be absurd. The diagonal of a square is not itself incommensurable, since it has, of course, its third part, fourth part, hundredth part, &c. and is therefore measurable by each of those parts; but as none of them will also measure the side, the two, considered together, are incommensurable: there exists no measure common to both. In the same way in reference to the circle—the circumference itself is not incommensurable any more than the diameter; for each has its fourth part, sixth part, &c. but it is incommensurable with its diameter: no length whatever can measure both.
 * John Radford Young, "Proportion. A Treatise..." in The mathematical sciences (1860)


 * Now although Euclid makes no mention of incommensurable quantities in his fifth book, he was well aware of their existence; and therefore, to render his theorems on proportion general, he had to take care that this class of quantities should be comprehended in his reasonings. But proportion limited to numbers, or to the symbols for numbers, would necessarily exclude incommensurables; he therefore had to proceed quite independently of arithmetic, and to secure to his propositions such a universality that each theorem should rigorously apply, whether the quantities or magnitudes spoken of be measurable, or beyond the powers of numerical representation. He has executed his difficult task with consummate ability; for as Dr. Barrow remarks, "there is nothing, in the whole body of the Elements, of a more subtile invention,—nothing more solidly established, and more accurately handled, than the doctrine of proportionals."
 * John Radford Young, "Proportion. A Treatise..." in The mathematical sciences (1860)


 * I have resolved to replace the fifth book by the following treatise. I cannot promise that you will find the study of it easy; but it will certainly be much less difficult than the corresponding portion of Euclid's work; and yon will enter upon it with considerable advantage, if you postpone the attempt—as I here recommend—till you have read, as far, at least, as page 220 of the Algebra. It will, indeed, facilitate your progress, and agreeably diversify your mathematical labours, if you commence the elementary algebra upon closing the fourth book of Euclid, and read the PRINCIPLES through, before you begin the following treatise.
 * John Radford Young, "Proportion. A Treatise intended as a Substitute for Euclid's Book V," in The mathematical sciences (1860)


 * The anonymous author of a scholium to Book v., who is perhaps Proclus, tells us that "some say" this Book, containing the general theory of proportion which is equally applicable to geometry, arithmetic, music, and all mathematical science, "is the discovery of Eudoxus, the teacher of Plato." Not that there had been no theory of proportion developed before his time; on the contrary, it is certain that the Pythagoreans had worked out such a theory with regard to numbers, by which must be understood commensurable and even whole numbers (a number being a "multitude made up of units," as defined in Eucl. vii).
 * Sir Thomas Little Heath & Johan Ludvig Heiberg, The Thirteen Books of Euclid's Elements Translated from the Text of Heiberg With Introduction and Commentary BY TL Heath 1908