Аналитическая геометрия, теория