theorem in geometry that a perpendicular to one side of an orthodiagonal quadrilateral, through the point of intersection of the diagonals, bisects the opposite side