The hexagon theorem of Pappus is one of the most important theorems in projective geometry. It describes the configuration of nine lines and nine points which is generated by pairs of opposite sides of the hexagon, whose vertices lie alternatively on two different lines, intersect in three collinear points. In this paper we present eight proofs of Pappus’s theorem, with the aim of learning about different methods of approach to the problem and making a comparison between them. In particular, we expose the advantage of the projective geometry setting over the initial Euclidean formulation. We emphasize the connection to the Pascal’s theorem and, through the Cayley-Bachrach-Chasles theorem, the profound connection with Algebraic geometry. On the other hand, applying the projective interpretation of a circle, which is basically a Euclidean concept, by using a pair of imaginary points on the line at infinity, we derive Miquel’s theorem from the geometry of circles. Finally, we indicate the possibility of a formal algebraic proof using homogeneous coordinates, which encompasses Pappus’s theorem in its full generality.