Problem
A regular octagon with sides of length 1 has 20 diagonals. Compute the sum of the squares of the lengths of these diagonals.
A regular octagon with sides of length 1 has 20 diagonals. Compute the sum of the squares of the lengths of these diagonals.