standard_description: Prove theorems about lines and angles. Theorems include: vertical angles are congruent; when a transversal crosses parallel lines, alternate interior angles are congruent and corresponding angles are congruent; points on a perpendicular bisector of a line segment are exactly those equidistant from the segment’s endpoints.
problem_activity: Task
Lisa makes an octagon by successively folding a square piece of paper as follows.  First, she folds the square in half vertically and horizontally and also along both diagonals leaving these creases:
[IMG]
Next, Lisa makes four more folds, identifying each pair of adjacent lines of symmetry for the square used for the folds in the first step:
[IMG]
Finally Lisa folds the four corners of her shape along the red creases marked below:
[IMG]
Explain why the shape Lisa has made is a regular octagon.


aligns: no