RT，之前好像看到了一个贴可以两倍空间建树（并不是动态开点），大致是一个点的左右儿子是 $mid * 2,mid * 2 + 1$，其中 $mid$ 是这个点的区间的中点。

求证明 or 证伪