5. Зачем при поиске наибольшего элемента переменной m присваивают начальное значение a[0]?

Начальное значение m = a[0] задаёт текущий максимум одним из элементов массива. Затем остальные элементы сравниваются с ним, и при обнаружении большего значения переменная m обновляется. Так результатом будет именно наибольший элемент массива, в том числе если все его элементы отрицательны.