Let (an)n∈N be a sequence of real numbers such that 2(a1+a2+…+an)=nan+1∀n≥1.<spanclass=′latex−bold′>a)</span> Prove that the given sequence is an arithmetic progression.
<spanclass=′latex−bold′>b)</span> If ⌊a1⌋+⌊a2⌋+…+⌊an⌋=⌊a1+a2+…+an⌋∀n∈N, prove that every term of the sequence is an integer.