Да можно сделать сократить
Четырехугольник описанный вокруг окружанности тогда и только тогда когда суммы противоположных его сторон равны,
так как очевидно 2+3=1+4
то
2 и3, 1 и 4 - пары противоположны сторон
Пусть не ограничивая общности a=1,b=2,c=4, d=3
Так как четырехугольник описанный - он выпуклый.
По первой и второй теореме Птолемея для вписанного четырехугольника
- меньшая диагональ
Одно из решений, но я не уверен, что требуется именно такое:
(a-5)x = ax-5x-30+30
!При этом решении x тоже будет любым числом!