Buenas Lucas, luego de un rato llegué a la condición que debe tener el módulo cuando cambiamos a polares. El valor de theta va de 0 a π/3.
El módulo (r) va de 1 a 2cos(theta).
Este último valor lo obtenemos despejando el módulo desde la tercera condición que tenemos en el dominio (x^2+y^2-2x<=0) luego del cambio de variables.
Saludos!!!