Дано: вписан в окружность радиуса , . Доказать: .
Решение. Пусть , , , , . Диагонали перпендикулярны, поэтому по теореме Пифагора , , а значит, .
Отметим середины диагоналей и . Центр окружности лежит на серединных перпендикулярах к обеим диагоналям. Поскольку , расстояния от до прямых диагоналей по модулю равны и . По теореме Пифагора для половины хорды получаем
.
По теореме о пересекающихся хордах , поэтому последние два члена сокращаются. Значит, . Если вместо пар взять , теорема Пифагора даёт ту же сумму . Следовательно, тоже.