Salut,
Concernant les calculs, c'est O.K. (i.e. il n'y a pas d'erreur de calculs), mais sur la logique des calculs, c'est on ne peut plus bof bof vers la fin :
- Tu divise les deux termes d'une égalité par le produit

sans justifier que ce produit est non nul.
- Ensuite tu prend la racine carré des deux termes et ce coup ci (contrairement à la division par

), tu comprend que ce n'est pas gratuit. Sauf que, pour justifier que c'est licite, tu
rajoute des condition à l'énoncé et cela fait que tu ne démontre plus vraiment le résultat demandé dans toute sa généralité, mais uniquement dans le cas (éventuellement particulier) où

et
(c\!+\!3)\!\geq\!0)
.
Bref, avec exactement la même idée, une fois que tu as montré que
^2\!=\!(c^2\!-\!2c\!+\!1)ab\!=\!(c\!-\!1)^2ab\ \text{ et que }\ (a\!-\!b)^2\!=\!(c^2\!-\!2c\!-\!3)ab\!=\!(c\!+\!1)(c\!-\!3)ab)
ce qu'il faut dire, c'est qu'
on a forcément 
car sinon on aurait

ce qui est contraire aux hypothèses.
Donc on peut écrire la première équation sous la forme
^2}{(c\!-\!1)^2})
et la deuxième équation dit alors que
^2\!=\!\dfrac{(c\!+\!1)(c\!-\!3)(a\!+\!b)^2}{(c\!-\!1)^2})
qui, vu que

signifie que
(c\!-\!3)\!=\!\bigg(\!\dfrac{(a\!-\!b)(c\!-\!1)}{a\!+\!b}\bigg)^{\!\!2})
ce qui implique évidement que
(c\!-\!3)\!\geq\!0)
et que
(c\!-\!3)}\!=\!\bigg|\!\dfrac{(a\!-\!b)(c\!-\!1)}{a\!+\!b}\bigg|)