平均值定理 píngjūnzhídìnglǐ mean value theorem Definitions Defs Origin Strokes Stroke Words Sentences Sents