as radius; the tangent to this arc from

will be the new wave-front, and the normal to the tangent from

will be the new direction. This will differ from the direction

by the angle

which it is required to find. From the equality of the triangles