Definicje i twierdzenia z planimetrii, równań i nierówności, liczb rzeczywistych oraz geometrii analitycznej na płaszczyźnie kartezjańskiej