I think you made a typo, should be

but it seems to correct itself later.

You can use the inverse rotation to get your solution in terms of x and y, and then solve using the auxiliary condition.

Or you can transform the auxiliary condition into your new coordinate system.