推导石块密度表达式