などと意味不明な供述をしております

何を言っているのかさっぱりわからんので、ちょっと認識を確認させてもらおうか
1.「sizeof a/sizeof a[0]」は定数式である yes/no
2.「sizeof a/sizeof a[0]」は配列のサイズ指定に使える yes/no
3.「int ar[sizeof a/sizeof a[0]];」の割り算はコンパイル時に行われる yes/no

俺の認識は全てyesだが、お前の認識は如何に?