Note first that there is no calm representation with 2 terms: if either a1 or a2 is 1 or a1=a2=21, then the sum is greater than 2017. Otherwise, the sum is at most 21+31=65<2017, thus too small.
On the other hand, there is a representation with 3 terms, namely
2017=21+41+101,
showing that the smallest possible value of k is 3.
Now we show that there are infinitely many calm representations: take a1=5⋅24n+1 and consider the difference
2017−5⋅24n+11=5⋅24n+117⋅24n−1−1.
Since 24=16≡1mod5, the numerator is 17⋅24n−1−1≡17⋅8−1=135≡0mod5. Thus the factor 5 cancels, and we have
2017−5⋅24n+11=24n+1A
for some positive integer A<24n+1. Since A has a binary representation as A=2b1+2b2+⋯+2br with distinct nonnegative integers b1,b2,…,br, we get
2017=5⋅24n+11+24n+1−b11+24n+1−b21+⋯+24n+1−br1,
which is a calm representation for every n. This completes the proof.