#2 is super interesting! I wonder if it generalizes to higher dimensions.
I don't quite follow the solution, can anyone explain a bit more? What's the motivation for considering large epsilon?
0 The limit for ε to infinity must be >= 0 and is ((a+b+c) - (a'+b'+c'))π, therefore a+b+c >= a'+b'+c'.
"large epsilon" is a standard way to express "consider the asymptotic behavior for epsilon to infinity and you will see what I mean".