Brahmagupta*'s theorem states that if a cyclic quadrilateral ABCD has perpendicular diagonals, then the perpendicular to a side from the point of intersection of the diagonals always bisects the opposite side.

Today a high school student can prove it.

How about you?

*Indian mathematician of 7th century