Se nos da el cuadrado de Q:=[−1,1]2 en la (x,y)-plano y se dijo para determinar el dominio de D que consta de todos los puntos de (x,y)∈Q que satisface la ecuación
arcsinx+arcsiny=arcsin(x√1−y2+y√1−x2) .
Para ello nos basamos en una segunda figura, el cuadrado de ˆQ:=[−π2,π2]2 en la (α,β)-plano y considerar el mapa
ψ:ˆQ→Q,(α,β)↦{x=sinαy=sinβ
que asigna el cuadrado de ˆQ bijectively en Q. Tenemos
ψ−1:Q→ˆQ,(x,y)↦{α=arcsinxβ=arcsiny.
Además uno tiene
√1−x2=cosα,√1−y2=cosβ .
La ecuación de (1) lee en las variables de (α,β)∈ˆQ como sigue:
α+β=arcsin(sinαcosβ+sinβcosα)=arcsin(sin(α+β)) ,
y esto puede escribirse como
α+β={α+β(|α+β|≤π2)π−(α+β)(α+β≥π2)−π−(α+β)(α+β≤−π2) .
Cuando |α+β|≤π2 esto requiere de nada. Si α+β≥π2 este dice que α+β=π2, y si α+β≤−π2 este dice que α+β=−π2.
Por lo tanto, obtener el dominio que desee ˆD⊂ˆQ por el corte de los dos triángulos de ˆQ en que |α+β|>π2. En el original de la (x,y)-figura podemos obtener el dominio que desee D⊂Q por la reducción del ψ-imágenes de estos triángulos, que son los puntos en el primer y tercer cuadrantes fuera del círculo, x2+y2=1. Por lo tanto, uno tiene
area(D)=2+π2 .