Система линейных уравнений для a1x+b1y=c1 и a2x+b2y=c2.


Описание переменных:

x - переменная;

y - переменная;

a1 - коэффициент при х для первой прямой;

b1 - коэффициент при y для первой прямой;

c1 - свободный коэффициент первой прямой;

a2 - коэффициент при х для второй прямой;

b2 - коэффициент при y для второй прямой;

c2 - свободный коэффициент второй прямой;

β - больший угол пересечения прямых;

α - меньший угол пересечения прямых;

D - переменная равная a1*b2-a2*b1;

D1 - переменная равная c1*b2-c2*b1;

D2 - переменная равная a1*c2-a2*c1;


Описание предикатов:

Точка_пересечения_лежит_в_первой_четверти - точка пересечения прямых лежит в I четверти;

Точка_пересечения_лежит_во_второй_четверти - точка пересечения прямых лежит во II четверти;

Точка_пересечения_лежит_в_третьей_четверти - точка пересечения прямых лежит в III четверти;

Точка_пересечения_лежит_в_четвёртой_четверти - точка пересечения прямых лежит в IV четверти;

Точка_пересечения_в_начале_координат - точка пересечения прямых в начале координат;

Система_не_имеет_решения - система не имеет решения;

Система_имеет_бесконечное_множество_решений - система имеет бесконечное число решений;

Система_имеет_решение_где_x_равно_y - система имеет решение и x=y;

x_и_y_имеют_одинаковые_знаки - система имеет решение и x и y имеют одинаковые знаки;

x_и_y_имеют_разные_знаки - система имеет решение и x и y имеют разные знаки;

Точка_пересечения_лежит_на_положительной_части_Oy - точка пересечения лежит на положительной части оси Oy;

Точка_пересечения_лежит_на_отрицательной_части_Oy - точка пересечения лежит на отрицательной части оси Oy;

Точка_пересечения_лежит_на_положительной_части_Ox - точка пересечения лежит на положительной части оси Ox;

Точка_пересечения_лежит_на_отрицательной_части_Ox - точка пересечения лежит на отрицательной части оси Ox;

Угол_между_прямыми_прямой - угол пересечения между прямыми прямой;

Прямые_лежат_только_в_трех_четвертях - прямые лежат только в трех четвертях;

Прямые_параллельны - прямые параллельны;

Прямые_совпадают - прямые совпадают;