, то получим что диагональ есть диаметр окружности .
на окружности , опустим с нее прямые на каждую из вершин , получим что две прямые происходящие от вершины А , опираются на диагональ , а диагональ равна
, вторая сумма симметрична этой сумме , в итоге