귀류법이란, 어떤 명제에 대해서, 결론이 틀렸다고 가정하면, 모순이 생긴다는 것을 통해서, 언급된 결론이 참이라는 것을 보이는 방법입니다. 이 문제에서도, c가 최대라는 결론이 틀렸다고 가정을, 즉, a 또는 b가 최대라고 가정을 하면, 주어진 조건인 c-a > a-b > b-c 에 모순이 생기기 때문에 a와 b는 최대가 될 수 없고, 따라서 c가 최대가 된다는 결론이 나오게 됩니다.