Zum Inhalt springen

„Porisma“ – Versionsunterschied

aus AufEinWort, der freien Forschung
[ungesichtete Version][ungesichtete Version]
Die Seite wurde neu angelegt: „ πόρισμα ''pórisma'', “Deduktion von einer früheren Demonstration”) A '''porism''' is a mathematical proposition or corollary. It has been used to refer to a direct consequence of a proof, analogous to how a corollary refers to a direct consequence of a theorem. In modern usage, it is a relationship that holds for an infinite range of values but only if a certain condition is assumed, such as Steiner…“
 
KKeine Bearbeitungszusammenfassung
 
Zeile 2: Zeile 2:
πόρισμα ''[[pórisma]]'', “Deduktion von einer früheren Demonstration”)
πόρισμα ''[[pórisma]]'', “Deduktion von einer früheren Demonstration”)


A '''porism''' is a mathematical [[proposition]] or [[corollary]]. It has been used to refer to a direct consequence of a [[Mathematical proof|proof]], analogous to how a corollary refers to a direct consequence of a [[theorem]]. In modern usage, it is a relationship that holds for an infinite range of values but only if a certain condition is assumed, such as [[Steiner chain|Steiner's porism]].<ref>{{cite book |title=College geometry|first=Howard W.|last=Eves|year=1995|isbn=0867204753|page=138}}</ref> The term originates from three books of [[Euclid]] that have been lost. A proposition may not have been proven, so a porism may not be a [[theorem]] or true.
\{\{Short description|Mathematical proposition or corollary}}
A '''porism''' is a mathematical [[proposition]] or [[corollary]]. It has been used to refer to a direct consequence of a [[Mathematical proof|proof]], analogous to how a corollary refers to a direct consequence of a [[theorem]]. In modern usage, it is a relationship that holds for an infinite range of values but only if a certain condition is assumed, such as [[Steiner chain|Steiner's porism]].<ref>\{\{cite book |title=College geometry|first=Howard W.|last=Eves|year=1995|isbn=0867204753|page=138}}</ref> The term originates from three books of [[Euclid]] that have been lost. A proposition may not have been proven, so a porism may not be a [[theorem]] or true.


==Origins==
==Origins==
The book that talks about porisms first is [[Euclid]]'s ''Porisms''. What is known of it is in [[Pappus of Alexandria]]'s ''Collection'', who mentions it along with other geometrical treatises, and gives several [[lemma (mathematics)|lemma]]s necessary for understanding it.<ref name=":0">Heath 1911, p. 102.</ref> Pappus states:
The first book that discusses porisms is [[Euclid]]'s ''Porisms''. What is known of it is in [[Pappus of Alexandria]]'s ''Collection'', who mentions it along with other geometrical treatises, and gives several [[lemma (mathematics)|lemma]]s necessary for understanding it.\{\{sfn|Heath|1911|p=102}} Pappus states:
:The porisms of all classes are neither theorems nor problems, but occupy a position intermediate between the two, so that their enunciations can be stated either as theorems or problems, and consequently some geometers think that they are theorems, and others that they are problems, being guided solely by the form of the enunciation. But it is clear from the definitions that the old geometers understood better the difference between the three classes. The older geometers regarded a theorem as directed to proving what is proposed, a problem as directed to constructing what is proposed, and finally a porism as directed to finding what is proposed (''{{lang|grc|εἰς πορισμὸν αὐτοῦ τοῦ προτεινομένου|}}'').<ref name=":0" />
:The porisms of all classes are neither theorems nor problems, but occupy a position intermediate between the two, so that their enunciations can be stated either as theorems or problems, and consequently some geometers think that they are theorems, and others that they are problems, being guided solely by the form of the enunciation. But it is clear from the definitions that the old geometers understood better the difference between the three classes. The older geometers regarded a theorem as directed to proving what is proposed, a problem as directed to constructing what is proposed, and finally a porism as directed to finding what is proposed (''\{\{lang|grc|εἰς πορισμὸν αὐτοῦ τοῦ προτεινομένου|}}'').\{\{sfn|Heath|1911|p=102}}


Pappus said that the last definition was changed by certain later geometers, who defined a porism as an accidental characteristic as {{lang|grc|τὸ λεῖπον ὑποθέσει τοπικοῦ θεωρήματος}} (''to leîpon hypothései topikoû theōrḗmatos''), that which falls short of a locus-theorem by a (or in its) hypothesis. Proclus pointed out that the word ''porism'' was used in two senses: one sense is that of "corollary", as a result unsought but seen to follow from a theorem. In the other sense, he added nothing to the definition of "the older geometers", except to say that the finding of the center of a circle and the finding of the greatest common measure are porisms.<ref>[[Proclus]], ed. Friedlein, p.&nbsp;301</ref><ref name=":0" />
Pappus said that the last definition was changed by certain later geometers, who defined a porism as an accidental characteristic as \{\{lang|grc|τὸ λεῖπον ὑποθέσει τοπικοῦ θεωρήματος}} (''to leîpon hypothései topikoû theōrḗmatos''), that which falls short of a locus-theorem by a (or in its) hypothesis. Proclus pointed out that the word ''porism'' was used in two senses: one sense is that of "corollary", as a result unsought but seen to follow from a theorem. In the other sense, he added nothing to the definition of "the older geometers", except to say that the finding of the center of a circle and the finding of the greatest common measure are porisms.<ref>[[Proclus]], ed. Friedlein, p.&nbsp;301</ref>\{\{sfn|Heath|1911|p=102}}


==Pappus on Euclid's porism==
==Pappus on Euclid's porism==
Pappus rejected Euclid's definition of ''porism''. A porism, expressed in modern language, asserts that given four straight lines, of which three turn about the points in which they meet the fourth if two of the points of intersection of these lines lie each on a fixed straight line, the remaining point of intersection will also lie on another straight line. The general definition applies to any number, ''n'', of straight lines, of which ''n'' can turn about as many points fixed on the (''n''&nbsp;+&nbsp;1)th.  These ''n'' straight lines cut two and two into {{Fraction|1|2}}''n''(''n''&nbsp;&minus;&nbsp;1) points, {{Fraction|1|2}}''n''(''n''&nbsp;&minus;&nbsp;1) being a [[triangular number]] whose side is ''n''&nbsp;&minus;&nbsp;1. If they are made to turn about the ''n'' fixed points so that any ''n''&nbsp;&minus;&nbsp;1 of their {{Fraction|1|2}}''n''(''n''&nbsp;&minus;&nbsp;1) points of intersection, chosen subject to a certain limitation, lie on ''n''&nbsp;&minus;&nbsp;1 given fixed straight lines, then each of the remaining points of intersection, {{Fraction|1|2}}''n''(''n''&nbsp;&minus;&nbsp;1)(''n''&nbsp;&minus;&nbsp;2) in number, describes a straight line.<ref name=":0" />
Pappus rejected Euclid's definition of ''porism''. A porism, expressed in modern language, asserts that given four straight lines, of which three turn about the points in which they meet the fourth if two of the points of intersection of these lines lie each on a fixed straight line, the remaining point of intersection will also lie on another straight line. The general definition applies to any number, ''n'', of straight lines, of which ''n'' can turn about as many points fixed on the (''n''&nbsp;+&nbsp;1)th.  These ''n'' straight lines cut two and two into \{\{Fraction|1|2}}''n''(''n''&nbsp;&minus;&nbsp;1) points, \{\{Fraction|1|2}}''n''(''n''&nbsp;&minus;&nbsp;1) being a [[triangular number]] whose side is ''n''&nbsp;&minus;&nbsp;1. If they are made to turn about the ''n'' fixed points so that any ''n''&nbsp;&minus;&nbsp;1 of their \{\{Fraction|1|2}}''n''(''n''&nbsp;&minus;&nbsp;1) points of intersection, chosen subject to a certain limitation, lie on ''n''&nbsp;&minus;&nbsp;1 given fixed straight lines, then each of the remaining points of intersection, \{\{Fraction|1|2}}''n''(''n''&nbsp;&minus;&nbsp;1)(''n''&nbsp;&minus;&nbsp;2) in number, describes a straight line.\{\{sfn|Heath|1911|p=102}}


The above can be expressed as: If about two fixed points, P and Q, one makes the turn two straight lines meeting on a given straight line, L, and if one of them cuts off a segment, AM, from a fixed straight line, AX, given in position, another fixed straight line BY, and a point B fixed on it can be determined, such that the segment BM' made by the second moving line on this second fixed-line measured from B has a given ratio X to AM. The lemmas which Pappus gives in connection with the porisms are:
The above can be expressed as: If about two fixed points, P and Q, one makes the turn two straight lines meeting on a given straight line, L, and if one of them cuts off a segment, AM, from a fixed straight line, AX, given in position, another fixed straight line BY, and a point B fixed on it can be determined, such that the segment BM' made by the second moving line on this second fixed-line measured from B has a given ratio X to AM. The lemmas which Pappus gives in connection with the porisms are:
#the fundamental theorem that the cross or anharmonic ratio of a pencil of four straight lines meeting in a point is constant for all transversals;
#the fundamental theorem that the cross or anharmonic ratio of a pencil of four straight lines meeting in a point is constant for all transversals;
#the proof of the harmonic properties of a complete quadrilateral;
#the proof of the harmonic properties of a complete quadrilateral;
#the theorem that, if the six vertices of a hexagon lie three and three on two straight lines, the three points of the concourse of opposite sides lie on a straight line.<ref name=":0" />
#the theorem that, if the six vertices of a hexagon lie three and three on two straight lines, the three points of the concourse of opposite sides lie on a straight line.\{\{sfn|Heath|1911|p=102}}


==Later analysis==
==Later analysis==
[[Robert Simson]] explained the only three propositions which Pappus indicates with any completeness, which was published in the ''Philosophical Transactions'' in 1723. Later he investigated the subject of porisms generally in a work entitled ''De porismatibus traclatus; quo doctrinam porisrnatum satis explicatam, et in posterum ab oblivion tutam fore sperat auctor'', and published after his death in a volume, ''Roberti Simson opera quaedam reliqua'' (Glasgow, 1776).<ref name=":1">Heath 1911, p. 103.</ref>
[[Robert Simson]] explained the only three propositions which Pappus indicates with any completeness, which was published in the ''Philosophical Transactions'' in 1723. Later he investigated the subject of porisms generally in a work entitled ''De porismatibus tractatus; quo doctrinam porisrnatum satis explicatam, et in posterum ab oblivion tutam fore sperat auctor'', and published after his death in a volume, ''Roberti Simson opera quaedam reliqua'' (Glasgow, 1776).\{\{sfn|Heath|1911|p=103}}


Simson's treatise, ''De porismatibus'', begins with the definitions for theorem, problem, datum, porism, and locus. Simon wrote that Pappus's definition is too general, and that he substituted it as:
Simson's treatise, ''De porismatibus'', begins with the definitions for theorem, problem, datum, porism, and locus. Simon wrote that Pappus's definition is too general, and that he substituted it as:
<blockquote>
<blockquote>
Porisma est propositio in qua proponitur demonstrare rem aliquam, vel plures datas esse, cui, vel quibus, ut et cuilibet ex rebus innumeris, non quidem datis, sed quae ad ea quae data sunt eandem habent rationem, convenire ostendendum est affectionem quandam communem in propositione descriptam. Porisma etiam in forma problematis enuntiari potest, si nimirum ex quibus data demonstranda sunt, invenienda proponantur.
Porisma est propositio in qua proponitur demonstrare rem aliquam, vel plures datas esse, cui, vel quibus, ut et cuilibet ex rebus innumeris, non quidem datis, sed quae ad ea quae data sunt eandem habent rationem, convenire ostendendum est affectionem quandam communem in propositione descriptam. Porisma etiam in forma problematis enuntiari potest, si nimirum ex quibus data demonstranda sunt, invenienda proponantur.\{\{Clarify|reason=Please provide an English translation.|date=July 2021}}
</blockquote>
</blockquote>
Simson said that a locus is a species of porism. Then follows a Latin translation of Pappus's note on the porisms, and the propositions which form the bulk of the treatise.<ref name=":1" />
Simson said that a locus is a species of porism. Then follows a Latin translation of Pappus's note on the porisms, and the propositions which form the bulk of the treatise.\{\{sfn|Heath|1911|p=103}}


[[John Playfair]]'s memoir (''Trans. Roy. Soc. Edin.'', 1794, vol. iii.), a sort of sequel to Simson's treatise, explored the probable origin of porisms, or the steps that led ancient geometers to discover them. Playfair remarked that the careful investigation of all possible particular cases of a proposition would show that  
[[John Playfair]]'s memoir (''Trans. Roy. Soc. Edin.'', 1794, vol. iii.), a sort of sequel to Simson's treatise, explored the probable origin of porisms, or the steps that led ancient geometers to discover them. Playfair remarked that the careful investigation of all possible particular cases of a proposition would show that  
Zeile 32: Zeile 33:
# under certain other conditions, indeterminate or capable of an infinite number of solutions.  
# under certain other conditions, indeterminate or capable of an infinite number of solutions.  


These cases could be defined separately, were in a manner intermediate between theorems and problems, and were called "porisms." Playfair defined a porism as "[a] proposition affirming the possibility of finding such conditions as will render a certain problem indeterminate or capable of innumerable solutions."<ref name=":1" />
These cases could be defined separately, were in a manner intermediate between theorems and problems, and were called "porisms." Playfair defined a porism as "[a] proposition affirming the possibility of finding such conditions as will render a certain problem indeterminate or capable of innumerable solutions."\{\{sfn|Heath|1911|p=103}}


Although Playfair's definition of a porism appears to be most favoured in England, Simson's view has been most generally accepted abroad, and had the support of [[Michel Chasles]]. However, in [[Joseph Liouville|Liouville]]'s ''Journal de mathematiques pures et appliquées'' (vol. xx., July, 1855), P. Breton published ''Recherches nouvelles sur les porismes d'Euclide'', in which he gave a new translation of the text of Pappus, and sought to base a view of the nature of a porism that conforms more closely to Pappus's definition. This was followed in the same journal and in ''La Science'' by a controversy between Breton and A. J. H. Vincent, who disputed the interpretation given by the former of Pappus's text, and declared himself in favour of [[Frans van Schooten]]'s idea, put forward in his ''Mathematicae exercitationes'' (1657). According to Schooten, if the various relations between straight lines in a figure are written down in the form of equations or proportions, then the combination of these equations in all possible ways, and of new equations thus derived from them leads to the discovery of innumerable new properties of the figure.<ref name=":1" />
Although Playfair's definition of a porism appears to be most favoured in England, Simson's view has been most generally accepted abroad, and had the support of [[Michel Chasles]]. However, in [[Joseph Liouville|Liouville]]'s ''Journal de mathematiques pures et appliquées'' (vol. xx., July, 1855), P. Breton published ''Recherches nouvelles sur les porismes d'Euclide'', in which he gave a new translation of the text of Pappus, and sought to base a view of the nature of a porism that conforms more closely to Pappus's definition. This was followed in the same journal and in ''La Science'' by a controversy between Breton and A. J. H. Vincent, who disputed the interpretation given by the former of Pappus's text, and declared himself in favour of [[Frans van Schooten]]'s idea, put forward in his ''Mathematicae exercitationes'' (1657). According to Schooten, if the various relations between straight lines in a figure are written down in the form of equations or proportions, then the combination of these equations in all possible ways, and of new equations thus derived from them leads to the discovery of innumerable new properties of the figure.\{\{sfn|Heath|1911|p=103}}


The discussions between Breton and Vincent, which C. Housel joined, did not carry forward the work of restoring Euclid's ''Porisms'', which was left for Chasles. His work (''Les Trois livres de porismes d'Euclide'', Paris, 1860) makes full use of all the material found in Pappus.<ref name=":1" />
The discussions between Breton and Vincent, which C. Housel joined, did not carry forward the work of restoring Euclid's ''Porisms'', which was left for Chasles. His work (''Les Trois livres de porismes d'Euclide'', Paris, 1860) makes full use of all the material found in Pappus.\{\{sfn|Heath|1911|p=103}}


An interesting hypothesis about porisms was put forward by [[Hyeronimus Georg Zeuthen|H. G. Zeuthen]] (''Die Lehre von den Kegelschnitten im Altertum'', 1886, ch. viii.). Zeuthen observed, for example the intercept-porism is still true if the two fixed points are points on a conic, and the straight lines drawn through them intersect on the conic instead of on a fixed straight line. He conjectured that the porisms were a by-product of a fully developed [[projective geometry]] of conics.<ref name=":1" />
An interesting hypothesis about porisms was put forward by [[Hyeronimus Georg Zeuthen|H. G. Zeuthen]] (''Die Lehre von den Kegelschnitten im Altertum'', 1886, ch. viii.). Zeuthen observed, for example the intercept-porism is still true if the two fixed points are points on a conic, and the straight lines drawn through them intersect on the conic instead of on a fixed straight line. He conjectured that the porisms were a by-product of a fully developed [[projective geometry]] of conics.\{\{sfn|Heath|1911|p=103}}


==See also==
==See also==
{{wiktionary}}
\{\{wiktionary}}


*[[Poncelet's porism]]
*[[Poncelet's porism]]
Zeile 47: Zeile 48:


==Notes==
==Notes==
{{Reflist}}
\{\{Reflist}}


==References==
==References==
*Alexander Jones (1986) ''Book 7 of the Collection'', part 1: introduction, text, translation {{ISBN|0-387-96257-3}}, part 2: commentary, index, figures {{ISBN|3-540-96257-3}}, [[Springer-Verlag]] .
*Alexander Jones (1986) ''Book 7 of the Collection'', part 1: introduction, text, translation \{\{ISBN|0-387-96257-3}}, part 2: commentary, index, figures \{\{ISBN|3-540-96257-3}}, [[Springer-Verlag]] .
*[[Johan Ludvig Heiberg (historian)|J. L. Heiberg]]'s ''Litterargeschichtliche Studien über Euklid'' (Leipzig, 1882) A valuable chapter on porisms (from a [[philology|philological]] standpoint) is included.
*[[Johan Ludvig Heiberg (historian)|J. L. Heiberg]]'s ''Litterargeschichtliche Studien über Euklid'' (Leipzig, 1882) A valuable chapter on porisms (from a [[philology|philological]] standpoint) is included.
*August Richter. ''Porismen nach Simson bearbeitet'' (Elbing, 1837)
*August Richter. ''Porismen nach Simson bearbeitet'' (Elbing, 1837)
Zeile 59: Zeile 60:


'''Attribution:'''
'''Attribution:'''
*{{EB1911 |last=Heath |first=Thomas Little |author-link=Thomas Heath (classicist) |wstitle=Porism |volume=22 |pages=102-103}}
*\{\{EB1911 |last=Heath |first=Thomas Little |author-link=Thomas Heath (classicist) |wstitle=Porism |volume=22 |pages=102-103}}


[[Category:Mathematical terminology]]
[[Kategorie:Mathematical terminology]]
[[Category:Ancient Greek mathematics]]
[[Kategorie:Ancient Greek mathematics]]
[[Kategorie:Wikipedia.en Artikel]]

Aktuelle Version vom 11. August 2026, 09:57 Uhr

πόρισμα pórisma, “Deduktion von einer früheren Demonstration”)

\{\{Short description|Mathematical proposition or corollary}} A porism is a mathematical proposition or corollary. It has been used to refer to a direct consequence of a proof, analogous to how a corollary refers to a direct consequence of a theorem. In modern usage, it is a relationship that holds for an infinite range of values but only if a certain condition is assumed, such as Steiner's porism.[1] The term originates from three books of Euclid that have been lost. A proposition may not have been proven, so a porism may not be a theorem or true.

Origins

The first book that discusses porisms is Euclid's Porisms. What is known of it is in Pappus of Alexandria's Collection, who mentions it along with other geometrical treatises, and gives several lemmas necessary for understanding it.\{\{sfn|Heath|1911|p=102}} Pappus states:

The porisms of all classes are neither theorems nor problems, but occupy a position intermediate between the two, so that their enunciations can be stated either as theorems or problems, and consequently some geometers think that they are theorems, and others that they are problems, being guided solely by the form of the enunciation. But it is clear from the definitions that the old geometers understood better the difference between the three classes. The older geometers regarded a theorem as directed to proving what is proposed, a problem as directed to constructing what is proposed, and finally a porism as directed to finding what is proposed (\{\{lang|grc|εἰς πορισμὸν αὐτοῦ τοῦ προτεινομένου|}}).\{\{sfn|Heath|1911|p=102}}

Pappus said that the last definition was changed by certain later geometers, who defined a porism as an accidental characteristic as \{\{lang|grc|τὸ λεῖπον ὑποθέσει τοπικοῦ θεωρήματος}} (to leîpon hypothései topikoû theōrḗmatos), that which falls short of a locus-theorem by a (or in its) hypothesis. Proclus pointed out that the word porism was used in two senses: one sense is that of "corollary", as a result unsought but seen to follow from a theorem. In the other sense, he added nothing to the definition of "the older geometers", except to say that the finding of the center of a circle and the finding of the greatest common measure are porisms.[2]\{\{sfn|Heath|1911|p=102}}

Pappus on Euclid's porism

Pappus rejected Euclid's definition of porism. A porism, expressed in modern language, asserts that given four straight lines, of which three turn about the points in which they meet the fourth if two of the points of intersection of these lines lie each on a fixed straight line, the remaining point of intersection will also lie on another straight line. The general definition applies to any number, n, of straight lines, of which n can turn about as many points fixed on the (n + 1)th. These n straight lines cut two and two into \{\{Fraction|1|2}}n(n − 1) points, \{\{Fraction|1|2}}n(n − 1) being a triangular number whose side is n − 1. If they are made to turn about the n fixed points so that any n − 1 of their \{\{Fraction|1|2}}n(n − 1) points of intersection, chosen subject to a certain limitation, lie on n − 1 given fixed straight lines, then each of the remaining points of intersection, \{\{Fraction|1|2}}n(n − 1)(n − 2) in number, describes a straight line.\{\{sfn|Heath|1911|p=102}}

The above can be expressed as: If about two fixed points, P and Q, one makes the turn two straight lines meeting on a given straight line, L, and if one of them cuts off a segment, AM, from a fixed straight line, AX, given in position, another fixed straight line BY, and a point B fixed on it can be determined, such that the segment BM' made by the second moving line on this second fixed-line measured from B has a given ratio X to AM. The lemmas which Pappus gives in connection with the porisms are:

  1. the fundamental theorem that the cross or anharmonic ratio of a pencil of four straight lines meeting in a point is constant for all transversals;
  2. the proof of the harmonic properties of a complete quadrilateral;
  3. the theorem that, if the six vertices of a hexagon lie three and three on two straight lines, the three points of the concourse of opposite sides lie on a straight line.\{\{sfn|Heath|1911|p=102}}

Later analysis

Robert Simson explained the only three propositions which Pappus indicates with any completeness, which was published in the Philosophical Transactions in 1723. Later he investigated the subject of porisms generally in a work entitled De porismatibus tractatus; quo doctrinam porisrnatum satis explicatam, et in posterum ab oblivion tutam fore sperat auctor, and published after his death in a volume, Roberti Simson opera quaedam reliqua (Glasgow, 1776).\{\{sfn|Heath|1911|p=103}}

Simson's treatise, De porismatibus, begins with the definitions for theorem, problem, datum, porism, and locus. Simon wrote that Pappus's definition is too general, and that he substituted it as:

Porisma est propositio in qua proponitur demonstrare rem aliquam, vel plures datas esse, cui, vel quibus, ut et cuilibet ex rebus innumeris, non quidem datis, sed quae ad ea quae data sunt eandem habent rationem, convenire ostendendum est affectionem quandam communem in propositione descriptam. Porisma etiam in forma problematis enuntiari potest, si nimirum ex quibus data demonstranda sunt, invenienda proponantur.\{\{Clarify|reason=Please provide an English translation.|date=July 2021}}

Simson said that a locus is a species of porism. Then follows a Latin translation of Pappus's note on the porisms, and the propositions which form the bulk of the treatise.\{\{sfn|Heath|1911|p=103}}

John Playfair's memoir (Trans. Roy. Soc. Edin., 1794, vol. iii.), a sort of sequel to Simson's treatise, explored the probable origin of porisms, or the steps that led ancient geometers to discover them. Playfair remarked that the careful investigation of all possible particular cases of a proposition would show that

  1. under certain conditions a problem becomes impossible;
  2. under certain other conditions, indeterminate or capable of an infinite number of solutions.

These cases could be defined separately, were in a manner intermediate between theorems and problems, and were called "porisms." Playfair defined a porism as "[a] proposition affirming the possibility of finding such conditions as will render a certain problem indeterminate or capable of innumerable solutions."\{\{sfn|Heath|1911|p=103}}

Although Playfair's definition of a porism appears to be most favoured in England, Simson's view has been most generally accepted abroad, and had the support of Michel Chasles. However, in Liouville's Journal de mathematiques pures et appliquées (vol. xx., July, 1855), P. Breton published Recherches nouvelles sur les porismes d'Euclide, in which he gave a new translation of the text of Pappus, and sought to base a view of the nature of a porism that conforms more closely to Pappus's definition. This was followed in the same journal and in La Science by a controversy between Breton and A. J. H. Vincent, who disputed the interpretation given by the former of Pappus's text, and declared himself in favour of Frans van Schooten's idea, put forward in his Mathematicae exercitationes (1657). According to Schooten, if the various relations between straight lines in a figure are written down in the form of equations or proportions, then the combination of these equations in all possible ways, and of new equations thus derived from them leads to the discovery of innumerable new properties of the figure.\{\{sfn|Heath|1911|p=103}}

The discussions between Breton and Vincent, which C. Housel joined, did not carry forward the work of restoring Euclid's Porisms, which was left for Chasles. His work (Les Trois livres de porismes d'Euclide, Paris, 1860) makes full use of all the material found in Pappus.\{\{sfn|Heath|1911|p=103}}

An interesting hypothesis about porisms was put forward by H. G. Zeuthen (Die Lehre von den Kegelschnitten im Altertum, 1886, ch. viii.). Zeuthen observed, for example the intercept-porism is still true if the two fixed points are points on a conic, and the straight lines drawn through them intersect on the conic instead of on a fixed straight line. He conjectured that the porisms were a by-product of a fully developed projective geometry of conics.\{\{sfn|Heath|1911|p=103}}

See also

\{\{wiktionary}}

Notes

\{\{Reflist}}

References

Attribution:

  • \{\{EB1911 |last=Heath |first=Thomas Little |author-link=Thomas Heath (classicist) |wstitle=Porism |volume=22 |pages=102-103}}
  1. ↑ \{\{cite book |title=College geometry|first=Howard W.|last=Eves|year=1995|isbn=0867204753|page=138}}
  2. ↑ Proclus, ed. Friedlein, p. 301