Pourquoi ne puis-je pas évaluer cette intégrale définie bivariée ?

Question

Je souhaite utiliser directement la fonction x pour trouver la valeur exacte de l'intégrale définie bivariée suivante :

reg = ImplicitRegion[x^2 + y^2 <= 1 && x >= 0, {x, y}];
(* the answer should be π/2*Log[2] *)
Integrate[(1 + x*y)/(1 + x^2 + y^2), Element[{x, y}, reg]]

Cette intégrale bivariée n'est pas compliquée, mais la formule ci-dessus revient telle quelle. Je veux savoir où est le problème et comment je dois le modifier.

NIntegrate[(1 + x*y)/(1 + x^2 + y^2), Element[{x, y}, reg]]
(*1.08879304515*)

Answer 1

Integrate[(1 + x*y)/(1 + x^2 + y^2), {x, y} ∈ Disk[{0, 0}, 1, {-π/2, π/2}]]

Answer 2

On pourrait simplement utiliser une autre spécification de région :

reg = RegionIntersection[Disk[], HalfPlane[{0, 0}, {0, 1}, {1, 0}]];
Integrate[(1 + x y)/(1 + x^2 + y^2), {x, y} ∈ reg]
   1/2 π Log[2]

ou passer en coordonnées polaires :

Simplify[((1 + x y)/(1 + x^2 + y^2) /. Thread[{x, y} -> r AngleVector[θ]])
         Det[D[r AngleVector[θ], {{r, θ}}]]]
   (r + r^3 Cos[θ] Sin[θ])/(1 + r^2)

Integrate[(r + r^3 Cos[θ] Sin[θ])/(1 + r^2), {r, 0, 1}, {θ, -π/2, π/2}]
   1/2 π Log[2]