> $((x+1))が意図通りに展開される根拠は$((x))と$(($x))が等しいって書いてある一文しかない。
一つあれば十分じゃん。逆に展開されない根拠はないんだし

そもそも ${expression} と $((expression)) という記述があるんだから
expressionの中は同じ意味のはずだろう