This book provides an inquiry-based introduction to advanced Euclidean geometry. It utilizes dynamic geometry software, specifically GeoGebra, to explore the statements and proofs of many of the most interesting theorems in the subject. Topics covered include triangle centers, inscribed, circumscribed, and escribed circles, medial and orthic triangles, the nine-point circle, duality, and the theorems of Ceva and Menelaus, as well as numerous applications of those theorems. The final chapter explores constructions in the Poincare disk model for hyperbolic geometry. The book can be used either as a computer laboratory manual to supplement an undergraduate course in geometry or as a stand-alone introduction to advanced topics in Euclidean geometry. The text consists almost entirely of exercises (with hints) that guide students as they discover the geometric relationships for themselves. First the ideas are explored at the computer and then those ideas are assembled into a proof of the result under investigation. The goals are for the reader to experience the joy of discovering geometric relationships, to develop a deeper understanding of geometry, and to encourage an appreciation for the beauty of Euclidean geometry.
