If the diagonals of a quadrilateral are perpendicular bisectors of equal length, then the quadrilateral must be a . (Give the strongest condition.)
trapezoid
rectangle
rhombus
square
trapezoid
rectangle
rhombus
square