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