Jeśli na osi liczbowej czerwonymi punktami oznaczono liczby przeciwne, to jedna z nich musi być dodatnia a druga ujemna.

W połowie pomiędzy tymi punktami leży więc początek układu współrzędnych, a więc