Try this
A square is both a rectangle and a rhombus: four equal sides, four right angles, and diagonals that are equal, perpendicular and bisect each other. Rotated about its center, it fits onto itself; rotated about a vertex, one side lands exactly on the neighboring side.
- Drag and . In general and are not equal.
- Click “Move F so that ∠EAF = 45°”: the two readings are now equal. Drag somewhere else and click again: still equal.
- Now look at the last reading: the perimeter of is exactly , twice the side of the square, wherever is.
- Drag the rotation slider to : the blue turns about into the position of . becomes and joins to form one segment .
Predict first
Square has side . is on , is on , and . What is the perimeter of ?
, so
The perimeter does not depend on where exactly and are, as long as the angle stays .
Why: turn 90° to join the two pieces
If ∠EAF = 45°, then EF = BE + DF
Step 1 / 5- The two segments are apart
We want to prove . (orange) and (blue) are on two different sides of the square, so we cannot add them directly.
The key to this method (often called the “half-angle model”): two equal segments with a common endpoint (here ) are a signal to rotate, and the angle of rotation is the angle between them. A square is full of such segments, which is why square problems are so well suited to rotation.
Remove one condition
Break it
Counterexample lab: remove one condition
Conclusion: ← still true?
follows automatically and keeps . Drag the rotation slider to , then drag : stays as well.
Now can move on its own. Make smaller than , then larger than , and each time compare with .
The rotation still works, and still holds. But is no longer equal to , so and are not congruent: two pairs of sides are equal, and the larger included angle faces the larger side. So when , , and when it is the other way round.
Practice
A square has a diagonal of length . Find its area.
Square has side . is on with ; is on with . Find the length of .
Inside square , build an equilateral triangle . Find in degrees.
Square has side . is on with ; is on with . Find the area of .