Аннотация:
В данной работе приведено простое доказательство одного результата из недавней работы Ю. Г. Никонорова и О. Ю. Никоноровой, первоначальное доказательство которого довольно громоздко и основано на исследовании полиномиальных идеалов и символьных вычислениях с использованием компьютера. Новое доказательство опирается на теорему Птолемея о вписанных четырехугольниках. В дополнение к этому рассмотрены другие свойства вписанных четырехугольников и смежные задачи.