2)
Montrons que
Si
ou
, la propriété est immédiate.
Supposons donc que
et
.
Quatre cas s'offrent à nous : soit
, soit
, soit
, soit
.
Par symétrie des rôles, on peut se suffire à n'étudier que le premier, le deuxième et le quatrième cas.
* Si
Alors, on peut facilement prouver que :
La propriété s'ensuit.
* Si
On peut prouver également que :
Et la propriété s'ensuit.
* Si
[img]
Alors, on peut, d'une manière tout à fait similaire, prouver que :
Et la propriété s'ensuit.
Conclusion :La propriété est vraie dans tous les cas.