~ OABC is a tetrahedron

~ Applying ratio theorem to triangles

~ Triangular lamina

~ Position vectors involving a circle

~ Vector equation of a reflected line

~ Ratio theorem involving triangles again

~ Vectors of 2 lines

~ Vectors involving dot product and cross product