Properties of a square
Compare the lengths of sides, the diagonals, and the segments being created by the intersection of the diagonals. Use the Relation tool to obtain numerical and symbolic answers.
You need at least GeoGebra version 5.0.392.0 (14 October 2017) to make the symbolic checks properly work.