solution to 1.
Geometry will make it easier to explain.
a)slope of a line can be any real number. we represent all ai's by a line passing through the origin with slope ai
b)The angle between the line with slope 1 and 13 is divided in six equal angels of value tan-1(1/7)(there are boxes)
3)By PHP at least 3 lines must lie in same box. they will look like
We can form a triangle with their slopes.
4)It's trivial to see that slope of A + slope of C > slope of B
and slope of A + slope of B > slope of C
It remains to prove that slope of B + slope of C > slope of A
It will be sufficient to prove that
2tan(tan-1(n/7) ≥ tantan-1((n+1)/7) ,where n= {1,2,3,4,5}
which is very obvious.
So we have proved.