Constructions and Pythagoras' theorem