The fewest number but bigger than 1 of switches should be used. Summarythe centroid theorems of pappus or the pappusguldin theorems. Files are available under licenses specified on their description page. A generalization of pythagorass theorem and application to. As a writer, pappus must have been quite versatile if the following list of. In mathematics, pappuss hexagon theorem attributed to pappus of alexandria states that given one set of collinear points,, and another set of collinear points,, then the intersection points, of line pairs and.
Proof of pappus theorem with circle inversion by developing. These quantities can be computed using the distance traveled by the centroids of the curve. Pappus definition of pappus by the free dictionary. Pappuss centroid theorems are results from geometry about the surface area and volume of solids of revolution.
Theon made a marginal note in one of his manuscripts stating that pappus wrote during the reign of roman emperor diocletian, which places him in the period from 284 to 305 ad. Gabriel braun julien narboux the date of receipt and. Orthopoles and the pappus theorem forum geometricorum. Euclidean version of pappuss theorem mathematics stack. Develop an opensource software application to simulate circle inversion and prove pappus theorem. In this paper, we report on the formalization of a synthetic proof of pappus theorem. The volume v of a solid of revolution generated by the revolution of a lamina about an external axis is equal to the product of the. A synthetic proof of pappus theorem in tarskis geometry halinria. Ets research report series issn 23308516 research report a generalization of pythagorass theorem and application to explanations of variance contributions in linear models. The first theorem of pappusguldinus says that the area of the sphere is given by a 2 rcl because we already know a 4 r2, we can solve this equation for rc in terms of r and l.
Long before the invention of calculus, pappus of alexandria ca. Pappuss theorem, in mathematics, theorem named for the 4thcentury greek geometer pappus of alexandria that describes the volume of a solid, obtained by revolving a plane region d about a line l. If the vertices of a triangle are projected onto a given line, the perpendiculars from the projections to the. Areas of surfaces of revolution, pappuss theorems iitk. Solid of rotation, pappus centroid theorem a solid of rotation is the figure that results from rotating a plane figure about an external axis an axis on the same plane as the figure such that no two points of the figure are on opposite sides of the axis. Let us find the area of the surface generated by revolving the curve y 1. Z b a fx 2 dx, the familiar formula for volume of solid of revolution. Proposition if six points 1,2,3,4,5, and 6, on two lines are joined as shown, then their points of intersection a, b, and c are collinear hint to interact with the figure below. Pappus s area theorem describes the relationship between the areas of three parallelograms attached to three sides of an arbitrary triangle. The euclidean pseudoline arrangement b is derived from a by taking line 0 as the line at in. Theorem of the day pappus theorem let a, b, c and a, b, c be two sets of collinear points.
A simple proof for the theorems of pascal and pappus. Ets research report series eignor executive editor. When r is rotated about the xaxis, it generates a cone of volume use the theorem of pappus to determine the ycoordinate of the centroid of r. Other than that he was born at alexandria in egypt and that his. In fact the euclidean version of pappuss theorem does not at all depend. James gregory and the pappusguldin theorem mathematical. Pappus of alexandria, the most important mathematical author writing in greek during the later roman empire, known for his synagoge collection, a voluminous account of the most important work done.
Areas of surfaces of revolution and the theorems of pappus. All structured data from the file and property namespaces is available under the. Ironically, the first proof of the pappusguldin theorems can be. We have already mentioned desargues theorem as an example of a result which is. An analytic proof of the theorems of pappus and desargues. James gregory and the pappusguldin theorem conclusion. This can be achieved using the second theorem of pappus, that states.
Click the red button on the figure to start the animation. Solid of rotation, pappus centroid theorem a solid of rotation is the figure that results from rotating a plane figure about an external axis an axis on the same plane as the figure such that no two points of. If points a,b and c are on one line and a, b and c are on another line then the points of intersection of the lines ac and ca, ab and ba, and bc and cb lie on a common line called the pappus line of the configuration. Pappuss area theorem describes the relationship between the areas of three parallelograms attached to three sides of an arbitrary triangle. Consider the curve c given by the graph of the function f. Nov 17, 2014 homework statement the lampshade shown is constructed of 0.
A generalization of pythagorass theorem and application. Pappus s first theorem states that the area of a surface generated by rotating a figure about an external axis a distance from its centroid equals the product of the arc length of the generating figure and the distance traversed by. Theorems of pappus on surfaces of revolution wolfram. This rephrasing of gregorys proposition 35 may be familiar to those who have seen second semester calculus. Any stretching of rin9 would provide a euclidean stretching of b, necessarily satisfying the premises of the main theorem. Pdf a synthetic proof of pappus theorem in tarskis geometry.
The theorems are attributed to pappus of alexandria and paul guldin. Let s be the surface generated by revolving this curve about the xaxis. Areas of surfaces of revolution, pappuss theorems let f. In mathematics, pappus s hexagon theorem attributed to pappus of alexandria states that given one set of collinear points,, and another set of collinear points,, then the intersection points, of line pairs and, and, and are collinear, lying on the pappus line.
Wrote the source code in brackets, an opensource text editor, to invert a point, circle, and pappus chain. We say that a quadrilateral in euclidean, hyperbolic or ellip. Use the theorem of pappus to determine the surface area of this region as well. A communications network what are the desirable properties of the switching box. This is the theorem of pappus or the pappus guldin theorem.
Section 6 and is the key to our proof of pappustheorem. Of course, this does not make the computation trivial in general, since computing the centroid of a region or curve is not easy, even for relatively simple shapes. Centroid theorem of pappus guldinus volume and surface. The theorem of pascal concerning a hexagon inscribed in a conic. Century ad proposed two theorems for determining the area and volume of surfaces of revolution.
The theorem of pappus states that when a region r is rotated about a line l, the volume of the solid generated is equal to the product of the area of r and the distance the centroid of the region has. In mathematics, pappuss centroid theorem also known as the guldinus theorem, pappusguldinus theorem or pappuss theorem is either of two related theorems dealing with the surface areas and volumes of surfaces and solids of revolution. In mathematics, pappuss centroid theorem also known as the guldinus theorem, pappusguldinus theorem or pappuss theorem is either of two related theorems dealing with the surface areas and. Pappus involution theorem is a powerful tool for proving theorems about noneuclidean triangles and generalized triangles in cayleyklein models. Pappus theorem can be considered a limiting form of pascal s theorem. Pappus of alexandria greek mathematician britannica. In several other languages pappus hexagon theorem is often called pascals. Pappus theorem article about pappus theorem by the free.
Pappus theorem for a conic and mystic hexagons ross moore macquarie university sydney, australia pappus theorem is a wellknown result for triples of points on two lines in the. A synthetic proof of pappus theorem in tarskis geometry. The theorem, which can also be thought of as a generalization of the pythagorean theorem, is named after the greek mathematician pappus of alexandria 4th century ad, who discovered it. Methodsmaterials macbook pro to develop a web page in html5 and javascript. Im not sure what hartshorne has in mind, but pappus theorem is a simple consequence of similarity of euclidean triangles in guise of the intercept theorem and theres no need of introducing the circle. Pappuss theorem, in mathematics, theorem named for the 4thcentury greek geometer pappus of alexandria that describes the volume of a solid, obtained by revolving a plane region d about a line l not intersecting d, as the product of the area of d and the length of the circular path traversed by.
Its power is illustrated by proving with it some theorems. His great work a mathematical collection is an important source of information about ancient greek mathematics. Wrote the source code in brackets, an opensource text editor. It states that the volume of each solid of revolution is equal to the area of its base multiplied. Dec 25, 2011 areas of surfaces of revolution and the theorems of pappus. A simple proof for the theorems of pascal and pappus marian palej geometry and engineering graphics centre, the silesian technical university of gliwice ul. Orthopoles and the pappus theorem atul dixit and darij grinberg abstract. A fourth century theorem for twentyfirst century calculus. Pappus of alexandria, the most important mathematical author writing in greek during the later roman empire, known for his synagoge collection, a voluminous account of the most important work done in ancient greek mathematics. The theorem, which can also be thought of as a generalization of. Pdf a synthetic proof of pappus theorem in tarskis.
If the vertices of a triangle are projected onto a given line, the perpendiculars from the projections to the corresponding sidelines of the triangle intersect at one point, the orthopole of the line with respect to the triangle. However, if we interpret it in euclidean geometry it does not exhaust its full generality. To satisfy 2, we would require at a minimum that each switch connects the same number of users. Then the intersection points of the line pairs ab with ba, ac with ca and bc with cb are again collinear.
This is precisely what pappus centroid theorem gives. Let r be the triangular region bounded by the line y x, the xaxis, and the vertical line x r. A course in projective geometry matematik bolumu mimar sinan. Gregorys geometrical approach toward proving this result and just why this result ended up in gregorys text in the first place are the subjects of this article. An application of pappus involution theorem in euclidean. An application of pappus involution theorem in euclidean and. Determine the amount of paint required to paint the inside and outside surfaces of the cone, if one gallon of paint covers 300 ft2. In the 15th century, the previously mentioned artistwriter alberti raised a. Pappus theorem article about pappus theorem by the. If the region does not cross the axis, then the volume of the resulting solid of revolution is v 2. A similar calculation may be made using the y coordinate of the. Jul 18, 2015 use the theorem of pappus to determine the surface area of this region as well. Now the second pappusguldin theorem gives the volume when this region is rotated through. Pappus of alexandria was a greek mathematician who lived around the end of the third century ad, although the exact date is uncertain.
Theorem of pappus tells us that volume is equal to area of the plane region, times the distance traveled by the centroid of the same plane region, if the plane region is revolved around the x. It is well known that pappus theorem implies the commutativity of the multiplication in the field k of segment arithmetic see the discussion in 3 and a proof of this fact in 4, pp. Pappus chain, we give a theorem analogue to pappus chain theorem. James gregory and the pappusguldin theorem gregorys proof revealed. For the sake of completeness, we give a proof of the pappus theorem for this case. Here we will exhibit its power by using it for giving a simple proof of a little theorem about certain euclidean and noneuclidean quadrilaterals. In mathematics, pappuss centroid theorem is either of two related theorems dealing with the surface areas and volumes of surfaces and solids of revolution. Jan 22, 20 theorem of pappus tells us that volume is equal to area of the plane region, times the distance traveled by the centroid of the same plane region, if the plane region is revolved around the xaxis. Homework statement the lampshade shown is constructed of 0.
128 490 521 769 419 862 1218 1106 1061 148 771 674 826 279 514 136 1040 829 1273 842 1110 315 1049 426 634 1209 1199 191 446 676 381 886 1296 1441 416 1493 1155 135