a et b des nombres rationnels.

non nuts et non opposés.

Monter que

(a ^ - 1 + b ^ - 1) ^ - 1 = (ab)/(a + b)