Since the magnitudes satisfy the identity for right triangles

we deduce that B and C are perpendicular, and that ABC is a right triangle (see picture).
So, we can get the angle between A and C using the sine theorem:

And we have

So, we have

Which implies
