二元可微的定义及理解