This is an overview of the lesson: Students are going to derive a powerful formula which will calculate where any point (x,y) (x, y) (x,y)left parenthesis, x, comma, y, right parenthesis goes afterrotation by an angle theta theta about the origin. It also provides a video about what you need to know before you start the lesson.