构造法证明柯西不等式文字转WAV音频