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?

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