This is just subdivision of Bernstein polynomials. The unifying way of looking at this is via the blossom of the Bezier curve (Bernstein polynomial). You can derive all manner of shifts, change of basis transformations, and so on using the blossom. Subdivision is just a shift of the domain of definition of the original polynomial.