This article deals with the teaching of geometry at Key Stage 4 (KS4). It describes ways of using dynamic geometry software to help release Euclidean geometry from the synthetic treatment used in schools several decades ago. It emphasizes that in the inclusion of geometry in the mathematics curriculum, teachers must address the need for such logical reasoning and proof and the role played by Euclidean geometry in developing it.