a et b des nombres rationnels.
non nuts et non opposés.
Monter que 8
(a ^ - 1 + b ^ - 1) ^ - 1 = (ab)/(a + b)
