腾讯文库搜索-辅助角公式的推导