We start with the relationship x=tany, which leads us to differentiate:
dydx=sec2y
Then, the relation:
dxdy=dydx1=sec2y1
This can also be expressed as:
dxdy=1cos2y
Recall the identity for tangent:
tan2y+1=sec2y
Thus:
sec2y=1+tan2y=1+x2
Therefore, we have:
dxdy=1+x21, which completes the proof.