Bonjour à tous !

J'ai un petit soucis, dans mon DM, je dois résoudre l'équation suivante :

tan x + tan y = 1
tan (x+y) = 4/3

Cela ne pose pas de problèmes, mais j'ai un soucis pour le domaine de définition.

On a x et y différents de pi/2 + pi Z
et x+y différent de pi/2 + piZ soit x différent de pi/2 + 2kpi - y

Le problème c'est que je ne sais comment rédiger le domaine de définition, comment l'écrire. Et je n'ai trouvé aucun cours sur le net me permettant de rédigier proprement et le plus simplement possible un domaine de définition (un ensemble, entre autre) avec deux variables, et les contraintes qui s'appliquent à chacune d'entre elles (et à leur somme, entre autres).

Ca doit être sûrement très simple, mais vu que c'est la première fois que je rencontre ce problème, je ne connais pas la syntaxe.

Merci d'avance !