Rotation and area

Point A is rotated to point B. Can you find the area of the triangle that these points make with the origin?
Exploring and noticing Working systematically Conjecturing and generalising Visualising and representing Reasoning, convincing and proving
Being curious Being resourceful Being resilient Being collaborative

Problem



A has coordinates (4,4) and B is obtained by rotating A about the origin O through an angle of 135 ยบ anti-clockwise.

Calculate the area of triangle AOB.

This problem is taken from the World Mathematics Championships