请问台体体积公式应该如何推导?