
Задание под буквой (в).
В ответе написано следующие:

Зачем здесь сравнивают длину прямых, которые образуют основной угол, с длинной биссектрисы?
То есть зачем в формуле используют: E(x; y'; x; z') ^ E(x; y'; x; u')
Ведь и без них формула должна работать корректно.
Update: её использует для того, чтобы прямые, образующие основной угол, были одинаковой длинны?
Если это так, то можно ли было изменить " E(x; y'; x; z') ^ E(x; y'; x; u') ", на E(x;u';x;z')?