c'est vrai que ce n'est pas tres rigoureux, mais je donnait juste "l'intuition". Apres, on peut faire les détails:
Soit f la fontion f(x) = 2^x + 2^(3-x)
on a f'(x)=2^x*ln2 - 2^(3-x)*ln2
f''(x)= 2^x*ln2 * ln2 + 2^(3-x) *ln2*ln2
on a f''(x)>0 => concavité de f tourne vers le haut
et f'(x) strictement croissante
f'(x)-->-infini quand x-->-infini
f'(x)--> +infini quand x-->+infini
par le thm des valeurs intermediaire, il existe t tq f(t)=0
de plus f' strictement croissant donc t est unique
et pour tout x>t, f'(x)>0
pour tout x<t, f'(x)<0
la fonction f s'organise "un peu comme x^2" mais avec une symetrie autour du point t
si on regarde,l'equation, il s'agit de f(x) = 5
on a donc 2 solutions (par la description de f faites ci-dessus)
qui sont (trouvé par le raisonnement de mon precedent post):
x= 1/2 (donc y= 2+1/2)
et
x= 2+1/2 (donc y = 1/2)
Si il y a encore des choses a detailler, je le ferais eventuellement plus tard...