>>343
疑問はまさにそこです。
341さんの言うように、a=b=∞ などという解はありません
解がない以上、それ以外に解があっても全く矛盾はしないことになります。

証明を見直したほうがよろしいかと。