Pythagoras: de afstandsformule