台体公式如何推导