A gyroscope is in orbit about the massive rotating body in Exercise 17.23. Use your answer to Exercise 17.25 to show that the precessional angular velocity vector of the gyroscope is given by
Ω=c2∣x∣3G[3(J⋅x^)x^−J],
where x is the position vector of the gyroscope relative to the centre of the massive body. Show that this result agrees with that derived in Section 13.20 when x points along J.