Déja posté par mehttps://mathsmaroc.jeun.fr/premiere-f5/serie-bilan-logique-t9953.htm?highlight=bilan+logiqueBon je vous propose ma méthode:
(Par absurde)
D'une part
a²+b²=k(a²-b²) telque k appartient a IN* a²+b²différent de a²-b² (a;b) strictement positifs.
donc a²+b²=k(a²+b²-2b²)
(a²+b²)-k(a²+b²)=-2kb
(a²+b²)(1-k)=-2kb²
a²+b²=[-2k/(1-k)]b²
=2[-k/(-k+1)]b²
-k/k+1 appartient a {Q-IN}
Donc a²+b² appartient a {Q-IN}
D'autre part
a²-b²≠1 car a²≠1+b² avec a et b appartenant a IN.
Donc 1/a²-b² appartient a {Q-IN}
Finalement (a²+b²)*(1/a²-b²) appartient a {Q-IN}
soit (a²+b²)/(a²-b²) appartient a {Q-IN}
et c'est une contradiction avec le fait que a²+b²/a²-b² appartient à IN.
Donc a²+b²/a²-b² n'appartient pas a IN.
CQFD.