SPOILER:
Tout d'abord, on montre que si tous les exposants dans la décomposition en facteurs premier d'un nombre n sont pairs, alors n est un carré parfait.
En effet, $ n = p_0^{2\alpha_0}\times\ldots\times p_m^{2\alpha_m} = (p_0^{\alpha_0}\times\ldots\times p_m^{\alpha_m})^2 $.
Ainsi, en remarquant que $ \frac{1}{a} + \frac{1}{b} = \frac{1}{c}\iff c(a+b) = ab $, on peut montrer que tous les exposants dans la décomposition en facteurs de a+b sont pairs :
Soit p un nombre premier tel que $ p|a+b $.
Ainsi, On a p|ab d'où $ p|a $ ou $ p|b $.
On suppose SPDG que $ p|a $ et on a $ p | (a+b)-a=b $ donc c ne divise pas p (car pgcd(a,b,c)=1).
Ainsi, si on note $ v(n) $ l'exposant de p dans la décomposition en facteurs premiers de n, on a :
$ v(ab) = v(a+b) $
Or, $ v(ab) = v(a)+v(b) $ d'où $ v(a+b) = v(a)+v(b) $.
On a $ p^{v(a)}|a $ et $ p^{v(a)}|a+b $ donc $ p^{v(a)}|a+b-a=b $ donc $ v(a)\le v(b) $.
De la même manière, on a $ v(b)\le v(a) $ d'où $ v(a) = v(b) $.
Pour conclure, on retrouve $ v(a+b) = 2\times v(a) $ qui est pair.
Ainsi, tous les exposants de a+b dans sa décomposition en facteurs premiers sont pairs donc a+b est un carré parfait.
En effet, $ n = p_0^{2\alpha_0}\times\ldots\times p_m^{2\alpha_m} = (p_0^{\alpha_0}\times\ldots\times p_m^{\alpha_m})^2 $.
Ainsi, en remarquant que $ \frac{1}{a} + \frac{1}{b} = \frac{1}{c}\iff c(a+b) = ab $, on peut montrer que tous les exposants dans la décomposition en facteurs de a+b sont pairs :
Soit p un nombre premier tel que $ p|a+b $.
Ainsi, On a p|ab d'où $ p|a $ ou $ p|b $.
On suppose SPDG que $ p|a $ et on a $ p | (a+b)-a=b $ donc c ne divise pas p (car pgcd(a,b,c)=1).
Ainsi, si on note $ v(n) $ l'exposant de p dans la décomposition en facteurs premiers de n, on a :
$ v(ab) = v(a+b) $
Or, $ v(ab) = v(a)+v(b) $ d'où $ v(a+b) = v(a)+v(b) $.
On a $ p^{v(a)}|a $ et $ p^{v(a)}|a+b $ donc $ p^{v(a)}|a+b-a=b $ donc $ v(a)\le v(b) $.
De la même manière, on a $ v(b)\le v(a) $ d'où $ v(a) = v(b) $.
Pour conclure, on retrouve $ v(a+b) = 2\times v(a) $ qui est pair.
Ainsi, tous les exposants de a+b dans sa décomposition en facteurs premiers sont pairs donc a+b est un carré parfait.