2.3.2 实例:符号求导