Because each segment joining midpoints of adjacent sides is equal in length (each equals half the original square's diagonal) and consecutive segments are perpendicular, the four joined midpoints form a quadrilateral with four equal right angles — i.e., a square.