这个是高中数学公式还是怎样?是变换出来的么?