Четырехугольники:

Четырехугольник

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

AB, BC, CD, AD - стороны четырехугольника;

AC, BD - диагонали четырехугольника;

O - точка пересечения диагоналей;

Угол_A, Угол_B, Угол_C, Угол_D - углы четырехугольника (соответственно ^BAD, ^ABC, ^BCD, ^ADC);

Угол_AC_BD - острый угол между диагоналями;

S_ХХХ - площадь соответствующей фигуры;

P_ХХХ - периметр соответствующей фигуры;

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

ABCD_ромб - четырехугольник ABCD является ромбом;

ABCD_параллелограмм - четырехугольник ABCD является параллелограммом;

ABCD_прямоугольник - четырехугольник ABCD является прямоугольником;

ABCD_квадрат - четырехугольник ABCD является квадратом;

ABCD_трапеция - четырехугольник ABCD является трапецией;

ABCD_выпуклый - четырехугольник ABCD является выпуклым;

ABCD_невыпуклый - четырехугольник ABCD является невыпуклым;

AB_CD_параллельны - стороны AB и CD параллельны;

AD_BC_параллельны - стороны AD и BC параллельны;