3 Déterminer les nombres complexes pour lesquels `(1-iz)/(1+z) in iR `
soit ` z = x+iy ` un nombre complexe tel que `(x, y) in R^2 ` et ` 1+z ne 0 `
on a `(1-iz)/(1+z) `
`= (1-i(x+iy))/(1+x +iy) `
`= (1-ix+y)/(1+x +iy) `
`= ((1+y-ix)( 1+x -iy))/((1+x)^2 +y^2) `
`= ( (1+y)(1+x) -iy(1+y) -ix(1+x) -xy )/((1+x)^2 +y^2) `
`= ( 1+x +y +xy -i (y(1+y)+x(1+x) ) -xy )/((1+x)^2 +y^2) `
`= ( 1+x +y -i (y(1+y)+x(1+x) ) )/((1+x)^2 +y^2) `
`= ( 1+x +y)/((1+x)^2 +y^2) -i (y(1+y)+x(1+x) )/((1+x)^2 +y^2) `
alors ` (1-iz)/(1+z) in iR <=> ( 1+x +y)/((1+x)^2 +y^2) = 0 `
`<=> 1+x+y = 0 ` et `(1+x)^2 +y^ 2 ne 0 `
`<=> 1+x+y = 0 ` et `(x, y) ne (-1, 0) `
donc `E= { x +iy ;text{ tel que } 1+x+y = 0 text{ et } (x, y) ne(-1, 0 ) } `