This work aims to present and demonstrate Miquel s theorems dealing with straigt lines, circles and their intersections, as well as Clifford s version of the same theorems. More specifically regarding the theorem that makes reference to the pentagon, which asserts that given a pentagon, the extension of its sides form five triangles and the circles circumscribed to these triangles intersect two by two, and the intersection points, not considering the vertices, are on the same circumference. Miquel s theorems are presented in an original way, with the exception of the above theorem, which is equal to the original one, apart from little changes of notation and more detailed arguments. Clifford s version of this theorem is presented with the use of Euclidean geometry arguments differing from the one proposed in his article, which makes use of tools of projective geometry and algebraic curves to get to his thesis. There is also a demonstration for the generalization of the above theorem when n straigt lines are taken. In addition, this work proposes a pedagogical activity using the dynamic geometry software GeoGebra, as a facilitating tool for viewing and deduction of the most important theorems presented in this work.