Έστω και σημεία του καρτεσιανού επιπέδου καθένα από τα οποία απέχει απόσταση από την αρχή των αξόνων .
Ορίζουμε την πρόσθεση των σημείων ως εξής: Αν και , τότε
Να αποδειχθεί ότι
αν και μόνο αν, τα σημεία και είναι κορυφές ορθογωνιου.