Так существует же теорема, которая звучит так: Если в четырехугольник можно вписать окружность, то суммы длин его противоположных сторон равны.
Так же есть обратная теорема, даказывающее то же самое: В четырехугольник можно вписать окружность тогда и только тогда, когда суммы длин противоположных сторон равны.
Опираясь на теорему и обратную теорему мы доказываем, что суммы длин противоположных сторон четырехугольника равны.