Точка пересечения диагоналей - К.
Дальше сплошная "угломания" :)))
угол DBC = угол CAD (опираются на одну дугу)
угол CAD = угол EBD (стороны взаимно перпендикулярны)
угол BDA = угол BCA (опираются на одну дугу)
угол ECF = угол BDA (стороны взаимно перпендикулярны)
Итак, в ЕBCF диагонали взаимно перпендикулярны, и каждая из диагоналей делит один из углов пополам (то есть ЕС - биссектриса BCF, FB - Биссектриса ЕВС.)
Рассматиривая последовательно пару треугольников КВС и FKC, убеждаемся в из равенстве (общий катет и прилежащий угол).
Потом аналогично устанавливаем равенство треугольников EBK и KBC.
И совсем просто отсюда следует, что и треугольник EKF равен BKC (по двум катетам)
ПОэтому EF = BC = 1
EBCF - ромб.
y (1) = 2
y (-1) = 6
y (2) = 0
y (-2) = 8
(0;4); (1;2); (-1;6); (2;0); (-2;8) и так далее. Просто построй эти точки.