Afstandsformlen er en sætning (eller rettere, en familie af sætninger) til at finde afstanden mellem to punkter i et koordinatsystem. Dette gøres ved at indsætte koordinatsættet fra punkterne, i formelen. Nedenfor er sætningen og dens bevis for et todimensionelt, kartesisk koordinatsystem angivet.