推导一个算兀的公式并用程序验证
发布人