a[i]が、*(a+i)と等価なためでは?

1, 2 をまとめると、コンパイラを作るのが簡単になるからです。

　ホントのところは知りませんが、コンピューター寄りか人間寄りかの違いではないでしょうか？

　コンピューターのメモリは先頭が０になりますので、そのメモリを直接読み書きする配列の引数は０の方が、コンピューターにとって自然です。必然的にコンピューター言語へ変換するソフトであるコンパイラ等も先頭が０の方が混乱が少なくて済みます。

　一方、人間が数字を意識する時の先頭は普通１です。０は今でこそ当たり前の概念ですがその発明は画期的だったのです。
　そこで人間にわかりやすくしようとすると、配列の先頭は１の方が直感的に理解できます。「配列データの一つ目」と表現するとわかりやすいでしょうか。

　Ｃ言語は一応高級言語ではありますが、かなりコンピューター寄りな作りになっていて、それゆえに初心者プログラマにはとっつきにくい部分が多々あります。
　しかし、ある程度コンピューターの動作を理解しているプログラマにとっては、色々と融通の利くとても使いやすい言語でもあるのです。

　narupandaさんもコンピューターの動作のもっと深いところを理解すると、配列の先頭が０であることがとても自然なことに感じられるようになると思いますよ。

 2進数は 0,1 の 2通り
10進数は 0から9 の 10通り
16進数は 0からF の 16通り

「10通り」を配列やfor文等で表現する場合 0～9 にするもんだと
ずーっと思ってたから、なんにも違和感なくそういうもんだと
思ってました。

そのためか、自分の場合は、 1 から系の言語を使うと、やたら ( i - 1 ) っていう式を使ってしまいます。