How to proof with Sympy that a given Cartesian equation can be written as a given polar equation

Question

i have an assignment on sympy and am struggling with the following question: "Proof with the help of Sympy that