Свойства окружности, вписанной в прямоугольную трапецию: геометрия и доказательства