An Open Approach to Concurrent Theorem Proving
- 格式:pdf
- 大小:77.43 KB
- 文档页数:12
数学英语单词(总32页) -CAL-FENGHAI.-(YICAI)-Company One1-CAL-本页仅作为文档封面,使用请直接删除abbreviation 简写符号;简写absolute complement 绝对补集absolute error 绝对误差absolute inequality 绝不等式absolute maximum 绝对极大值absolute minimum 绝对极小值absolute monotonic 绝对单调absolute value 绝对值accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累积accumulative 累积的accuracy 准确度act on 施于action 作用; 作用力acute angle 锐角acute-angled triangle 锐角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(ofprobability) (概率)加法定律additive inverse 加法逆元; 加法反元additive property 可加性adjacent angle 邻角adjacent side 邻边adjoint matrix 伴随矩阵algebra 代数algebraic 代数的algebraic equation 代数方程algebraic expression 代数式algebraic fraction 代数分式;代数分数式algebraic inequality 代数不等式algebraic number 代数数algebraic operation 代数运算algebraically closed 代数封闭algorithm 算法系统; 规则系统alternate angle (交)错角alternate segment 内错弓形alternating series 交错级数alternative hypothesis 择一假设; 备择假设; 另一假设altitude 高;高度;顶垂线;高线ambiguous case 两义情况;二义情况amount 本利和;总数analysis 分析;解析analytic geometry 解析几何angle 角angle at the centre 圆心角angle at the circumference 圆周角angle between a line and aplane 直与平面的交角angle between two planes 两平面的交角angle bisection 角平分angle bisector 角平分线;分角线angle in the alternatesegment 交错弓形的圆周角angle in the same segment 同弓形内的圆周角angle of depression 俯角angle of elevation 仰角angle of friction 静摩擦角; 极限角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角;交角angle of projection 投射角angle of rotation 旋转角angle of the sector 扇形角angle sum of a triangle 三角形内角和angles at a point 同顶角angular displacement 角移位angular momentum 角动量angular motion 角运动angular velocity 角速度annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆时针方向;返时针方向anti-clockwise moment 逆时针力矩anti-derivative 反导数; 反微商anti-logarithm 逆对数;反对数anti-symmetric 反对称apex 顶点approach 接近;趋近approximate value 近似值approximation 近似;略计;逼近Arabic system 阿刺伯数字系统arbitrary 任意arbitrary constant 任意常数arc 弧arc length 弧长arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积Argand diagram 阿根图, 阿氏图argument (1)论证; (2)辐角argument of a complex number 复数的辐角argument of a function 函数的自变量arithmetic 算术arithmetic mean 算术平均;等差中顶;算术中顶arithmetic progression 算术级数;等差级数arithmetic sequence 等差序列arithmetic series 等差级数arm 边array 数组; 数组arrow 前号ascending order 递升序ascending powers of X X 的升幂assertion 断语; 断定associative law 结合律assumed mean 假定平均数assumption 假定;假设asymmetrical 非对称asymptote 渐近asymptotic error constant 渐近误差常数at rest 静止augmented matrix 增广矩阵auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 辅助方程average 平均;平均数;平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配对公理axiom of power 幂集公理axiom of specification 分类公理axiomatic theory ofprobability 概率公理论axis 轴axis of parabola 拋物线的轴axis of revolution 旋转轴axis of rotation 旋转轴axis of symmetry 对称轴back substitution 回代bar chart 棒形图;条线图;条形图;线条图base (1)底;(2)基;基数base angle 底角base area 底面base line 底线base number 底数;基数base of logarithm 对数的底basis 基Bayes´ theor em 贝叶斯定理bearing 方位(角);角方向(角)bell-shaped curve 钟形图belong to 属于Bernoulli distribution 伯努利分布Bernoulli trials 伯努利试验bias 偏差;偏倚biconditional 双修件式; 双修件句bijection 对射; 双射; 单满射bijective function 对射函数; 只射函数billion 十亿bimodal distribution 双峰分布binary number 二进数binary operation 二元运算binary scale 二进法binary system 二进制binomial 二项式binomial distribution 二项分布binomial expression 二项式binomial series 二项级数binomial theorem 二项式定理bisect 平分;等分bisection method 分半法;分半方法bisector 等分线;平分线Boolean algebra 布尔代数boundary condition 边界条件boundary line 界(线);边界bounded 有界的bounded above 有上界的;上有界的bounded below 有下界的;下有界的bounded function 有界函数bounded sequence 有界序列brace 大括号bracket 括号breadth 阔度broken line graph 折线图calculation 计算calculator 计算器;计算器calculus (1) 微积分学; (2) 演算cancel 消法;相消canellation law 消去律canonical 典型; 标准capacity 容量cardioid 心脏Cartesian coordinates 笛卡儿坐标Cartesian equation 笛卡儿方程Cartesian plane 笛卡儿平面Cartesian product 笛卡儿积category 类型;范畴catenary 悬链Cauchy sequence 柯西序列Cauchy´s principal value柯西主值Cauchy-Schwarz inequality 柯西- 许瓦尔兹不等式central limit theorem 中心极限定理central line 中线central tendency 集中趋centre 中心;心centre of a circle 圆心centre of gravity 重心centre of mass 质量中心centrifugal force 离心力centripedal acceleration 向心加速度centripedal force force 向心力centroid 形心;距心certain event 必然事件chain rule 链式法则chance 机会change of axes 坐标轴的变换change of base 基的变换change of coordinates 坐标轴的变换change of subject 主项变换change of variable 换元;变量的换characteristic equation 特征(征)方程characteristic function 特征(征)函数characteristic of logarithm 对数的首数; 对数的定位部characteristic root 特征(征)根chart 图;图表check digit 检验数位checking 验算chord 弦chord of contact 切点弦circle 圆circular 圆形;圆的circular function 圆函数;三角函数circular measure 弧度法circular motion 圆周运动circular permutation 环形排列; 圆形排列; 循环排列circumcentre 外心;外接圆心circumcircle 外接圆circumference 圆周circumradius 外接圆半径circumscribed circle 外接圆cissoid 蔓叶class 区;组;类class boundary 组界class interval 组区间;组距class limit 组限;区限class mark 组中点;区中点classical theory ofprobability 古典概率论classification 分类clnometer 测斜仪clockwise direction 顺时针方向clockwise moment 顺时针力矩closed convex region 闭凸区域closed interval 闭区间coaxial 共轴coaxial circles 共轴圆coaxial system 共轴系coded data 编码数据coding method 编码法co-domain 上域coefficient 系数coefficient of friction 摩擦系数coefficient of restitution 碰撞系数; 恢复系数coefficient of variation 变差系数cofactor 余因子; 余因式cofactor matrix 列矩阵coincide 迭合;重合collection of terms 并项collinear 共线collinear planes 共线面collision 碰撞column (1)列;纵行;(2) 柱column matrix 列矩阵column vector 列向量combination 组合common chord 公弦common denominator 同分母;公分母common difference 公差common divisor 公约数;公约common factor 公因子;公因子common logarithm 常用对数common multiple 公位数;公倍common ratio 公比common tangent 公切commutative law 交换律comparable 可比较的compass 罗盘compass bearing 罗盘方位角compasses 圆规compasses construction 圆规作图compatible 可相容的complement 余;补余complement law 补余律complementary angle 余角complementary equation 补充方程complementary event 互补事件complementary function 余函数complementary probability 互补概率complete oscillation 全振动completing the square 配方complex conjugate 复共轭complex number 复数complex unmber plane 复数平面complex root 复数根component 分量component of force 分力composite function 复合函数; 合成函数composite number 复合数;合成数composition of mappings 映射构合composition of relations 复合关系compound angle 复角compound angle formula 复角公式compound bar chart 综合棒形图compound discount 复折扣compound interest 复利;复利息compound probability 合成概率compound statement 复合命题; 复合叙述computation 计算computer 计算机;电子计算器concave 凹concave downward 凹向下的concave polygon 凹多边形concave upward 凹向上的concentric circles 同心圆concept 概念conclusion 结论concurrent 共点concyclic 共圆concyclic points 共圆点condition 条件conditional 条件句;条件式conditional identity 条件恒等式conditional inequality 条件不等式conditional probability 条件概率cone 锥;圆锥(体)confidence coefficient 置信系数confidence interval 置信区间confidence level 置信水平confidence limit 置信极限confocal section 共焦圆锥曲congruence (1)全等;(2)同余congruence class 同余类congruent 全等congruent figures 全等图形congruent triangles 全等三角形conic 二次曲; 圆锥曲conic section 二次曲; 圆锥曲conical pendulum 圆锥摆conjecture 猜想conjugate 共轭conjugate axis 共轭conjugate diameters 共轭轴conjugate hyperbola 共轭(直)径conjugate imaginary / complex number 共轭双曲conjugate radical 共轭虚/复数conjugate surd 共轭根式; 共轭不尽根conjunction 合取connective 连词connector box 捙接框consecutive integers 连续整数consecutive numbers 连续数;相邻数consequence 结论;推论consequent 条件;后项conservation of energy 能量守恒conservation of momentum 动量守恒conserved 守恒consistency condition 相容条件consistent 一贯的;相容的consistent estimator 相容估计量constant 常数constant acceleration 恒加速度constant force 恒力constant of integration 积分常数constant speed 恒速率constant term 常项constant velocity 怛速度constraint 约束;约束条件construct 作construction 作图construction of equation 方程的设立continued proportion 连比例continued ratio 连比continuity 连续性continuity correction 连续校正continuous 连续的continuous data 连续数据continuous function 连续函数continuous proportion 连续比例continuous random variable 连续随机变量contradiction 矛盾converge 收敛convergence 收敛性convergent 收敛的convergent iteration 收敛的迭代convergent sequence 收敛序列convergent series 收敛级数converse 逆(定理)converse of a relation 逆关系converse theorem 逆定理conversion 转换convex 凸convex polygon 凸多边形convexity 凸性coordinate 坐标coordinate geometry 解析几何;坐标几何coordinate system 坐标系系定理;系;推论coplanar 共面coplanar forces 共面力coplanar lines 共面co-prime 互质; 互素corollary 系定理; 系; 推论correct to 准确至;取值至correlation 相关correlation coefficient 相关系数correspondence 对应corresponding angles (1)同位角;(2)对应角corresponding element 对应边corresponding sides 对应边cosecant 余割cosine 余弦cosine formula 余弦公式cost price 成本cotangent 余切countable 可数countable set 可数集countably infinite 可数无限counter clockwise direction 逆时针方向;返时针方向counter example 反例counting 数数;计数couple 力偶Carmer´s rule克莱玛法则criterion 准则critical point 临界点critical region 临界域cirtical value 临界值cross-multiplication 交叉相乘cross-section 横切面;横截面;截痕cube 正方体;立方;立方体cube root 立方根cubic 三次方;立方;三次(的) cubic equation 三次方程cubic roots of unity 单位的立方根cuboid 长方体;矩体cumulative 累积的cumulative distributionfunction 累积分布函数cumulative frequecy 累积频数;累积频率cumulative frequency curve 累积频数曲cumulative frequcncydistribution 累积频数分布cumulative frequency polygon 累积频数多边形;累积频率直方图curvature of a curve 曲线的曲率curve 曲线curve sketching 曲线描绘(法) curve tracing 曲线描迹(法) curved line 曲线curved surface 曲面curved surface area 曲面面积cyclic expression 输换式cyclic permutation 圆形排列cyclic quadrilateral 圆内接四边形cycloid 旋输线; 摆线cylinder 柱;圆柱体cylindrical 圆柱形的damped oscillation 阻尼振动data 数据De Moivre´s theorem棣美弗定理De Morgan´s law德摩根律decagon 十边形decay 衰变decay factor 衰变因子decelerate 减速decelaration 减速度decile 十分位数decimal 小数decimal place 小数位decimal point 小数点decimal system 十进制decision box 判定框declarative sentence 说明语句declarative statement 说明命题decoding 译码decrease 递减decreasing function 递减函数;下降函数decreasing sequence 递减序列;下降序列decreasing series 递减级数;下降级数decrement 减量deduce 演绎deduction 推论deductive reasoning 演绎推理definite 确定的;定的definite integral 定积分definition 定义degenerated conic section 降级锥曲线degree (1) 度; (2) 次degree of a polynomial 多项式的次数degree of accuracy 准确度degree of confidence 置信度degree of freedom 自由度degree of ODE 常微分方程次数degree of precision 精确度delete 删除; 删去denary number 十进数denominator 分母dependence (1)相关; (2)应变dependent event(s) 相关事件; 相依事件; 从属事件dependent variable 应变量; 应变数depreciation 折旧derivable 可导derivative 导数derived curve 导函数曲线derived function 导函数derived statistics 推算统计资料; 派生统计资料descending order 递降序descending powers of x x的降序descriptive statistics 描述统计学detached coefficients 分离系数(法)determinant 行列式deviation 偏差; 变差deviation from the mean 离均差diagonal 对角线diagonal matrix 对角矩阵diagram 图; 图表diameter 直径diameter of a conic 二次曲线的直径difference 差difference equation 差分方程difference of sets 差集differentiable 可微differential 微分differential coefficient 微商;微分系数differential equation 微分方程differential mean valuetheorem 微分中值定理differentiate 求...的导数differentiate from firstprinciple 从基本原理求导数differentiation 微分法digit 数字dimension 量; 量网; 维(数)direct impact 直接碰撞direct image 直接像direct proportion 正比例direct tax, direct taxation 直接税direct variation 正变(分) directed angle 有向角directed line 有向直线directed line segment 有向线段directed number 有向数direction 方向; 方位direction angle 方向角direction cosine 方向余弦direction number 方向数direction ratio 方向比directrix 准线Dirichlet function 狄利克来函数discontinuity 不连续性discontinuous 间断(的);连续(的); 不连续(的)discontinuous point 不连续点discount 折扣discrete 分立; 离散discrete data 离散数据; 间断数据discrete random variable 间断随机变数discrete uniformdistribution 离散均匀分布discriminant 判别式disjoint 不相交的disjoint sets 不相交的集disjunction 析取dispersion 离差displacement 位移disprove 反证distance 距离distance formula 距离公式distinct roots 相异根distincr solution 相异解distribution 公布distributive law 分配律diverge 发散divergence 发散(性)divergent 发散的divergent iteration 发散性迭代divergent sequence 发散序列divergent series 发散级数divide 除dividend (1)被除数;(2)股息divisible 可整除division 除法division algorithm 除法算式divisor 除数;除式;因子divisor of zero 零因子dodecagon 十二边形domain 定义域dot 点dot product 点积double angle 二倍角double angle formula 二倍角公式double root 二重根dual 对偶duality (1)对偶性; (2) 双重性due east/ south/ west /north 向东/ 南/ 西/ 北dynamics 动力学eccentric angle 离心角eccentric circles 离心圆eccentricity 离心率echelon form 梯阵式echelon matrix 梯矩阵edge 棱;边efficient estimator 有效估计量effort 施力eigenvalue 本征值eigenvector 本征向量elastic body 弹性体elastic collision 弹性碰撞elastic constant 弹性常数elastic force 弹力elasticity 弹性element 元素elementary event 基本事件elementary function 初等函数elementary row operation 基本行运算elimination 消法elimination method 消去法;消元法ellipse 椭圆ellipsiod 椭球体elliptic function 椭圆函数elongation 伸张;展empirical data 实验数据empirical formula 实验公式empirical probability 实验概率;经验概率empty set 空集encoding 编码enclosure 界限end point 端点energy 能; 能量entire surd 整方根epicycloid 外摆线equal 相等equal ratios theorem 等比定理equal roots 等根equal sets 等集equality 等(式)equality sign 等号equation 方程equation in one unknown 一元方程equation in two unknowns (variables) 二元方程equation of a straight line 直线方程equation of locus 轨迹方程equiangular 等角(的) equidistant 等距(的) equilateral 等边(的) equilateral polygon 等边多边形equilateral triangle 等边三角形equilibrium 平衡equiprobable 等概率的equiprobable space 等概率空间equivalence 等价equivalence class 等价类equivalence relation 等价关系equivalent 等价(的)error 误差error allowance 误差宽容度error estimate 误差估计error term 误差项error tolerance 误差宽容度escribed circle 旁切圆estimate 估计;估计量estimator 估计量Euclidean algorithm 欧几里德算法Euclidean geometry 欧几里德几何Euler´s formula尤拉公式;欧拉公式evaluate 计值even function 偶函数even number 偶数evenly distributed 均匀分布的event 事件exact 真确exact differential form 恰当微分形式exact solution 准确解;精确解;真确解exact value 法确解;精确解;真确解example 例excentre 外心exception 例外excess 起exclusive 不包含exclusive disjunction 不包含性析取exclusive events 互斥事件exercise 练习exhaustive event(s) 彻底事件existential quantifier 存在量词expand 展开expand form 展开式expansion 展式expectation 期望expectation value, expected value 期望值;预期值experiment 实验;试验experimental 试验的experimental probability 实验概率explicit function 显函数exponent 指数exponential function 指数函数exponential order 指数阶; 指数级express…in terms of…以………表达expression 式;数式extension 外延;延长;扩张;扩充extension of a function 函数的扩张exterior angle 外角external angle bisector 外分角external point of division 外分点extreme point 极值点extreme value 极值extremum 极值face 面factor 因子;因式;商factor method 因式分解法factor theorem 因子定理;因式定理factorial 阶乘factorization 因子分解;因式分解factorization of polynomial 多项式因式分解fallacy 谬误FALSE 假(的)falsehood 假值family 族family of circles 圆族family of concentric circles 同心圆族family of straight lines 直线族feasible solution 可行解;容许解Fermat´s last theorem费尔马最后定理Fibonacci number 斐波那契数;黄金分割数Fibonacci sequence 斐波那契序列fictitious mean 假定平均数figure (1)图(形);(2)数字final velocity 末速度finite 有限finite dimensional vector space 有限维向量空间finite population 有限总体finite probability space 有限概率空间finite sequence 有限序列finite series 有限级数finite set 有限集first approximation 首近似值first derivative 一阶导数first order differential equation 一阶微分方程first projection 第一投影; 第一射影first quartile 第一四分位数first term 首项fixed deposit 定期存款fixed point 定点fixed point iteration method 定点迭代法fixed pulley 定滑轮flow chart 流程图focal axis 焦轴focal chord 焦弦focal length 焦距focus(foci) 焦点folium of Descartes 笛卡儿叶形线foot of perpendicular 垂足for all X 对所有Xfor each /every X 对每一X force 力forced oscillation 受迫振动form 形式;型formal proof 形式化的证明format 格式;规格formula(formulae) 公式four leaved rose curve 四瓣玫瑰线four rules 四则four-figure table 四位数表fourth root 四次方根fraction 分数;分式fraction in lowest term 最简分数fractional equation 分式方程fractional index 分数指数fractional inequality 分式不等式free fall 自由下坠free vector 自由向量; 自由矢量frequency 频数;频率frequency distribution 频数分布;频率分布frequency distribution table 频数分布表frequency polygon 频数多边形;频率多边形friction 摩擦; 摩擦力frictionless motion 无摩擦运动frustum 平截头体fulcrum 支点function 函数function of function 复合函数;迭函数functional notation 函数记号fundamental theorem ofalgebra 代数基本定理fundamental theorem ofcalculus 微积分基本定理gain 增益;赚;盈利gain perent 赚率;增益率;盈利百分率game (1)对策;(2)博奕Gaussian distribution 高斯分布Gaussian elimination 高斯消去法general form 一般式;通式general solution 通解;一般解general term 通项generating function 母函数; 生成函数generator (1)母线; (2)生成元geoborad 几何板geometric distribution 几何分布geometric mean 几何平均数;等比中项geometric progression 几何级数;等比级数geometric sequence 等比序列geometric series 等比级数geometry 几何;几何学given 给定;已知global 全局; 整体global maximum 全局极大值; 整体极大值global minimum 全局极小值; 整体极小值golden section 黄金分割grade 等级gradient (1)斜率;倾斜率;(2)梯度grand total 总计graph 图像;图形;图表graph paper 图表纸graphical method 图解法graphical representation 图示;以图样表达graphical solution 图解gravitational acceleration 重力加速度gravity 重力greatest term 最大项greatest value 最大值grid lines 网网格线group 组;grouped data 分组数据;分类数据grouping terms 并项;集项growth 增长growth factor 增长因子half angle 半角half angle formula 半角公式half closed interval 半闭区间half open interval 半开区间harmonic mean (1) 调和平均数;(2) 调和中项harmonic progression 调和级数head 正面(钱币)height 高(度)helix 螺旋线hemisphere 半球体;半球heptagon 七边形Heron´s formula希罗公式heterogeneous (1)参差的; (2)不纯一的hexagon 六边形higher order derivative 高阶导数最大公因子;最高公因式;最高公因子Hindu-Arabic numeral 阿刺伯数字histogram 组织图;直方图;矩形图Holder´s Inequality赫耳德不等式homogeneous 齐次的homogeneous equation 齐次方程Hooke´s law虎克定律horizontal 水平的;水平horizontal asymptote 水平渐近线horizontal component 水平分量horizontal line 横线;水平线horizontal range 水平射程hyperbola 双曲线hyperbolic function 双曲函数hypergeometric distribution 超几何分布hypocycloid 内摆线hypotenuse 斜边hypothesis 假设hypothesis testing 假设检验hypothetical syllogism 假设三段论hypotrochoid 次内摆线idempotent 全幂等的identical 全等;恒等identity 等(式)identity element 单位元identity law 同一律identity mapping 恒等映射identity matrix 恒等矩阵identity relation 恒等关系式if and only if/iff 当且仅当;若且仅若if…, th en 若….则;如果…..则illustration 例证;说明image 像点;像image axis 虚轴imaginary circle 虚圆imaginary number 虚数imaginary part 虚部imaginary root 虚根imaginary unit 虚数单位impact 碰撞implication 蕴涵式;蕴含式implicit definition 隐定义implicit function 隐函数imply 蕴涵;蕴含impossible event 不可能事件improper fraction 假分数improper integral 广义积分; 非正常积分impulse 冲量impulsive force 冲力incentre 内力incircle 内切圆inclination 倾角;斜角inclined plane 斜面included angle 夹角included side 夹边inclusion mapping 包含映射inclusive 包含的;可兼的inclusive disjunction 包含性析取;可兼析取inconsistent 不相的(的);不一致(的)increase 递增;增加increasing function 递增函数increasing sequence 递增序列increasing series 递增级数increment 增量indefinite integral 不定积分idenfinite integration 不定积分法independence 独立;自变independent equations 独立方程independent event 独立事件independent variable 自变量;独立变量indeterminate (1)不定的;(2)不定元;未定元indeterminate coefficient 不定系数;未定系数indeterminate form 待定型;不定型index,indices 指数;指index notation 指数记数法induced operation 诱导运算induction hypothesis 归纳法假设inelastic collision 非弹性碰撞inequality 不等式;不等inequality sign 不等号inertia 惯性;惯量infer 推断inference 推论infinite 无限;无穷infinite dimensional 无限维infinite population 无限总体infinite sequence 无限序列;无穷序列infinite series 无限级数;无穷级数infinitely many 无穷多infinitesimal 无限小;无穷小infinity 无限(大);无穷(大) inflection (inflexion) point 拐点;转折点inherent error 固有误差initial approximation 初始近似值initial condition 原始条件;初值条件initial point 始点;起点initial side 始边initial value 初值;始值initial velocity 初速度initial-value problem 初值问题injection 内射injective function 内射函数inner product 内积input 输入input box 输入inscribed circle 内切圆insertion 插入insertion of brackets 加括号instantaneous 瞬时的instantaneous acceleration 瞬时加速度instantaneous speed 瞬时速率instantaneous velocity 瞬时速度integer 整数integrable 可积integrable function 可积函数integral 积分integral index 整数指数integral mean value theorem 积数指数integral part 整数部份integral solution 整数解integral value 整数值integrand 被积函数integrate 积;积分;......的积分integrating factor 积分因子integration 积分法integration by parts 分部积分法integration by substitution 代换积分法;换元积分法integration constant 积分常数interaction 相互作用intercept 截距;截段intercept form 截距式intercept theorem 截线定理interchange 互换interest 利息interest rate 利率interest tax 利息税interior angle 内角interior angles on the same side of the transversal 同旁内角interior opposite angle 内对角intermediate value theorem 介值定理internal bisector 内分角internal division 内分割internal energy 内能internal force 内力internal point of division 内分点interpolating polynomial 插值多项式interpolation 插值inter-quartile range 四分位数间距intersect 相交intersection (1)交集;(2)相交;(3)交点interval 区间interval estimation 区间估计;区域估计intuition 直观invalid 失效;无效invariance 不变性invariant (1)不变的;(2)不变量;不变式inverse 反的;逆的inverse circular function 反三角函数inverse cosine function 反余弦函数inverse function 反函数;逆函数inverse cosine function 反三角函数inverse function 反函数;逆映射inverse mapping 反向映射;逆映射inverse matrix 逆矩阵inverse problem 逆算问题inverse proportion 反比例;逆比例inverse relation 逆关系inverse sine function 反正弦函数inverse tangent function 反正切函数inverse variation 反变(分);逆变(分)invertible 可逆的invertible matrix 可逆矩阵irrational equation 无理方程irrational number 无理数irreducibility 不可约性irregular 不规则isomorphism 同构isosceles triangle 等腰三角形iterate (1)迭代值; (2)迭代iteration 迭代iteration form 迭代形iterative function 迭代函数iterative method 迭代法jet propulsion 喷气推进joint variation 联变(分);连变(分)kinetic energy 动能kinetic friction 动摩擦known 己知末项L´Hospital´s rule洛必达法则Lagrange interpolating polynomial 拉格朗日插值多项代Lagrange theorem 拉格朗日定理Lami´s law拉密定律Laplace expansion 拉普拉斯展式last term 末项latent root 本征根; 首通径lattice point 格点latus rectum 正焦弦; 首通径law 律;定律law of conservation of momentum 动量守恒定律law of indices 指数律;指数定律law of inference 推论律law of trichotomy 三分律leading coefficient 首项系数leading diagonal 主对角线最小公倍数;最低公倍式least value 最小值left hand limit 左方极限lemma 引理lemniscate 双纽线length 长(度)letter 文字;字母like surd 同类根式like terms 同类项limacon 蜗牛线limit 极限limit of sequence 序列的极限limiting case 极限情况limiting friction 最大静摩擦limiting position 极限位置line 线;行line of action 作用力线line of best-fit 最佳拟合line of greatest slope 最大斜率的直;最大斜率line of intersection 交线line segment 线段linear 线性;一次linear convergence 线性收敛性linear differeantialequation 线性微分方程linear equation 线性方程;一次方程linear equation in two unknowns 二元一次方程;二元线性方程linear inequality 一次不等式;线性不等式linear momentum 线动量linear programming 线性规划linearly dependent 线性相关的linearly independent 线性无关的literal coefficient 文字系数literal equation 文字方程load 负荷loaded coin 不公正钱币loaded die 不公正骰子local maximum 局部极大(值) local minimum 局部极小(值) locus, loci 轨迹logarithm 对数logarithmic equation 对数方程logarithmic function 对数函数logic 逻辑logical deduction 逻辑推论;逻辑推理logical step 逻辑步骤long division method 长除法loop 回路loss 赔本;亏蚀loss per cent 赔率;亏蚀百分率lower bound 下界lower limit 下限lower quartile 下四分位数lower sum 下和lower triangular matrix 下三角形矩阵最小公倍数machine 机械Maclaurin expansion 麦克劳林展开式Maclaurin series 麦克劳林级数magnitude 量;数量;长度;大小major arc 优弧;大弧major axis 长轴major sector 优扇形;大扇形major segment 优弓形;大弓形mantissa 尾数mantissa of logarithm 对数的尾数;对数的定值部many to one 多个对一个many-sided figure 多边形many-valued 多值的map into 映入map onto 映上mapping 映射marked price 标价Markov chain 马可夫链mass 质量mathematical analysis 数学分析mathematical induction 数学归纳法mathematical sentence 数句mathematics 数学matrix 阵; 矩阵matrix addition 矩阵加法matrix equation 矩阵方程matrix multiplication 矩阵乘法matrix operation 矩阵运算maximize 极大maximum absolute error 最大绝对误差maximum point 极大点maximum value 极大值mean 平均(值);平均数;中数mean deviation 中均差;平均偏差mean value theorem 中值定理measure of dispersion 离差的量度measurement 量度mechanical energy 机械能median (1)中位数;(2)中线meet 相交;相遇mensuration 计量;求积法method 方法method of completing square 配方法method of interpolation 插值法; 内插法method of least squares 最小二乘法; 最小平方法method of substitution 代换法;换元法method of successivesubstitution 逐次代换法; 逐次调替法method of superposition 迭合法metric unit 十进制单位mid-point 中点mid-point formula 中点公式mid-point theorem 中点定理million 百万minimize 极小minimum point 极小点minimum value 极小值Minkowski Inequality 闵可夫斯基不等式minor (1)子行列式;(2)劣;较小的minor arc 劣弧;小弧minor axis 短轴minor of a determinant 子行列式minor sector 劣扇形;小扇形minor segment 劣弓形;小弓形minus 减minute 分mixed number(fraction) 带分数modal class 众数组mode 众数model 模型modulo (1)模; 模数; (2)同余modulo arithmetic 同余算术modulus 模; 模数modulus of a complex number 复数的模modulus of elasticity 弹性模(数) moment arm (1)矩臂; (2)力臂moment of a force 力矩moment of inertia 贯性矩momentum 动量monomial 单项式monotone 单调monotonic convergence 单调收敛性monotonic decreasing 单调递减monotonic decreasingfunction 单调递减函数monotonic function 单调函数monotonic increasing 单调递增monotonic increasingfunction 单调递增函数motion 运动movable pulley 动滑轮multinomial 多项式multiple 倍数multiple angle 倍角multiple-angle formula 倍角公式multiple root 多重根multiplicand 被乘数multiplication 乘法multiplication law (of probability) (概率)乘法定律multiplicative inverse 乘法逆元multiplicative property 可乘性multiplicity 重数multiplier 乘数;乘式multiply 乘multi-value 多值的mulually disjoint 互不相交mutually exclusive events 互斥事件mutually independent 独立; 互相独立mutually perpendicular lines 互相垂直n factorial n阶乘n th derivative n阶导数n th root n次根;n次方根n the root of unity 单位的n次根Napierian logarithm 纳皮尔对数; 自然对数natural logarithm 自然对数natural number 自然数natural surjection 自然满射necessary and sufficient condition 充要条件necessary condition 必要条件negation 否定式negative 负negative angle 负角negative binomialdistribution 负二项式分布negative index 负指数negative integer 负整数negative number 负数negative vector 负向量; 负矢量neighborhood 邻域net 净(值)net force 净力Newton-Cote´s rule牛顿 - 高斯法则Newton-Raphson´s method牛顿 - 纳逊方法Newton´s formula牛顿公式Newton´s law of motion牛顿运动定律Newton´s method牛顿方法n-gon n边形nonagon 九边形non-collinear 不共线non-commutative 非交换的non-linear 非线性non-linear equation 非线性方程non-negative 非负的non-reflexive 非自反的non-singular (1)满秩的; (2)非奇异的non-singular matrix 满秩矩阵non-transitive 非可递的non-trivial 非平凡的non-zero 非零norm 模方; 范数normal (1)垂直的;正交的;法线的 (2)正态的 (3)正常的;正规的normal curve 正态分布曲;常庇分布曲;正规曲;正庇曲normal distribution 正态分布,常态分布normal form 法线式normal reaction 反向法作用力normal to curve 曲线的法线normal vector 法向量normalize 正规化normalized form 标准型notation 记法;记号null 零; 空null hypothesis 零假设; 虚假设null set 空集null vector 零向量number 数number line 数线number pair 数偶number pattern 数型number plane 数平面number system 数系。
SLA 期末考试提纲Week 9Chapter 1 Introducing Second Language AcquisitionChapter 2 Foundations of Second Language AcquisitionPART ONE: Definition:1.Second Language Acquisition (SLA): a term that refers both to the study of individuals and groups who are learning a language subsequent to learning their first one as young children, and to the process of learning that language.2.Formal L2 learning: instructed learning that takes place in classrooms.rmal L2 learning: SLA that takes place in naturalistic contexts.4.First language/native language/mother tongue (L1): A language that is acquired naturally in early childhood, usually because it is the primary language of a child’s family. A child who grows up in a multilingual setting may have more than one “first” language.5.Second language (L2): In its general sense, this term refers to any language that is acquired after the first language has been established. In its specific sense, this term typically refers to an additional language which is learned within a context where it is societally dominant and needed for education, employment, and other basic purposes. The more specific sense contrasts with foreign language, library language, auxiliary (帮助的,辅助的) language, and language for specific purposes.6.Target language: The language that is the aim or goal of learning.7.Foreign language: A second language that is not widely used in the learners’ immediate social context, but rather one that might be used for future travel or other cross-cultural communication situations, or one that might be studied as a curricular requirement or elective in school with no immediate or necessary practical application.8.Library language: A second language that functions as a tool for further learning, especially when books and journals in a desired field of study are not commonly published in the learner’s L1.9.Auxiliary language: A second language that learners need to know for some official functions in their immediate sociopolitical setting. Or that they will need for purposes of wider communication, although their first language serves most other needs in their lives.10.Linguistic competence: The underlying knowledge that speakers/hearers have of a language. Chomsky distinguishes this from linguistic performance.11.Linguistic performance: The use of language knowledge in actual production.municative competence: A basic tenet (原则、信条、教条) of sociolinguistics defined as “what a speaker needs to know to communicate appropriately within a particular language community” (Saville-Troike 2003)13.Pragmatic competence: Knowledge that people must have in order to interpret and convey meaning within communicative situations.14.Multilingualism: The ability to use more than one language.15.Monolingualism: The ability to use only one language.16.Simultaneous multilingualism: Ability to use more than one language that were acquired during early childhood.17.Sequential multilingualism: Ability to use one or more languages that were learned after L1 had already been established.18.Innate capacity: A natural ability, usually referring to children’s natural ability to learn or acquire language.19.Child grammar: Grammar of children at different maturational levels that is systematic in terms of production and comprehension.20.Initial state: The starting point for language acquisition; it is thought to include the underlying knowledge about language structures and principles that are in learners’ heads at the very start of L1 or L2 acquisition.21.Intermediate state: It includes the maturational changes which take place in “child grammar”, and the L2 developmental sequence which is known as learner language.22.Final state: The outcome of L1 and L2 leaning, also known as the stable state of adult grammar.23.Positive transfer: Appropriate incorporation of an L1 structure or rule in L2 structure.24.Negative transfer: Inappropriate influence of an L1 structure or rule on L2 use. Also called interference.25.Poverty-of-the-stimulus: The argument that because language input to children is impoverished and they still acquire L1, there must be an innate capacity for L1 acquisition.26.Structuralism: The dominant linguistic model of the 1950s, which emphasized the description of different levels of production in speech.27.Phonology: The sound systems of different languages and the study of such systems generally.28.Syntax: The linguistic system of grammatical relationships of words within sentences, such as ordering and agreement.29.Semantics: The linguistic study of meaning.30.Lexicon: The component of language that is concerned with words and their meanings.31.Behaviorism: The most influential cognitive framework applied to language learning in the 1950s. It claims that learning is the result of habit formation.32.Audiolingual method: An approach to language teaching that emphasizes repetition and habit formation. This approach was widely practiced in much of the world until at least the 1980s.33.Transformational-Generative Grammar: The first linguistic framework with an internal focus, which revolutionized linguistic theory and had profound effect on both the study of first and second languages. Chomsky arguedeffectively that the behaviorist theory of language acquisition is wrong because it cannot explain the creative aspects of linguistic ability. Instead, humans must have some innate capacity for language.34.Principles and Parameters (model): The internally focused linguistic framework that followed Chomsky’s Transformational-Generative Grammar. It revised specifications of what constitutes innate capacity to include more abstract notions of general principles and constraints common to human language as part of a Universal Grammar.35.Minimalist program: The internally focused linguistic framework that followed Chomsky’s Principles and Parameters model.This framework adds distinctions between lexical and functional category development, as well as more emphasis on the acquisition of feature specification as a part of lexical knowledge.36.Functionalism: A linguistic framework with an external focus that dates back to the early twentieth century and has its roots in the Prague School (布拉格学派) of Eastern Europe. It emphasizes the information content of utterances and considers language primarily as a system of communication. Functionalist approaches have largely dominated European study of SLA and are widely followed elsewhere in the world.37.Neurolinguistics: The study of the location and representation of language in the brain, of interest to biologists and psychologists since the nineteenth century and one of the first fields to influence cognitive perspectives on SLA when systematic study began in 1960s.38.Critical period: The limited number of years during which normal L1 acquisition is possible.39.Critical Period Hypothesis: The claim that children have only a limited number of years during which they can acquire their L1 flawlessly; if they suffered brain damage to the language areas, brain plasticity in childhood would allow other areas of the brain to take over the language functions of the damaged areas, but beyond a certain age, normal language development would not be possible. This concept is commonly extended to SLA as well, in the claim that only children are likely to achieve native or near-native proficiency in L2.rmation processing (IP): A cognitive framework which assumes that SLA (like learning of other complex domains) proceeds from controlled to automatic processing and involves progressive reorganization of knowledge.41.Connectionism: A cognitive framework for explaining learning processes, beginning in the 1980s and becoming increasingly influential. It assumes that SLA results from increasing strength of associations between stimuli and responses.42.Variation theory: A microsocial framework applied to SLA that explores systematic differences in learner production which depend on contexts of use.43.Accommodation theory: A framework for study of SLA that is based on the notion that speakers usually unconsciously change their pronunciation and even the grammatical complexity of sentences they use to sound more like whomever they are talking to.44.Sociocultural theory (SCT): An approach established by Vygotsky which claims that interaction not only facilitates language learning but is a causative force in acquisition. Further, all of learning is seen as essentially a social process which is grounded in sociocultural settings.45.Ethnography(人种论、民族志) of communication: A framework for analysis of language and its functions that was established by Hymes(1966). It relates language use to broader social and cultural contexts, and applies ethnographic methods of data collection and interpretation to study of language acquisition and use.46.Acculturation(文化适应): Learning the culture of the L2 community and adapting to those values and behavior patterns.47.Acculturation Model/Theory: Schumann’s (1978) theory that identifies group factors such as identity and status which determine social and psychological distance between learner and target language populations. He claims these influence outcomes of SLA.48.Social psychology: A societal approach in research and theory that allows exploration of issues such as how identity, status, and values influence L2 outcomes and why. It has disciplinary ties to both psychological and social perspectives. PART TWO: Short & Long answers:Chapter 11.What are the similarities and differences between linguists, psycholinguist, sociolinguists and social psycholinguists? P3(1)Linguists emphasize the characteristics of the differences and similarities in the languages that are being learned, and thelinguistic competence (underlying knowledge) and linguistic performance (actual production) of learners at various stages of acquisition.(2)Psychologists emphasize the mental or cognitive processes involved in acquisition, and the representation of languages in the brain.(3)Sociolinguists emphasize variability in learner linguistic performance, and extend the scope of study to communicative competence(underlying knowledge that additionally accounts for language use, or pragmatic competence).(4)Social psychologists emphasize group-related phenomena, such as identity and social motivation, and the interactional and larger social contexts of learning.2.What are the differences between second language, foreign language, library language and auxiliary language? P4(1)A second language is typically an official or societally dominant language needed for education, employment, and other basic purposes. It is often acquired by minority group members or immigrants who speak another language natively. In this more restricted sense, the term is contrasted with other terms in this list.(2)A foreign language is one not widely used in the learners' immediate social context which might be used for future travel or other cross-cultural communication situations, or studied as a curricular requirement or elective in school, but with no immediate or necessary practical application.(3)A library language is one which functions primarily as a tool for future learning through reading, especially when books or journals in a desired field of study are not commonly published in the learners' native tongue.(4)An auxiliary language is one which learners need to know for some official functions in their immediate political setting, or will need for purposes of wider communication, although their first language serves most other needs in their lives.3.Why are some learners more (or less) successful than other? P5The intriguing question of why some L2 learners are more successful than others requires us to unpack the broad label “learners” for some dimensions of discussion. Linguistics may distinguish categories of learners defined by the identity and relationship of their L1 and L2; psycholinguists may make distinctions based on individual aptitude for L2 learning, personality factors, types and strength of motivation, and different learning strategies; sociolinguists may distinguish among learners with regard to social, economic, and political differences and learner experiences in negotiated interaction; and social psychologists may categorize learners according to aspects of their group identity and attitudes toward targetlanguage speakers or toward L2 learning itself.Chapter21.List at least five possible motivations for learning a second language at an older age. P10The motivation may arise from a variety of conditions, including the following:Invasion or conquest of one’s country by speakers of another language;A need or desire to contact speakers of other languages ineconomic or other specific domains;Immigration to a country where use of a language other than one's L1 is required;Adoption of religious beliefs and practices which involve use of another language;A need or desire to pursue educational experienceswhere access requires proficiency in another language;A desire for occupational or social advancement whichis furthered by knowledge of another language;An interest in knowing more about peoples of other cultures and having access to their technologies or literatures.2.What are the two main factors that influence the language learning? P13(1)The role of natural ability: Humans are born with a natural ability or innate capacity to learn language.(2)The role of social experience: Not all of L1 acquisition can be attributed to innate ability, for language-specific learning also plays a crucial role. Even if the universal properties of language are preprogrammed in children, they must learn all of those features which distinguish their L1 from all other possible human languages. Children will never acquire such language-specific knowledge unless that language is used with them and around them, and they will learn to use only the language(s) used around them, no matter what their linguistic heritage. American-born children of Korean or Greek ancestry will never learn the language of their grandparents if only English surrounds them, for instance, and they will find their ancestral language just as hard to learn as any other English speakers do if they attempt to learn it as an adult. Appropriate social experience, including L1 input and interaction, is thus a necessary condition for acquisition.3.What is the initial state of language development for L1 and L2 respectively? P17-18The initial state of L1 learning is composed solely of an innate capacity for language acquisition which may or may not continue to be available for L2, or may be available only in some limited ways. The initial state for L2 learning, on the other hand, has resources of L1 competence, world knowledge, and established skills for interaction, which can be both an asset and an impediment.4.How does intermediate states process? P18-19The cross-linguistic influence, or transfer of prior knowledge from L1 to L2, is one of the processes that is involved ininterlanguage development. Two major types of transfer which occur are: (1) positive transfer, when an L1 structure or rule is used in an L2 utterance and that use is appropriate or “correct” in the L2; and (2) negative transfer (or interference), when an L1 structure or rule is used in an L2 utterance and that use is inappropriate and considered an “error”.5.What is a necessary condition for language learning (L1 or L2)? P20Language input to the learner is absolutely necessary for either L1 or L2 learning to take place. Children additionally require interaction with other people for L1 learning to occur. It is possible for some individuals to reach a fairly high level of proficiency in L2 even if they have input only from such generally non-reciprocal sources as radio, television, or written text.6.What is a facilitating condition for language learning? P20While L1 learning by children occurs without instruction, and while the rate of L1 development is not significantly influenced by correction of immature forms or by degree of motivation to speak, both rate and ultimate level of development in L2 can be facilitated or inhabited by many social and individual factors, such as (1) feedback, including correction of L2 learners' errors; (2) aptitude, including memory capacity and analytic ability; (3) motivation, or need and desire to learn; (4) instruction, or explicit teaching in school settings.7.Give at least 2 reasons that many scientists believe in someinnate capacity for language. P21-24The notion that innate linguistic knowledge must underlie (指原则、理由构成某学说...的基础,潜在于...之下)language acquisition was prominently espoused (采纳或支持事业理念)by Noam Chomsky. This view has been supported by arguments such as the following:(1)Children’s knowledge of language goes beyond what could be learned from the input they receive: Children often hear incomplete or ungrammatical utterances along with grammatical input, and yet they are somehow able to filter the language they hear so that the ungrammatical input is not incorporated into their L1 system. Further, children are commonly recipients of simplified input from adults, which does not include data for all of the complexities which are within their linguistic competence. In addition, children hear only a finite subset of possible grammatical sentences, and yet they are able to abstract general principles and constraints which allow them to interpret and produce an infinite number of sentences which they have never heard before.(2)Constraints and principles cannot be learned: Children’s access to general constraints and principles which govern language could account for the relatively short time ittakes for the L1 grammar to emerge, and for the fact that it does so systematically and without any “wild” divergences. This could be so because innate principles lead children to organize the input they receive only in certain ways and not others. In addition to the lack of negative evidence , constraints and principles cannot be learnt in part because children acquire a first language at an age when such abstractions are beyond their comprehension; constraints and principles are thus outside the realm of learning process which are related to general intelligence.(3)Universal patterns of development cannot be explained by language-specific input: In spite of the surface differences in input, there are similar patterns in child acquisition of any language in the world. The extent of this similarity suggests that language universals are not only constructs derived from sophisticated theories and analyses by linguists, but also innate representations in every young child’s mind.8.Linguists have taken an internal and/or external focus to the study of language acquisition. What is the difference between the two? P25-26Internal focus emphasizes that children begin with an innate capacity which is biologically endowed, as well as the acquisition of feature specification as a part of lexical knowledge; while external focus emphasizes the information content of utterances, and considers language primarily as a system of communication.9.What are the two main factors for learning process in the study of SLA from a psychological perspective? P26-27(1) Information Processing, which assumes that L2 is a highly complex skill, and that learning L2 is not essentially unlike learning other highly complex skills. Processing itself is believed to cause learning;(2) Connectionism, which does not consider language learning to involve either innate knowledge or abstraction of rules and principles, but rather to result from increasing strength of associations (connections) between stimuli and responses.10.What are the two foci for the study of SLA from the social perspective? P27(1) Microsocial focus: the concerns within the microsocial focus relate to language acquisition and use in immediate social contexts of production, interpretation, and interaction. (2) Macrosocial focus: the concerns of the macrosocial focus relate language acquisition and use to broader ecological contexts, including cultural, political, and educational settings.Week10Chapter 5 Social contexts of Second Language AcquisitionPART ONE: Definitionmunicative competence: A basic tenet of sociolinguistics defined as “what a speaker needs to know to communicate appropriately within a particular language community”(Saville-Troike 2003)nguage community: A group of people who share knowledge of a common language to at least some extent.3.Foreigner talk: Speech from L1 speakers addressed to L2 learners that differs in systematic ways from language addressed to native or very fluent speakers.4.Direct Correction: Explicit statements about incorrect language use.5.Indirect correction: Implicit feedback about inappropriate language use, such as clarification requests when the listener has actually understood an utterance.6.Interaction Hypothesis: The claim that modifications and collaborative efforts which take place in social interation facilitate SLA because they contribute to the accessibility of input for mental processing.7.Symbolic mediation: A link between a person’s current mental state and higher order functions that is provided primarily by language; considered the usual route to learning (oflanguage, and of learning in general). Part of Vygosky’s Sociocultural Theory.8.Variable features: Multiple linguistic forms (vocabulary, phonology, morphology, syntax, discourse) that are systematically or predictably used by different speakers of a language, or by the same speakers at different times, with the same meaning or function.9.Linguistic context: Elements of language form and function associated with the variable element.10.Psychological context: factors associated with the amount of attention which is being given to language form during production, the level of automaticity versus control in processing, or the intellectual demands of a particular task.11.Microsocial context: features of setting/situation and interaction which relate to communicative events within which language is being produced, interpreted, and negotiated.12.Accommodation theory: A framework for study of SLA that is based on the notion that speakers usually unconsciously change their pronunciation and even the grammatical complexity of sentences they use to sound more like whomever they are talking to .13.ZPD: Zone of Proximal Development, an area ofpotential development where the learner can only achieve that potential with assistance. Part of Vygosky’s Soci ocultural Theory.14.Scaffolding: Verbal guidance which an expert provides to help a learner perform any specific task, or the verbal collaboration of peers to perform a task which would be too difficult for any one of them in individual performance.15.Intrapersonal interaction: communication that occurs within an individual's own mind, viewed by Vygosky as a sociocultural phenomen.16.Interpersonal interaction: Communicative events and situations that occur between people.17.Social institutions:The systems which are established by law, custom, or practice to regulate and organize the life of people in public domains: e.g. politics, religion, and education.18.Acculturation: learning the culture of the L2 community and adapting to those values and behavioral patterns.19.Additive bilingualism: The result of SLA in social contexts where members of a dominant group learn the language of a minority without threat to their L1 competence or to their ethnic identity.20.Subtractive bilingualism: The result of SLA in socialcontexts where members of a minority group learn the dominant language as L2 and are more likely to experience some loss of ethnic identity and attrition of L1 skills—especially if they are children.21.Formal L2 learning: formal/instructed learning generally takes place in schools, which are social institutions that are established in accord with the needs, beliefs, values, and customs of their cultural settings.rmal L2 learning: informal/naturalistic learning generally takes place in settings where people contact—and need to interact with—speakers of another language.PART TWO: Short & Long answers1.what is the difference between monolingual and multilingual communicative competence?Differencese between monolingual and multilingual communicative competence are due in part to the different social functions of first and second language learning, and to the differences between learning language and learning culture.The differences of the competence between native speakers and nonative speakers include structural differences in the linguisitc system, different rules for usage in writing or conversation, andeven somewhat divergent meanings for the “same” lexical forms. Further, a multilingual speaker’s total communicative competence differs from that of a monolingual in including knowledge of rules for the appropriate choice of language and for switching between languages, given a particular social context and communicative purpose.2.what are the microsocial factors that affect SLA? P101-102a) L2 variation b) input and interaction c) interaction as the genesis of language3.What is the difference between linguistic & communicative competence (CC)?Linguistic competence- It was defined in 1965 by Chomsky as a speaker's underlying ability to produce grammatically correct expressions. Linguistic competence refers to knowledge of language. Theoretical linguistics primarily studies linguistic competence: knowledge of a language possessed by “an ideal speak-listener”.Communicative competence- It is a term in linguistics which refers to “what a speaker needs to know to communicate appropriately within a particular language community”, such as alanguage user's grammatical knowledge of syntax , morphology , phonology and the like, as well as social knowledge about how and when to use utterances appropriately.4.Why is CC in L1 different from L2?L1 learning for children is an integral part of their sociolization into their native language community. L2 learning may be part of second culture learning and adaptation, but the relationship of SLA to social and cultural learning differs greatly with circumstances.5.What is Accommodation Theory? How does this explain L2 variation?Accommodation theory: Speakers (usually unconsciously) change their pronunciation and even the grammatical complexity of sentences they use to sound more like whomever they are talking to. This accounts in part for why native speakers tend to simply their language when they are talking to a L2 learner who is not fluent, and why L2 learners may acquire somewhat different varieties of the target language when they have different friends.6.Discuss the importance of input & interaction for L2 learning. How could this affect the feedback provided to students?ⅰ. a) From the perspective of linguistic approaches: (1) behaviorist: they consider input to form the necessary stimuli and feedback which learners respond to and imitate; (2) Universal Grammar: they consider exposure to input a necessary trigger for activating internal mechanisms; (3) Monitor Model: consider comprehensible input not only necessary but sufficient in itself to account for SLA;b) From the perspective of psychological approaches: (1) IP framework: consider input which is attended to as essential data for all stages of language processing; (2) connectionist framework: consider the quantity or frequency of input structures to largely determine acquisitional sequencing;c) From the perspective of social approaches: interaction is generally seen as essential in providing learners with the quantity and quality of external linguistic input which is required for internal processing.ⅱ. Other types of interaction which can enhance SLA include feedback from NSs which makes NNs aware that their usage is not acceptable in some way, and which provides a model for “correctness”. While children rarely receive such negative evidence。
在辩论中求创新英文回答:In the realm of discourse, the pursuit of innovation is paramount. It is the catalyst that fuels progress, propels ideas forward, and challenges the status quo. Innovation in debate transcends mere argumentation; it entails the audacity to break free from conventional wisdom, to embrace novel perspectives, and to challenge established norms.To embrace innovation in debate, we must cultivate an open mind and a willingness to challenge our own beliefs. We must question assumptions, examine biases, and seek out diverse viewpoints. By doing so, we expand our intellectual horizons and create a fertile ground for new ideas to flourish.Innovation also demands a creative spirit, an ability to think outside the box and to envision unconventional solutions. It involves exploring untrodden paths,experimenting with new strategies, and challenging the boundaries of logical reasoning. By harnessing our imagination and embracing intellectual risk-taking, we can uncover hidden insights and forge novel arguments.Moreover, effective innovation in debate requires us to be adaptable and responsive to the evolving landscape of discourse. As new information emerges and perspectives shift, we must be willing to adjust our strategies and embrace fresh insights. By maintaining a dynamic approachto argumentation, we can ensure that our debates remain relevant, engaging, and thought-provoking.中文回答:在辩论中寻求创新至关重要。
英语词汇-数学词汇abbreviation 简写符号;简写abscissa 横坐标absolute complement 绝对补集absolute error 绝对误差absolute inequality 绝不等式absolute maximum 绝对极大值absolute minimum 绝对极小值absolute monotonic 绝对单调absolute value 绝对值accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累积accumulative 累积的accuracy 准确度act on 施于action 作用; 作用力acute angle 锐角acute-angled triangle 锐角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(of probability) (概率)加法定律additive inverse 加法逆元; 加法反元additive property 可加性adjacent angle 邻角adjacent side 邻边adjoint matrix 伴随矩阵algebra 代数algebraic 代数的algebraic equation 代数方程algebraic expression 代数式algebraic fraction 代数分式;代数分数式algebraic inequality 代数不等式algebraic number 代数数algebraic operation 代数运算algebraically closed 代数封闭algorithm 算法系统; 规则系统alternate angle (交)错角alternate segment 内错弓形alternating series 交错级数alternative hypothesis 择一假设; 备择假设; 另一假设altitude 高;高度;顶垂线;高线ambiguous case 两义情况;二义情况amount 本利和;总数analysis 分析;解析analytic geometry 解析几何angle 角angle at the centre 圆心角angle at the circumference 圆周角angle between a line and a plane 直与平面的交角angle between two planes 两平面的交角angle bisection 角平分angle bisector 角平分线;分角线angle in the alternate segment 交错弓形的圆周角angle in the same segment 同弓形内的圆周角angle of depression 俯角angle of elevation 仰角angle of friction 静摩擦角; 极限角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角;交角angle of projection 投射角angle of rotation 旋转角angle of the sector 扇形角angle sum of a triangle 三角形内角和angles at a point 同顶角angular displacement 角移位angular momentum 角动量angular motion 角运动angular velocity 角速度annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆时针方向;返时针方向anti-clockwise moment 逆时针力矩anti-derivative 反导数; 反微商anti-logarithm 逆对数;反对数anti-symmetric 反对称apex 顶点approach 接近;趋近approximate value 近似值approximation 近似;略计;逼近Arabic system 阿刺伯数字系统arbitrary 任意arbitrary constant 任意常数arc 弧arc length 弧长arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积Argand diagram 阿根图, 阿氏图argument (1)论证; (2)辐角argument of a complex number 复数的辐角argument of a function 函数的自变量arithmetic 算术arithmetic mean 算术平均;等差中顶;算术中顶arithmetic progression 算术级数;等差级数arithmetic sequence 等差序列arithmetic series 等差级数arm 边array 数组; 数组arrow 前号ascending order 递升序ascending powers of X X 的升幂assertion 断语; 断定associative law 结合律assumed mean 假定平均数assumption 假定;假设asymmetrical 非对称asymptote 渐近asymptotic error constant 渐近误差常数at rest 静止augmented matrix 增广矩阵auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 辅助方程average 平均;平均数;平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配对公理axiom of power 幂集公理axiom of specification 分类公理axiomatic theory of probability 概率公理论axis 轴axis of parabola 拋物线的轴axis of revolution 旋转轴axis of rotation 旋转轴axis of symmetry 对称轴back substitution 回代bar chart 棒形图;条线图;条形图;线条图base (1)底;(2)基;基数base angle 底角base area 底面base line 底线base number 底数;基数base of logarithm 对数的底basis 基Bayes´ theorem 贝叶斯定理bearing 方位(角);角方向(角)bell-shaped curve 钟形图belong to 属于Bernoulli distribution 伯努利分布Bernoulli trials 伯努利试验bias 偏差;偏倚biconditional 双修件式; 双修件句bijection 对射; 双射; 单满射bijective function 对射函数; 只射函数billion 十亿bimodal distribution 双峰分布binary number 二进数binary operation 二元运算binary scale 二进法binary system 二进制binomial 二项式binomial distribution 二项分布binomial expression 二项式binomial series 二项级数binomial theorem 二项式定理bisect 平分;等分bisection method 分半法;分半方法bisector 等分线;平分线Boolean algebra 布尔代数boundary condition 边界条件boundary line 界(线);边界bounded 有界的bounded above 有上界的;上有界的bounded below 有下界的;下有界的bounded function 有界函数bounded sequence 有界序列brace 大括号bracket 括号breadth 阔度broken line graph 折线图calculation 计算calculator 计算器;计算器calculus (1) 微积分学; (2) 演算cancel 消法;相消canellation law 消去律canonical 典型; 标准capacity 容量cardioid 心脏Cartesian coordinates 笛卡儿坐标Cartesian equation 笛卡儿方程Cartesian plane 笛卡儿平面Cartesian product 笛卡儿积category 类型;范畴catenary 悬链Cauchy sequence 柯西序列Cauchy´s principal value 柯西主值Cauchy-Schwarz inequality 柯西 - 许瓦尔兹不等式central limit theorem 中心极限定理central line 中线central tendency 集中趋centre 中心;心centre of a circle 圆心centre of gravity 重心centre of mass 质量中心centrifugal force 离心力centripedal acceleration 向心加速度centripedal force force 向心力centroid 形心;距心certain event 必然事件chain rule 链式法则chance 机会change of axes 坐标轴的变换change of base 基的变换change of coordinates 坐标轴的变换change of subject 主项变换change of variable 换元;变量的换characteristic equation 特征(征)方程characteristic function 特征(征)函数characteristic of logarithm 对数的首数; 对数的定位部characteristic root 特征(征)根chart 图;图表check digit 检验数位checking 验算chord 弦chord of contact 切点弦circle 圆circular 圆形;圆的circular function 圆函数;三角函数circular measure 弧度法circular motion 圆周运动circular permutation 环形排列; 圆形排列; 循环排列circumcentre 外心;外接圆心circumcircle 外接圆circumference 圆周circumradius 外接圆半径circumscribed circle 外接圆cissoid 蔓叶class 区;组;类class boundary 组界class interval 组区间;组距class limit 组限;区限class mark 组中点;区中点classical theory of probability 古典概率论classification 分类clnometer 测斜仪clockwise direction 顺时针方向clockwise moment 顺时针力矩closed convex region 闭凸区域closed interval 闭区间coaxial 共轴coaxial circles 共轴圆coaxial system 共轴系coded data 编码数据coding method 编码法co-domain 上域coefficient 系数coefficient of friction 摩擦系数coefficient of restitution 碰撞系数; 恢复系数coefficient of variation 变差系数cofactor 余因子; 余因式cofactor matrix 列矩阵coincide 迭合;重合collection of terms 并项collinear 共线collinear planes 共线面collision 碰撞column (1)列;纵行;(2) 柱column matrix 列矩阵column vector 列向量combination 组合common chord 公弦common denominator 同分母;公分母common difference 公差common divisor 公约数;公约common factor 公因子;公因子common logarithm 常用对数common multiple 公位数;公倍common ratio 公比common tangent 公切commutative law 交换律comparable 可比较的compass 罗盘compass bearing 罗盘方位角compasses 圆规compasses construction 圆规作图compatible 可相容的complement 余;补余complement law 补余律complementary angle 余角complementary equation 补充方程complementary event 互补事件complementary function 余函数complementary probability 互补概率complete oscillation 全振动completing the square 配方complex conjugate 复共轭complex number 复数complex unmber plane 复数平面complex root 复数根component 分量component of force 分力composite function 复合函数; 合成函数composite number 复合数;合成数composition of mappings 映射构合composition of relations 复合关系compound angle 复角compound angle formula 复角公式compound bar chart 综合棒形图compound discount 复折扣compound interest 复利;复利息compound probability 合成概率compound statement 复合命题; 复合叙述computation 计算computer 计算机;电子计算器concave 凹concave downward 凹向下的concave polygon 凹多边形concave upward 凹向上的concentric circles 同心圆concept 概念conclusion 结论concurrent 共点concyclic 共圆concyclic points 共圆点condition 条件conditional 条件句;条件式conditional identity 条件恒等式conditional inequality 条件不等式conditional probability 条件概率cone 锥;圆锥(体)confidence coefficient 置信系数confidence interval 置信区间confidence level 置信水平confidence limit 置信极限confocal section 共焦圆锥曲congruence (1)全等;(2)同余congruence class 同余类congruent 全等congruent figures 全等图形congruent triangles 全等三角形conic 二次曲; 圆锥曲conic section 二次曲; 圆锥曲conical pendulum 圆锥摆conjecture 猜想conjugate 共轭conjugate axis 共轭conjugate diameters 共轭轴conjugate hyperbola 共轭(直)径conjugate imaginary / complex number 共轭双曲conjugate radical 共轭虚/复数conjugate surd 共轭根式; 共轭不尽根conjunction 合取connective 连词connector box 捙接框consecutive integers 连续整数consecutive numbers 连续数;相邻数consequence 结论;推论consequent 条件;后项conservation of energy 能量守恒conservation of momentum 动量守恒conserved 守恒consistency condition 相容条件consistent 一贯的;相容的consistent estimator 相容估计量constant 常数constant acceleration 恒加速度constant force 恒力constant of integration 积分常数constant speed 恒速率constant term 常项constant velocity 怛速度constraint 约束;约束条件construct 作construction 作图construction of equation 方程的设立continued proportion 连比例continued ratio 连比continuity 连续性continuity correction 连续校正continuous 连续的continuous data 连续数据continuous function 连续函数continuous proportion 连续比例continuous random variable 连续随机变量contradiction 矛盾converge 收敛convergence 收敛性convergent 收敛的convergent iteration 收敛的迭代convergent sequence 收敛序列convergent series 收敛级数converse 逆(定理)converse of a relation 逆关系converse theorem 逆定理conversion 转换convex 凸convex polygon 凸多边形convexity 凸性coordinate 坐标coordinate geometry 解析几何;坐标几何coordinate system 坐标系系定理;系;推论coplanar 共面coplanar forces 共面力coplanar lines 共面co-prime 互质; 互素corollary 系定理; 系; 推论correct to 准确至;取值至correlation 相关correlation coefficient 相关系数correspondence 对应corresponding angles (1)同位角;(2)对应角corresponding element 对应边corresponding sides 对应边cosecant 余割cosine 余弦cosine formula 余弦公式cost price 成本cotangent 余切countable 可数countable set 可数集countably infinite 可数无限counter clockwise direction 逆时针方向;返时针方向counter example 反例counting 数数;计数couple 力偶Carmer´s rule 克莱玛法则criterion 准则critical point 临界点critical region 临界域cirtical value 临界值cross-multiplication 交叉相乘cross-section 横切面;横截面;截痕cube 正方体;立方;立方体cube root 立方根cubic 三次方;立方;三次(的)cubic equation 三次方程cubic roots of unity 单位的立方根cuboid 长方体;矩体cumulative 累积的cumulative distribution function 累积分布函数cumulative frequecy 累积频数;累积频率cumulative frequency curve 累积频数曲cumulative frequcncy distribution 累积频数分布cumulative frequency polygon 累积频数多边形;累积频率直方图curvature of a curve 曲线的曲率curve 曲线curve sketching 曲线描绘(法)curve tracing 曲线描迹(法)curved line 曲线curved surface 曲面curved surface area 曲面面积cyclic expression 输换式cyclic permutation 圆形排列cyclic quadrilateral 圆内接四边形cycloid 旋输线; 摆线cylinder 柱;圆柱体cylindrical 圆柱形的damped oscillation 阻尼振动data 数据De Moivre´s theorem 棣美弗定理De Morgan´s law 德摩根律decagon 十边形decay 衰变decay factor 衰变因子decelerate 减速decelaration 减速度decile 十分位数decimal 小数decimal place 小数位decimal point 小数点decimal system 十进制decision box 判定框declarative sentence 说明语句declarative statement 说明命题decoding 译码decrease 递减decreasing function 递减函数;下降函数decreasing sequence 递减序列;下降序列decreasing series 递减级数;下降级数decrement 减量deduce 演绎deduction 推论deductive reasoning 演绎推理definite 确定的;定的definite integral 定积分definition 定义degenerated conic section 降级锥曲线degree (1) 度; (2) 次degree of a polynomial 多项式的次数degree of accuracy 准确度degree of confidence 置信度degree of freedom 自由度degree of ODE 常微分方程次数degree of precision 精确度delete 删除; 删去denary number 十进数denominator 分母dependence (1)相关; (2)应变dependent event(s) 相关事件; 相依事件; 从属事件dependent variable 应变量; 应变数depreciation 折旧derivable 可导derivative 导数derived curve 导函数曲线derived function 导函数derived statistics 推算统计资料; 派生统计资料descending order 递降序descending powers of x x的降序descriptive statistics 描述统计学detached coefficients 分离系数(法) determinant 行列式deviation 偏差; 变差deviation from the mean 离均差diagonal 对角线diagonal matrix 对角矩阵diagram 图; 图表diameter 直径diameter of a conic 二次曲线的直径difference 差difference equation 差分方程difference of sets 差集differentiable 可微differential 微分differential coefficient 微商; 微分系数differential equation 微分方程differential mean value theorem 微分中值定理differentiate 求...的导数differentiate from first principle 从基本原理求导数differentiation 微分法digit 数字dimension 量; 量网; 维(数)direct impact 直接碰撞direct image 直接像direct proportion 正比例direct tax, direct taxation 直接税direct variation 正变(分)directed angle 有向角directed line 有向直线directed line segment 有向线段directed number 有向数direction 方向; 方位direction angle 方向角direction cosine 方向余弦direction number 方向数direction ratio 方向比directrix 准线Dirichlet function 狄利克来函数discontinuity 不连续性discontinuous 间断(的);连续(的); 不连续(的) discontinuous point 不连续点discount 折扣discrete 分立; 离散discrete data 离散数据; 间断数据discrete random variable 间断随机变数discrete uniform distribution 离散均匀分布discriminant 判别式disjoint 不相交的disjoint sets 不相交的集disjunction 析取dispersion 离差displacement 位移disprove 反证distance 距离distance formula 距离公式distinct roots 相异根distincr solution 相异解distribution 公布distributive law 分配律diverge 发散divergence 发散(性)divergent 发散的divergent iteration 发散性迭代divergent sequence 发散序列divergent series 发散级数divide 除dividend (1)被除数;(2)股息divisible 可整除division 除法division algorithm 除法算式divisor 除数;除式;因子divisor of zero 零因子dodecagon 十二边形domain 定义域dot 点dot product 点积double angle 二倍角double angle formula 二倍角公式double root 二重根dual 对偶duality (1)对偶性; (2) 双重性due east/ south/ west /north 向东/ 南/ 西/ 北dynamics 动力学eccentric angle 离心角eccentric circles 离心圆eccentricity 离心率echelon form 梯阵式echelon matrix 梯矩阵edge 棱;边efficient estimator 有效估计量effort 施力eigenvalue 本征值eigenvector 本征向量elastic body 弹性体elastic collision 弹性碰撞elastic constant 弹性常数elastic force 弹力elasticity 弹性element 元素elementary event 基本事件elementary function 初等函数elementary row operation 基本行运算elimination 消法elimination method 消去法;消元法ellipse 椭圆ellipsiod 椭球体elliptic function 椭圆函数elongation 伸张;展empirical data 实验数据empirical formula 实验公式empirical probability 实验概率;经验概率empty set 空集encoding 编码enclosure 界限end point 端点energy 能; 能量entire surd 整方根epicycloid 外摆线equal 相等equal ratios theorem 等比定理equal roots 等根equal sets 等集equality 等(式)equality sign 等号equation 方程equation in one unknown 一元方程equation in two unknowns (variables) 二元方程equation of a straight line 直线方程equation of locus 轨迹方程equiangular 等角(的)equidistant 等距(的)equilateral 等边(的)equilateral polygon 等边多边形equilateral triangle 等边三角形equilibrium 平衡equiprobable 等概率的equiprobable space 等概率空间equivalence 等价equivalence class 等价类equivalence relation 等价关系equivalent 等价(的)error 误差error allowance 误差宽容度error estimate 误差估计error term 误差项error tolerance 误差宽容度escribed circle 旁切圆estimate 估计;估计量estimator 估计量Euclidean algorithm 欧几里德算法Euclidean geometry 欧几里德几何Euler´s formula 尤拉公式;欧拉公式evaluate 计值even function 偶函数even number 偶数evenly distributed 均匀分布的event 事件exact 真确exact differential form 恰当微分形式exact solution 准确解;精确解;真确解exact value 法确解;精确解;真确解example 例excentre 外心exception 例外excess 起exclusive 不包含exclusive disjunction 不包含性析取exclusive events 互斥事件exercise 练习exhaustive event(s) 彻底事件existential quantifier 存在量词expand 展开expand form 展开式expansion 展式expectation 期望expectation value, expected value 期望值;预期值experiment 实验;试验experimental 试验的experimental probability 实验概率explicit function 显函数exponent 指数exponential function 指数函数exponential order 指数阶; 指数级express…in terms of…以………表达expression 式;数式extension 外延;延长;扩张;扩充extension of a function 函数的扩张exterior angle 外角external angle bisector 外分角external point of division 外分点extreme point 极值点extreme value 极值extremum 极值face 面factor 因子;因式;商factor method 因式分解法factor theorem 因子定理;因式定理factorial 阶乘factorization 因子分解;因式分解factorization of polynomial 多项式因式分解fallacy 谬误FALSE 假(的)falsehood 假值family 族family of circles 圆族family of concentric circles 同心圆族family of straight lines 直线族feasible solution 可行解;容许解Fermat´s last theorem 费尔马最后定理Fibonacci number 斐波那契数;黄金分割数Fibonacci sequence 斐波那契序列fictitious mean 假定平均数figure (1)图(形);(2)数字final velocity 末速度finite 有限finite dimensional vector space 有限维向量空间finite population 有限总体finite probability space 有限概率空间finite sequence 有限序列finite series 有限级数finite set 有限集first approximation 首近似值first derivative 一阶导数first order differential equation 一阶微分方程first projection 第一投影; 第一射影first quartile 第一四分位数first term 首项fixed deposit 定期存款fixed point 定点fixed point iteration method 定点迭代法fixed pulley 定滑轮flow chart 流程图focal axis 焦轴focal chord 焦弦focal length 焦距focus(foci) 焦点folium of Descartes 笛卡儿叶形线foot of perpendicular 垂足for all X 对所有Xfor each /every X 对每一Xforce 力forced oscillation 受迫振动form 形式;型formal proof 形式化的证明format 格式;规格formula(formulae) 公式four leaved rose curve 四瓣玫瑰线four rules 四则four-figure table 四位数表fourth root 四次方根fraction 分数;分式fraction in lowest term 最简分数fractional equation 分式方程fractional index 分数指数fractional inequality 分式不等式free fall 自由下坠free vector 自由向量; 自由矢量frequency 频数;频率frequency distribution 频数分布;频率分布frequency distribution table 频数分布表frequency polygon 频数多边形;频率多边形friction 摩擦; 摩擦力frictionless motion 无摩擦运动frustum 平截头体fulcrum 支点function 函数function of function 复合函数;迭函数functional notation 函数记号fundamental theorem of algebra 代数基本定理fundamental theorem of calculus 微积分基本定理gain 增益;赚;盈利gain perent 赚率;增益率;盈利百分率game (1)对策;(2)博奕Gaussian distribution 高斯分布Gaussian elimination 高斯消去法general form 一般式;通式general solution 通解;一般解general term 通项generating function 母函数; 生成函数generator (1)母线; (2)生成元geoborad 几何板geometric distribution 几何分布geometric mean 几何平均数;等比中项geometric progression 几何级数;等比级数geometric sequence 等比序列geometric series 等比级数geometry 几何;几何学given 给定;已知global 全局; 整体global maximum 全局极大值; 整体极大值global minimum 全局极小值; 整体极小值golden section 黄金分割grade 等级gradient (1)斜率;倾斜率;(2)梯度grand total 总计graph 图像;图形;图表graph paper 图表纸graphical method 图解法graphical representation 图示;以图样表达graphical solution 图解gravitational acceleration 重力加速度gravity 重力greatest term 最大项greatest value 最大值grid lines 网网格线group 组;grouped data 分组数据;分类数据grouping terms 并项;集项growth 增长growth factor 增长因子half angle 半角half angle formula 半角公式half closed interval 半闭区间half open interval 半开区间harmonic mean (1) 调和平均数; (2) 调和中项harmonic progression 调和级数head 正面(钱币)height 高(度)helix 螺旋线hemisphere 半球体;半球heptagon 七边形Heron´s formula 希罗公式heterogeneous (1)参差的; (2)不纯一的hexagon 六边形higher order derivative 高阶导数highest common factor(H.C.F) 最大公因子;最高公因式;最高公因子Hindu-Arabic numeral 阿刺伯数字histogram 组织图;直方图;矩形图Holder´s Inequality 赫耳德不等式homogeneous 齐次的homogeneous equation 齐次方程Hooke´s law 虎克定律horizontal 水平的;水平horizontal asymptote 水平渐近线horizontal component 水平分量horizontal line 横线;水平线horizontal range 水平射程hyperbola 双曲线hyperbolic function 双曲函数hypergeometric distribution 超几何分布hypocycloid 内摆线hypotenuse 斜边hypothesis 假设hypothesis testing 假设检验hypothetical syllogism 假设三段论hypotrochoid 次内摆线idempotent 全幂等的identical 全等;恒等identity 等(式)identity element 单位元identity law 同一律identity mapping 恒等映射identity matrix 恒等矩阵identity relation 恒等关系式if and only if/iff 当且仅当;若且仅若if…, then 若….则;如果…..则illustration 例证;说明image 像点;像image axis 虚轴imaginary circle 虚圆imaginary number 虚数imaginary part 虚部imaginary root 虚根imaginary unit 虚数单位impact 碰撞implication 蕴涵式;蕴含式implicit definition 隐定义implicit function 隐函数imply 蕴涵;蕴含impossible event 不可能事件improper fraction 假分数improper integral 广义积分; 非正常积分impulse 冲量impulsive force 冲力incentre 内力incircle 内切圆inclination 倾角;斜角inclined plane 斜面included angle 夹角included side 夹边inclusion mapping 包含映射inclusive 包含的;可兼的inclusive disjunction 包含性析取;可兼析取inconsistent 不相的(的);不一致(的) increase 递增;增加increasing function 递增函数increasing sequence 递增序列increasing series 递增级数increment 增量indefinite integral 不定积分idenfinite integration 不定积分法independence 独立;自变independent equations 独立方程independent event 独立事件independent variable 自变量;独立变量indeterminate (1)不定的;(2)不定元;未定元indeterminate coefficient 不定系数;未定系数indeterminate form 待定型;不定型index,indices 指数;指index notation 指数记数法induced operation 诱导运算induction hypothesis 归纳法假设inelastic collision 非弹性碰撞inequality 不等式;不等inequality sign 不等号inertia 惯性;惯量infer 推断inference 推论infinite 无限;无穷infinite dimensional 无限维infinite population 无限总体infinite sequence 无限序列;无穷序列infinite series 无限级数;无穷级数infinitely many 无穷多infinitesimal 无限小;无穷小infinity 无限(大);无穷(大)inflection (inflexion) point 拐点;转折点inherent error 固有误差initial approximation 初始近似值initial condition 原始条件;初值条件initial point 始点;起点initial side 始边initial value 初值;始值initial velocity 初速度initial-value problem 初值问题injection 内射injective function 内射函数inner product 内积input 输入input box 输入inscribed circle 内切圆insertion 插入insertion of brackets 加括号instantaneous 瞬时的instantaneous acceleration 瞬时加速度instantaneous speed 瞬时速率instantaneous velocity 瞬时速度integer 整数integrable 可积integrable function 可积函数integral 积分integral index 整数指数integral mean value theorem 积数指数integral part 整数部份integral solution 整数解integral value 整数值integrand 被积函数integrate 积;积分;......的积分integrating factor 积分因子integration 积分法integration by parts 分部积分法integration by substitution 代换积分法;换元积分法integration constant 积分常数interaction 相互作用intercept 截距;截段intercept form 截距式intercept theorem 截线定理interchange 互换interest 利息interest rate 利率interest tax 利息税interior angle 内角interior angles on the same side of the transversal 同旁内角interior opposite angle 内对角intermediate value theorem 介值定理internal bisector 内分角internal division 内分割internal energy 内能internal force 内力internal point of division 内分点interpolating polynomial 插值多项式interpolation 插值inter-quartile range 四分位数间距intersect 相交intersection (1)交集;(2)相交;(3)交点interval 区间interval estimation 区间估计;区域估计intuition 直观invalid 失效;无效invariance 不变性invariant (1)不变的;(2)不变量;不变式inverse 反的;逆的inverse circular function 反三角函数inverse cosine function 反余弦函数inverse function 反函数;逆函数inverse cosine function 反三角函数inverse function 反函数;逆映射inverse mapping 反向映射;逆映射inverse matrix 逆矩阵inverse problem 逆算问题inverse proportion 反比例;逆比例inverse relation 逆关系inverse sine function 反正弦函数inverse tangent function 反正切函数inverse variation 反变(分);逆变(分) invertible 可逆的invertible matrix 可逆矩阵irrational equation 无理方程irrational number 无理数irreducibility 不可约性irregular 不规则isomorphism 同构isosceles triangle 等腰三角形iterate (1)迭代值; (2)迭代iteration 迭代iteration form 迭代形iterative function 迭代函数iterative method 迭代法jet propulsion 喷气推进joint variation 联变(分);连变(分) kinetic energy 动能kinetic friction 动摩擦known 己知L.H.S. 末项L´Hospital´s rule 洛必达法则Lagrange interpolating polynomial 拉格朗日插值多项代Lagrange theorem 拉格朗日定理Lami´s law 拉密定律Laplace expansion 拉普拉斯展式last term 末项latent root 本征根; 首通径lattice point 格点latus rectum 正焦弦; 首通径law 律;定律law of conservation of momentum 动量守恒定律law of indices 指数律;指数定律law of inference 推论律law of trichotomy 三分律leading coefficient 首项系数leading diagonal 主对角线least common multiple, lowest common multiple (L.C.M) 最小公倍数;最低公倍式least value 最小值left hand limit 左方极限lemma 引理lemniscate 双纽线length 长(度)letter 文字;字母like surd 同类根式like terms 同类项limacon 蜗牛线limit 极限limit of sequence 序列的极限limiting case 极限情况limiting friction 最大静摩擦limiting position 极限位置line 线;行line of action 作用力线line of best-fit 最佳拟合line of greatest slope 最大斜率的直;最大斜率line of intersection 交线line segment 线段linear 线性;一次linear convergence 线性收敛性linear differeantial equation 线性微分方程linear equation 线性方程;一次方程linear equation in two unknowns 二元一次方程;二元线性方程linear inequality 一次不等式;线性不等式linear momentum 线动量linear programming 线性规划linearly dependent 线性相关的linearly independent 线性无关的literal coefficient 文字系数literal equation 文字方程load 负荷loaded coin 不公正钱币loaded die 不公正骰子local maximum 局部极大(值)local minimum 局部极小(值)locus, loci 轨迹logarithm 对数logarithmic equation 对数方程logarithmic function 对数函数logic 逻辑logical deduction 逻辑推论;逻辑推理logical step 逻辑步骤long division method 长除法loop 回路loss 赔本;亏蚀loss per cent 赔率;亏蚀百分率lower bound 下界lower limit 下限lower quartile 下四分位数lower sum 下和lower triangular matrix 下三角形矩阵lowest common multiple(L.C.M) 最小公倍数machine 机械Maclaurin expansion 麦克劳林展开式Maclaurin series 麦克劳林级数magnitude 量;数量;长度;大小major arc 优弧;大弧major axis 长轴major sector 优扇形;大扇形major segment 优弓形;大弓形mantissa 尾数mantissa of logarithm 对数的尾数;对数的定值部many to one 多个对一个many-sided figure 多边形many-valued 多值的map into 映入map onto 映上mapping 映射marked price 标价Markov chain 马可夫链mass 质量mathematical analysis 数学分析mathematical induction 数学归纳法mathematical sentence 数句mathematics 数学matrix 阵; 矩阵matrix addition 矩阵加法matrix equation 矩阵方程matrix multiplication 矩阵乘法matrix operation 矩阵运算maximize 极大maximum absolute error 最大绝对误差maximum point 极大点maximum value 极大值mean 平均(值);平均数;中数mean deviation 中均差;平均偏差mean value theorem 中值定理measure of dispersion 离差的量度measurement 量度mechanical energy 机械能median (1)中位数;(2)中线meet 相交;相遇mensuration 计量;求积法method 方法method of completing square 配方法method of interpolation 插值法; 内插法method of least squares 最小二乘法; 最小平方法method of substitution 代换法;换元法method of successive substitution 逐次代换法; 逐次调替法method of superposition 迭合法metric unit 十进制单位mid-point 中点mid-point formula 中点公式mid-point theorem 中点定理million 百万minimize 极小minimum point 极小点minimum value 极小值Minkowski Inequality 闵可夫斯基不等式minor (1)子行列式;(2)劣;较小的minor arc 劣弧;小弧minor axis 短轴minor of a determinant 子行列式minor sector 劣扇形;小扇形minor segment 劣弓形;小弓形minus 减minute 分mixed number(fraction) 带分数modal class 众数组mode 众数model 模型modulo (1)模; 模数; (2)同余modulo arithmetic 同余算术modulus 模; 模数modulus of a complex number 复数的模modulus of elasticity 弹性模(数) moment arm (1)矩臂; (2)力臂moment of a force 力矩moment of inertia 贯性矩momentum 动量monomial 单项式monotone 单调monotonic convergence 单调收敛性monotonic decreasing 单调递减monotonic decreasing function 单调递减函数monotonic function 单调函数monotonic increasing 单调递增monotonic increasing function 单调递增函数motion 运动movable pulley 动滑轮multinomial 多项式multiple 倍数multiple angle 倍角multiple-angle formula 倍角公式multiple root 多重根multiplicand 被乘数multiplication 乘法multiplication law (of probability) (概率)乘法定律multiplicative inverse 乘法逆元multiplicative property 可乘性multiplicity 重数multiplier 乘数;乘式multiply 乘multi-value 多值的mulually disjoint 互不相交mutually exclusive events 互斥事件。
abbreviation 简写符号;简写absolute complement 绝对补集absolute error 绝对误差absolute inequality 绝不等式absolute maximum 绝对极大值absolute minimum 绝对极小值absolute monotonic 绝对单调absolute value 绝对值accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累积accumulative 累积的accuracy 准确度act on 施于action 作用; 作用力acute angle 锐角acute-angled triangle 锐角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(of probability) (概率)加法定律additive inverse 加法逆元; 加法反元additive property 可加性adjacent angle 邻角adjacent side 邻边adjoint matrix 伴随矩阵algebra 代数algebraic 代数的algebraic equation 代数方程algebraic expression 代数式algebraic fraction 代数分式;代数分数式algebraic inequality 代数不等式algebraic number 代数数algebraic operation 代数运算algebraically closed 代数封闭algorithm 算法系统; 规则系统alternate angle (交)错角alternate segment 内错弓形alternating series 交错级数alternative hypothesis 择一假设; 备择假设; 另一假设altitude 高;高度;顶垂线;高线ambiguous case 两义情况;二义情况amount 本利和;总数analysis 分析;解析analytic geometry 解析几何angle 角angle at the centre 圆心角angle at the circumference 圆周角angle between a line and a plane 直与平面的交角angle between two planes 两平面的交角angle bisection 角平分angle bisector 角平分线;分角线angle in the alternate segment 交错弓形的圆周角angle in the same segment 同弓形内的圆周角angle of depression 俯角angle of elevation 仰角angle of friction 静摩擦角; 极限角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角;交角angle of projection 投射角angle of rotation 旋转角angle of the sector 扇形角angle sum of a triangle 三角形内角和angles at a point 同顶角angular displacement 角移位angular momentum 角动量angular motion 角运动angular velocity 角速度annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆时针方向;返时针方向anti-clockwise moment 逆时针力矩anti-derivative 反导数; 反微商anti-logarithm 逆对数;反对数anti-symmetric 反对称apex 顶点approach 接近;趋近approximate value 近似值approximation 近似;略计;逼近精选文库Arabic system 阿刺伯数字系统arbitrary 任意arbitrary constant 任意常数arc 弧arc length 弧长arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积Argand diagram 阿根图, 阿氏图argument (1)论证; (2)辐角argument of a complex number 复数的辐角argument of a function 函数的自变量arithmetic 算术arithmetic mean 算术平均;等差中顶;算术中顶arithmetic progression 算术级数;等差级数arithmetic sequence 等差序列arithmetic series 等差级数arm 边array 数组; 数组arrow 前号ascending order 递升序ascending powers of X X 的升幂assertion 断语; 断定associative law 结合律assumed mean 假定平均数assumption 假定;假设asymmetrical 非对称asymptote 渐近asymptotic error constant 渐近误差常数at rest 静止augmented matrix 增广矩阵auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 辅助方程average 平均;平均数;平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配对公理axiom of power 幂集公理axiom of specification 分类公理axiomatic theory of probability 概率公理论axis 轴axis of parabola 拋物线的轴axis of revolution 旋转轴axis of rotation 旋转轴axis of symmetry 对称轴back substitution 回代bar chart 棒形图;条线图;条形图;线条图base (1)底;(2)基;基数base angle 底角base area 底面base line 底线base number 底数;基数base of logarithm 对数的底basis 基Bayes´ theorem 贝叶斯定理bearing 方位(角);角方向(角)bell-shaped curve 钟形图belong to 属于Bernoulli distribution 伯努利分布Bernoulli trials 伯努利试验bias 偏差;偏倚biconditional 双修件式; 双修件句bijection 对射; 双射; 单满射bijective function 对射函数; 只射函数billion 十亿bimodal distribution 双峰分布binary number 二进数binary operation 二元运算binary scale 二进法binary system 二进制binomial 二项式binomial distribution 二项分布binomial expression 二项式binomial series 二项级数binomial theorem 二项式定理bisect 平分;等分bisection method 分半法;分半方法bisector 等分线;平分线Boolean algebra 布尔代数boundary condition 边界条件boundary line 界(线);边界bounded 有界的精选文库bounded above 有上界的;上有界的bounded below 有下界的;下有界的bounded function 有界函数bounded sequence 有界序列brace 大括号bracket 括号breadth 阔度broken line graph 折线图calculation 计算calculator 计算器;计算器calculus (1) 微积分学; (2) 演算cancel 消法;相消canellation law 消去律canonical 典型; 标准capacity 容量cardioid 心脏Cartesian coordinates 笛卡儿坐标Cartesian equation 笛卡儿方程Cartesian plane 笛卡儿平面Cartesian product 笛卡儿积category 类型;范畴catenary 悬链Cauchy sequence 柯西序列Cauchy´s principal value 柯西主值Cauchy-Schwarz inequality 柯西- 许瓦尔兹不等式central limit theorem 中心极限定理central line 中线central tendency 集中趋centre 中心;心centre of a circle 圆心centre of gravity 重心centre of mass 质量中心centrifugal force 离心力centripedal acceleration 向心加速度centripedal force force 向心力centroid 形心;距心certain event 必然事件chain rule 链式法则chance 机会change of axes 坐标轴的变换change of base 基的变换change of coordinates 坐标轴的变换change of subject 主项变换change of variable 换元;变量的换characteristic equation 特征(征)方程characteristic function 特征(征)函数characteristic of logarithm 对数的首数; 对数的定位部characteristic root 特征(征)根chart 图;图表check digit 检验数位checking 验算chord 弦chord of contact 切点弦circle 圆circular 圆形;圆的circular function 圆函数;三角函数circular measure 弧度法circular motion 圆周运动circular permutation 环形排列; 圆形排列; 循环排列circumcentre 外心;外接圆心circumcircle 外接圆circumference 圆周circumradius 外接圆半径circumscribed circle 外接圆cissoid 蔓叶class 区;组;类class boundary 组界class interval 组区间;组距class limit 组限;区限class mark 组中点;区中点classical theory of probability 古典概率论classification 分类clnometer 测斜仪clockwise direction 顺时针方向clockwise moment 顺时针力矩closed convex region 闭凸区域closed interval 闭区间coaxial 共轴coaxial circles 共轴圆coaxial system 共轴系coded data 编码数据coding method 编码法co-domain 上域coefficient 系数coefficient of friction 摩擦系数精选文库coefficient of restitution 碰撞系数; 恢复系数coefficient of variation 变差系数cofactor 余因子; 余因式cofactor matrix 列矩阵coincide 迭合;重合collection of terms 并项collinear 共线collinear planes 共线面collision 碰撞column (1)列;纵行;(2) 柱column matrix 列矩阵column vector 列向量combination 组合common chord 公弦common denominator 同分母;公分母common difference 公差common divisor 公约数;公约common factor 公因子;公因子common logarithm 常用对数common multiple 公位数;公倍common ratio 公比common tangent 公切commutative law 交换律comparable 可比较的compass 罗盘compass bearing 罗盘方位角compasses 圆规compasses construction 圆规作图compatible 可相容的complement 余;补余complement law 补余律complementary angle 余角complementary equation 补充方程complementary event 互补事件complementary function 余函数complementary probability 互补概率complete oscillation 全振动completing the square 配方complex conjugate 复共轭complex number 复数complex unmber plane 复数平面complex root 复数根component 分量component of force 分力composite function 复合函数; 合成函数composite number 复合数;合成数composition of mappings 映射构合composition of relations 复合关系compound angle 复角compound angle formula 复角公式compound bar chart 综合棒形图compound discount 复折扣compound interest 复利;复利息compound probability 合成概率compound statement 复合命题; 复合叙述computation 计算computer 计算机;电子计算器concave 凹concave downward 凹向下的concave polygon 凹多边形concave upward 凹向上的concentric circles 同心圆concept 概念conclusion 结论concurrent 共点concyclic 共圆concyclic points 共圆点condition 条件conditional 条件句;条件式conditional identity 条件恒等式conditional inequality 条件不等式conditional probability 条件概率cone 锥;圆锥(体)confidence coefficient 置信系数confidence interval 置信区间confidence level 置信水平confidence limit 置信极限confocal section 共焦圆锥曲congruence (1)全等;(2)同余congruence class 同余类congruent 全等congruent figures 全等图形congruent triangles 全等三角形conic 二次曲; 圆锥曲conic section 二次曲; 圆锥曲conical pendulum 圆锥摆精选文库conjecture 猜想conjugate 共轭conjugate axis 共轭conjugate diameters 共轭轴conjugate hyperbola 共轭(直)径conjugate imaginary / complex number 共轭双曲conjugate radical 共轭虚/复数conjugate surd 共轭根式; 共轭不尽根conjunction 合取connective 连词connector box 捙接框consecutive integers 连续整数consecutive numbers 连续数;相邻数consequence 结论;推论consequent 条件;后项conservation of energy 能量守恒conservation of momentum 动量守恒conserved 守恒consistency condition 相容条件consistent 一贯的;相容的consistent estimator 相容估计量constant 常数constant acceleration 恒加速度constant force 恒力constant of integration 积分常数constant speed 恒速率constant term 常项constant velocity 怛速度constraint 约束;约束条件construct 作construction 作图construction of equation 方程的设立continued proportion 连比例continued ratio 连比continuity 连续性continuity correction 连续校正continuous 连续的continuous data 连续数据continuous function 连续函数continuous proportion 连续比例continuous random variable 连续随机变量contradiction 矛盾converge 收敛convergence 收敛性convergent 收敛的convergent iteration 收敛的迭代convergent sequence 收敛序列convergent series 收敛级数converse 逆(定理)converse of a relation 逆关系converse theorem 逆定理conversion 转换convex 凸convex polygon 凸多边形convexity 凸性coordinate 坐标coordinate geometry 解析几何;坐标几何coordinate system 坐标系系定理;系;推论coplanar 共面coplanar forces 共面力coplanar lines 共面co-prime 互质; 互素corollary 系定理; 系; 推论correct to 准确至;取值至correlation 相关correlation coefficient 相关系数correspondence 对应corresponding angles (1)同位角;(2)对应角corresponding element 对应边corresponding sides 对应边cosecant 余割cosine 余弦cosine formula 余弦公式cost price 成本cotangent 余切countable 可数countable set 可数集countably infinite 可数无限counter clockwise direction 逆时针方向;返时针方向counter example 反例counting 数数;计数couple 力偶Carmer´s rule 克莱玛法则criterion 准则critical point 临界点critical region 临界域精选文库cirtical value 临界值cross-multiplication 交叉相乘cross-section 横切面;横截面;截痕cube 正方体;立方;立方体cube root 立方根cubic 三次方;立方;三次(的)cubic equation 三次方程cubic roots of unity 单位的立方根cuboid 长方体;矩体cumulative 累积的cumulative distribution function 累积分布函数cumulative frequecy 累积频数;累积频率cumulative frequency curve 累积频数曲cumulative frequcncy distribution 累积频数分布cumulative frequency polygon 累积频数多边形;累积频率直方图curvature of a curve 曲线的曲率curve 曲线curve sketching 曲线描绘(法)curve tracing 曲线描迹(法)curved line 曲线curved surface 曲面curved surface area 曲面面积cyclic expression 输换式cyclic permutation 圆形排列cyclic quadrilateral 圆内接四边形cycloid 旋输线; 摆线cylinder 柱;圆柱体cylindrical 圆柱形的damped oscillation 阻尼振动data 数据De Moivre´s theorem 棣美弗定理De Morgan´s law 德摩根律decagon 十边形decay 衰变decay factor 衰变因子decelerate 减速decelaration 减速度decile 十分位数decimal 小数decimal place 小数位decimal point 小数点decimal system 十进制decision box 判定框declarative sentence 说明语句declarative statement 说明命题decoding 译码decrease 递减decreasing function 递减函数;下降函数decreasing sequence 递减序列;下降序列decreasing series 递减级数;下降级数decrement 减量deduce 演绎deduction 推论deductive reasoning 演绎推理definite 确定的;定的definite integral 定积分definition 定义degenerated conic section 降级锥曲线degree (1) 度; (2) 次degree of a polynomial 多项式的次数degree of accuracy 准确度degree of confidence 置信度degree of freedom 自由度degree of ODE 常微分方程次数degree of precision 精确度delete 删除; 删去denary number 十进数denominator 分母dependence (1)相关; (2)应变dependent event(s) 相关事件; 相依事件; 从属事件dependent variable 应变量; 应变数depreciation 折旧derivable 可导derivative 导数derived curve 导函数曲线derived function 导函数derived statistics 推算统计资料; 派生统计资料descending order 递降序descending powers of x x的降序descriptive statistics 描述统计学detached coefficients 分离系数(法) determinant 行列式deviation 偏差; 变差精选文库deviation from the mean 离均差diagonal 对角线diagonal matrix 对角矩阵diagram 图; 图表diameter 直径diameter of a conic 二次曲线的直径difference 差difference equation 差分方程difference of sets 差集differentiable 可微differential 微分differential coefficient 微商; 微分系数differential equation 微分方程differential mean value theorem 微分中值定理differentiate 求...的导数differentiate from first principle 从基本原理求导数differentiation 微分法digit 数字dimension 量; 量网; 维(数)direct impact 直接碰撞direct image 直接像direct proportion 正比例direct tax, direct taxation 直接税direct variation 正变(分)directed angle 有向角directed line 有向直线directed line segment 有向线段directed number 有向数direction 方向; 方位direction angle 方向角direction cosine 方向余弦direction number 方向数direction ratio 方向比directrix 准线Dirichlet function 狄利克来函数discontinuity 不连续性discontinuous 间断(的);连续(的); 不连续(的) discontinuous point 不连续点discount 折扣discrete 分立; 离散discrete data 离散数据; 间断数据discrete random variable 间断随机变数discrete uniform distribution 离散均匀分布discriminant 判别式disjoint 不相交的disjoint sets 不相交的集disjunction 析取dispersion 离差displacement 位移disprove 反证distance 距离distance formula 距离公式distinct roots 相异根distincr solution 相异解distribution 公布distributive law 分配律diverge 发散divergence 发散(性)divergent 发散的divergent iteration 发散性迭代divergent sequence 发散序列divergent series 发散级数divide 除dividend (1)被除数;(2)股息divisible 可整除division 除法division algorithm 除法算式divisor 除数;除式;因子divisor of zero 零因子dodecagon 十二边形domain 定义域dot 点dot product 点积double angle 二倍角double angle formula 二倍角公式double root 二重根dual 对偶duality (1)对偶性; (2) 双重性due east/ south/ west /north 向东/ 南/ 西/ 北dynamics 动力学eccentric angle 离心角eccentric circles 离心圆eccentricity 离心率echelon form 梯阵式echelon matrix 梯矩阵精选文库edge 棱;边efficient estimator 有效估计量effort 施力eigenvalue 本征值eigenvector 本征向量elastic body 弹性体elastic collision 弹性碰撞elastic constant 弹性常数elastic force 弹力elasticity 弹性element 元素elementary event 基本事件elementary function 初等函数elementary row operation 基本行运算elimination 消法elimination method 消去法;消元法ellipse 椭圆ellipsiod 椭球体elliptic function 椭圆函数elongation 伸张;展empirical data 实验数据empirical formula 实验公式empirical probability 实验概率;经验概率empty set 空集encoding 编码enclosure 界限end point 端点energy 能; 能量entire surd 整方根epicycloid 外摆线equal 相等equal ratios theorem 等比定理equal roots 等根equal sets 等集equality 等(式)equality sign 等号equation 方程equation in one unknown 一元方程equation in two unknowns (variables) 二元方程equation of a straight line 直线方程equation of locus 轨迹方程equiangular 等角(的)equidistant 等距(的) equilateral 等边(的)equilateral polygon 等边多边形equilateral triangle 等边三角形equilibrium 平衡equiprobable 等概率的equiprobable space 等概率空间equivalence 等价equivalence class 等价类equivalence relation 等价关系equivalent 等价(的)error 误差error allowance 误差宽容度error estimate 误差估计error term 误差项error tolerance 误差宽容度escribed circle 旁切圆estimate 估计;估计量estimator 估计量Euclidean algorithm 欧几里德算法Euclidean geometry 欧几里德几何Euler´s formula 尤拉公式;欧拉公式evaluate 计值even function 偶函数even number 偶数evenly distributed 均匀分布的event 事件exact 真确exact differential form 恰当微分形式exact solution 准确解;精确解;真确解exact value 法确解;精确解;真确解example 例excentre 外心exception 例外excess 起exclusive 不包含exclusive disjunction 不包含性析取exclusive events 互斥事件exercise 练习exhaustive event(s) 彻底事件existential quantifier 存在量词expand 展开expand form 展开式expansion 展式expectation 期望精选文库expectation value, expected value 期望值;预期值experiment 实验;试验experimental 试验的experimental probability 实验概率explicit function 显函数exponent 指数exponential function 指数函数exponential order 指数阶; 指数级express…in terms of…以………表达expression 式;数式extension 外延;延长;扩张;扩充extension of a function 函数的扩张exterior angle 外角external angle bisector 外分角external point of division 外分点extreme point 极值点extreme value 极值extremum 极值face 面factor 因子;因式;商factor method 因式分解法factor theorem 因子定理;因式定理factorial 阶乘factorization 因子分解;因式分解factorization of polynomial 多项式因式分解fallacy 谬误FALSE 假(的)falsehood 假值family 族family of circles 圆族family of concentric circles 同心圆族family of straight lines 直线族feasible solution 可行解;容许解Fermat´s last theorem 费尔马最后定理Fibonacci number 斐波那契数;黄金分割数Fibonacci sequence 斐波那契序列fictitious mean 假定平均数figure (1)图(形);(2)数字final velocity 末速度finite 有限finite dimensional vector space 有限维向量空间finite population 有限总体finite probability space 有限概率空间finite sequence 有限序列finite series 有限级数finite set 有限集first approximation 首近似值first derivative 一阶导数first order differential equation 一阶微分方程first projection 第一投影; 第一射影first quartile 第一四分位数first term 首项fixed deposit 定期存款fixed point 定点fixed point iteration method 定点迭代法fixed pulley 定滑轮flow chart 流程图focal axis 焦轴focal chord 焦弦focal length 焦距focus(foci) 焦点folium of Descartes 笛卡儿叶形线foot of perpendicular 垂足for all X 对所有Xfor each /every X 对每一Xforce 力forced oscillation 受迫振动form 形式;型formal proof 形式化的证明format 格式;规格formula(formulae) 公式four leaved rose curve 四瓣玫瑰线four rules 四则four-figure table 四位数表fourth root 四次方根fraction 分数;分式fraction in lowest term 最简分数fractional equation 分式方程fractional index 分数指数fractional inequality 分式不等式free fall 自由下坠free vector 自由向量; 自由矢量frequency 频数;频率frequency distribution 频数分布;频率分布frequency distribution table 频数分布表精选文库frequency polygon 频数多边形;频率多边形friction 摩擦; 摩擦力frictionless motion 无摩擦运动frustum 平截头体fulcrum 支点function 函数function of function 复合函数;迭函数functional notation 函数记号fundamental theorem of algebra 代数基本定理fundamental theorem of calculus 微积分基本定理gain 增益;赚;盈利gain perent 赚率;增益率;盈利百分率game (1)对策;(2)博奕Gaussian distribution 高斯分布Gaussian elimination 高斯消去法general form 一般式;通式general solution 通解;一般解general term 通项generating function 母函数; 生成函数generator (1)母线; (2)生成元geoborad 几何板geometric distribution 几何分布geometric mean 几何平均数;等比中项geometric progression 几何级数;等比级数geometric sequence 等比序列geometric series 等比级数geometry 几何;几何学given 给定;已知global 全局; 整体global maximum 全局极大值; 整体极大值global minimum 全局极小值; 整体极小值golden section 黄金分割grade 等级gradient (1)斜率;倾斜率;(2)梯度grand total 总计graph 图像;图形;图表graph paper 图表纸graphical method 图解法graphical representation 图示;以图样表达graphical solution 图解gravitational acceleration 重力加速度gravity 重力greatest term 最大项greatest value 最大值grid lines 网网格线group 组;grouped data 分组数据;分类数据grouping terms 并项;集项growth 增长growth factor 增长因子half angle 半角half angle formula 半角公式half closed interval 半闭区间half open interval 半开区间harmonic mean (1) 调和平均数; (2) 调和中项harmonic progression 调和级数head 正面(钱币)height 高(度)helix 螺旋线hemisphere 半球体;半球heptagon 七边形Heron´s formula 希罗公式heterogeneous (1)参差的; (2)不纯一的hexagon 六边形higher order derivative 高阶导数highest common factor(H.C.F) 最大公因子;最高公因式;最高公因子Hindu-Arabic numeral 阿刺伯数字histogram 组织图;直方图;矩形图Holder´s Inequality 赫耳德不等式homogeneous 齐次的homogeneous equation 齐次方程Hooke´s law 虎克定律horizontal 水平的;水平horizontal asymptote 水平渐近线horizontal component 水平分量horizontal line 横线;水平线horizontal range 水平射程hyperbola 双曲线hyperbolic function 双曲函数hypergeometric distribution 超几何分布hypocycloid 内摆线hypotenuse 斜边hypothesis 假设hypothesis testing 假设检验精选文库hypothetical syllogism 假设三段论hypotrochoid 次内摆线idempotent 全幂等的identical 全等;恒等identity 等(式)identity element 单位元identity law 同一律identity mapping 恒等映射identity matrix 恒等矩阵identity relation 恒等关系式if and only if/iff 当且仅当;若且仅若if…, then若….则;如果…..则illustration 例证;说明image 像点;像image axis 虚轴imaginary circle 虚圆imaginary number 虚数imaginary part 虚部imaginary root 虚根imaginary unit 虚数单位impact 碰撞implication 蕴涵式;蕴含式implicit definition 隐定义implicit function 隐函数imply 蕴涵;蕴含impossible event 不可能事件improper fraction 假分数improper integral 广义积分; 非正常积分impulse 冲量impulsive force 冲力incentre 内力incircle 内切圆inclination 倾角;斜角inclined plane 斜面included angle 夹角included side 夹边inclusion mapping 包含映射inclusive 包含的;可兼的inclusive disjunction 包含性析取;可兼析取inconsistent 不相的(的);不一致(的) increase 递增;增加increasing function 递增函数increasing sequence 递增序列increasing series 递增级数increment 增量indefinite integral 不定积分idenfinite integration 不定积分法independence 独立;自变independent equations 独立方程independent event 独立事件independent variable 自变量;独立变量indeterminate (1)不定的;(2)不定元;未定元indeterminate coefficient 不定系数;未定系数indeterminate form 待定型;不定型index,indices 指数;指index notation 指数记数法induced operation 诱导运算induction hypothesis 归纳法假设inelastic collision 非弹性碰撞inequality 不等式;不等inequality sign 不等号inertia 惯性;惯量infer 推断inference 推论infinite 无限;无穷infinite dimensional 无限维infinite population 无限总体infinite sequence 无限序列;无穷序列infinite series 无限级数;无穷级数infinitely many 无穷多infinitesimal 无限小;无穷小infinity 无限(大);无穷(大)inflection (inflexion) point 拐点;转折点inherent error 固有误差initial approximation 初始近似值initial condition 原始条件;初值条件initial point 始点;起点initial side 始边initial value 初值;始值initial velocity 初速度initial-value problem 初值问题injection 内射injective function 内射函数inner product 内积input 输入input box 输入精选文库inscribed circle 内切圆insertion 插入insertion of brackets 加括号instantaneous 瞬时的instantaneous acceleration 瞬时加速度instantaneous speed 瞬时速率instantaneous velocity 瞬时速度integer 整数integrable 可积integrable function 可积函数integral 积分integral index 整数指数integral mean value theorem 积数指数integral part 整数部份integral solution 整数解integral value 整数值integrand 被积函数integrate 积;积分;......的积分integrating factor 积分因子integration 积分法integration by parts 分部积分法integration by substitution 代换积分法;换元积分法integration constant 积分常数interaction 相互作用intercept 截距;截段intercept form 截距式intercept theorem 截线定理interchange 互换interest 利息interest rate 利率interest tax 利息税interior angle 内角interior angles on the same side of the transversal 同旁内角interior opposite angle 内对角intermediate value theorem 介值定理internal bisector 内分角internal division 内分割internal energy 内能internal force 内力internal point of division 内分点interpolating polynomial 插值多项式interpolation 插值inter-quartile range 四分位数间距intersect 相交intersection (1)交集;(2)相交;(3)交点interval 区间interval estimation 区间估计;区域估计intuition 直观invalid 失效;无效invariance 不变性invariant (1)不变的;(2)不变量;不变式inverse 反的;逆的inverse circular function 反三角函数inverse cosine function 反余弦函数inverse function 反函数;逆函数inverse cosine function 反三角函数inverse function 反函数;逆映射inverse mapping 反向映射;逆映射inverse matrix 逆矩阵inverse problem 逆算问题inverse proportion 反比例;逆比例inverse relation 逆关系inverse sine function 反正弦函数inverse tangent function 反正切函数inverse variation 反变(分);逆变(分) invertible 可逆的invertible matrix 可逆矩阵irrational equation 无理方程irrational number 无理数irreducibility 不可约性irregular 不规则isomorphism 同构isosceles triangle 等腰三角形iterate (1)迭代值; (2)迭代iteration 迭代iteration form 迭代形iterative function 迭代函数iterative method 迭代法jet propulsion 喷气推进joint variation 联变(分);连变(分)kinetic energy 动能kinetic friction 动摩擦known 己知L.H.S. 末项L´Hospital´s rule 洛必达法则Lagrange interpolating polynomial 拉格朗日精选文库插值多项代Lagrange theorem 拉格朗日定理Lami´s law 拉密定律Laplace expansion 拉普拉斯展式last term 末项latent root 本征根; 首通径lattice point 格点latus rectum 正焦弦; 首通径law 律;定律law of conservation of momentum 动量守恒定律law of indices 指数律;指数定律law of inference 推论律law of trichotomy 三分律leading coefficient 首项系数leading diagonal 主对角线least common multiple, lowest common multiple (L.C.M) 最小公倍数;最低公倍式least value 最小值left hand limit 左方极限lemma 引理lemniscate 双纽线length 长(度)letter 文字;字母like surd 同类根式like terms 同类项limacon 蜗牛线limit 极限limit of sequence 序列的极限limiting case 极限情况limiting friction 最大静摩擦limiting position 极限位置line 线;行line of action 作用力线line of best-fit 最佳拟合line of greatest slope 最大斜率的直;最大斜率line of intersection 交线line segment 线段linear 线性;一次linear convergence 线性收敛性linear differeantial equation 线性微分方程linear equation 线性方程;一次方程linear equation in two unknowns 二元一次方程;二元线性方程linear inequality 一次不等式;线性不等式linear momentum 线动量linear programming 线性规划linearly dependent 线性相关的linearly independent 线性无关的literal coefficient 文字系数literal equation 文字方程load 负荷loaded coin 不公正钱币loaded die 不公正骰子local maximum 局部极大(值)local minimum 局部极小(值)locus, loci 轨迹logarithm 对数logarithmic equation 对数方程logarithmic function 对数函数logic 逻辑logical deduction 逻辑推论;逻辑推理logical step 逻辑步骤long division method 长除法loop 回路loss 赔本;亏蚀loss per cent 赔率;亏蚀百分率lower bound 下界lower limit 下限lower quartile 下四分位数lower sum 下和lower triangular matrix 下三角形矩阵lowest common multiple(L.C.M) 最小公倍数machine 机械Maclaurin expansion 麦克劳林展开式Maclaurin series 麦克劳林级数magnitude 量;数量;长度;大小major arc 优弧;大弧major axis 长轴major sector 优扇形;大扇形major segment 优弓形;大弓形mantissa 尾数mantissa of logarithm 对数的尾数;对数的定值部many to one 多个对一个many-sided figure 多边形many-valued 多值的精选文库map into 映入map onto 映上mapping 映射marked price 标价Markov chain 马可夫链mass 质量mathematical analysis 数学分析mathematical induction 数学归纳法mathematical sentence 数句mathematics 数学matrix 阵; 矩阵matrix addition 矩阵加法matrix equation 矩阵方程matrix multiplication 矩阵乘法matrix operation 矩阵运算maximize 极大maximum absolute error 最大绝对误差maximum point 极大点maximum value 极大值mean 平均(值);平均数;中数mean deviation 中均差;平均偏差mean value theorem 中值定理measure of dispersion 离差的量度measurement 量度mechanical energy 机械能median (1)中位数;(2)中线meet 相交;相遇mensuration 计量;求积法method 方法method of completing square 配方法method of interpolation 插值法; 内插法method of least squares 最小二乘法; 最小平方法method of substitution 代换法;换元法method of successive substitution 逐次代换法; 逐次调替法method of superposition 迭合法metric unit 十进制单位mid-point 中点mid-point formula 中点公式mid-point theorem 中点定理million 百万minimize 极小minimum point 极小点minimum value 极小值Minkowski Inequality 闵可夫斯基不等式minor (1)子行列式;(2)劣;较小的minor arc 劣弧;小弧minor axis 短轴minor of a determinant 子行列式minor sector 劣扇形;小扇形minor segment 劣弓形;小弓形minus 减minute 分mixed number(fraction) 带分数modal class 众数组mode 众数model 模型modulo (1)模; 模数; (2)同余modulo arithmetic 同余算术modulus 模; 模数modulus of a complex number 复数的模modulus of elasticity 弹性模(数)moment arm (1)矩臂; (2)力臂moment of a force 力矩moment of inertia 贯性矩momentum 动量monomial 单项式monotone 单调monotonic convergence 单调收敛性monotonic decreasing 单调递减monotonic decreasing function 单调递减函数monotonic function 单调函数monotonic increasing 单调递增monotonic increasing function 单调递增函数motion 运动movable pulley 动滑轮multinomial 多项式multiple 倍数multiple angle 倍角multiple-angle formula 倍角公式multiple root 多重根multiplicand 被乘数multiplication 乘法multiplication law (of probability) (概率)乘法定律multiplicative inverse 乘法逆元精选文库multiplicative property 可乘性multiplicity 重数multiplier 乘数;乘式multiply 乘multi-value 多值的mulually disjoint 互不相交mutually exclusive events 互斥事件mutually independent 独立; 互相独立mutually perpendicular lines 互相垂直n factorial n阶乘n th derivative n阶导数n th root n次根;n次方根n the root of unity 单位的n次根Napierian logarithm 纳皮尔对数; 自然对数natural logarithm 自然对数natural number 自然数natural surjection 自然满射necessary and sufficient condition 充要条件necessary condition 必要条件negation 否定式negative 负negative angle 负角negative binomial distribution 负二项式分布negative index 负指数negative integer 负整数negative number 负数negative vector 负向量; 负矢量neighborhood 邻域net 净(值)net force 净力Newton-Cote´s rule 牛顿- 高斯法则Newton-Raphson´s method 牛顿- 纳逊方法Newton´s formula 牛顿公式Newton´s law of motion 牛顿运动定律Newton´s method 牛顿方法n-gon n边形nonagon 九边形non-collinear 不共线non-commutative 非交换的non-linear 非线性non-linear equation 非线性方程non-negative 非负的non-reflexive 非自反的non-singular (1)满秩的; (2)非奇异的non-singular matrix 满秩矩阵non-transitive 非可递的non-trivial 非平凡的non-zero 非零norm 模方; 范数normal (1)垂直的;正交的;法线的(2)正态的(3)正常的;正规的normal curve 正态分布曲;常庇分布曲;正规曲;正庇曲normal distribution 正态分布,常态分布normal form 法线式normal reaction 反向法作用力normal to curve 曲线的法线normal vector 法向量normalize 正规化normalized form 标准型notation 记法;记号null 零; 空null hypothesis 零假设; 虚假设null set 空集null vector 零向量number 数number line 数线number pair 数偶number pattern 数型number plane 数平面number system 数系numeral 数字;数码numeral system 记数系统numerator 分子numerical 数值的;数字的numerical analysis 数字分析numerical expression 数字式numerical integration 数值积分法numerical method 计算方法;数值法objective function 目标函数oblique 斜的oblique asymptote 斜渐近线oblique cone 斜圆锥oblique impact 斜向碰撞oblique triangle 斜三角形obtuse angle 钝角obtuse-angled triangle 钝角三角形octagon 八边形。
英语词汇-数学词汇abbreviation 简写符号;简写abscissa 横坐标absolute complement 绝对补集absolute error 绝对误差absolute inequality 绝不等式absolute maximum 绝对极大值absolute minimum 绝对极小值absolute monotonic 绝对单调absolute value 绝对值accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累积accumulative 累积的accuracy 准确度act on 施于action 作用; 作用力acute angle 锐角acute-angled triangle 锐角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(of probability) (概率)加法定律additive inverse 加法逆元; 加法反元additive property 可加性adjacent angle 邻角adjacent side 邻边adjoint matrix 伴随矩阵algebra 代数algebraic 代数的algebraic equation 代数方程algebraic expression 代数式algebraic fraction 代数分式;代数分数式algebraic inequality 代数不等式algebraic number 代数数algebraic operation 代数运算algebraically closed 代数封闭algorithm 算法系统; 规则系统alternate angle (交)错角alternate segment 内错弓形alternating series 交错级数alternative hypothesis 择一假设; 备择假设; 另一假设-altitude 高;高度;顶垂线;高线ambiguous case 两义情况;二义情况amount 本利和;总数analysis 分析;解析analytic geometry 解析几何angle 角angle at the centre 圆心角angle at the circumference 圆周角angle between a line and a plane 直与平面的交角angle between two planes 两平面的交角angle bisection 角平分angle bisector 角平分线;分角线angle in the alternate segment 交错弓形的圆周角angle in the same segment 同弓形内的圆周角angle of depression 俯角angle of elevation 仰角angle of friction 静摩擦角; 极限角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角;交角angle of projection 投射角angle of rotation 旋转角angle of the sector 扇形角angle sum of a triangle 三角形内角和angles at a point 同顶角angular displacement 角移位angular momentum 角动量angular motion 角运动angular velocity 角速度annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆时针方向;返时针方向anti-clockwise moment 逆时针力矩anti-derivative 反导数; 反微商anti-logarithm 逆对数;反对数anti-symmetric 反对称apex 顶点approach 接近;趋近approximate value 近似值approximation 近似;略计;逼近Arabic system 阿刺伯数字系统arbitrary 任意arbitrary constant 任意常数arc 弧arc length 弧长-arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积Argand diagram 阿根图, 阿氏图argument (1)论证; (2)辐角argument of a complex number 复数的辐角argument of a function 函数的自变量arithmetic 算术arithmetic mean 算术平均;等差中顶;算术中顶arithmetic progression 算术级数;等差级数arithmetic sequence 等差序列arithmetic series 等差级数arm 边array 数组; 数组arrow 前号ascending order 递升序ascending powers of X X 的升幂assertion 断语; 断定associative law 结合律assumed mean 假定平均数assumption 假定;假设asymmetrical 非对称asymptote 渐近asymptotic error constant 渐近误差常数at rest 静止augmented matrix 增广矩阵auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 辅助方程average 平均;平均数;平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配对公理axiom of power 幂集公理axiom of specification 分类公理axiomatic theory of probability 概率公理论axis 轴axis of parabola 拋物线的轴axis of revolution 旋转轴axis of rotation 旋转轴-axis of symmetry 对称轴back substitution 回代bar chart 棒形图;条线图;条形图;线条图base (1)底;(2)基;基数base angle 底角base area 底面base line 底线base number 底数;基数base of logarithm 对数的底basis 基Bayes′theorem 贝叶斯定理bearing 方位(角);角方向(角)bell-shaped curve 钟形图belong to 属于Bernoulli distribution 伯努利分布Bernoulli trials 伯努利试验bias 偏差;偏倚biconditional 双修件式; 双修件句bijection 对射; 双射; 单满射bijective function 对射函数; 只射函数billion 十亿bimodal distribution 双峰分布binary number 二进数binary operation 二元运算binary scale 二进法binary system 二进制binomial 二项式binomial distribution 二项分布binomial expression 二项式binomial series 二项级数binomial theorem 二项式定理bisect 平分;等分bisection method 分半法;分半方法bisector 等分线;平分线Boolean algebra 布尔代数boundary condition 边界条件boundary line 界(线);边界bounded 有界的bounded above 有上界的;上有界的bounded below 有下界的;下有界的bounded function 有界函数bounded sequence 有界序列brace 大括号bracket 括号-breadth 阔度broken line graph 折线图calculation 计算calculator 计算器;计算器calculus (1) 微积分学; (2) 演算cancel 消法;相消canellation law 消去律canonical 典型; 标准capacity 容量cardioid 心脏Cartesian coordinates 笛卡儿坐标Cartesian equation 笛卡儿方程Cartesian plane 笛卡儿平面Cartesian product 笛卡儿积category 类型;范畴catenary 悬链Cauchy sequence 柯西序列Cauchy′s principal value 柯西主值Cauchy-Schwarz inequality 柯西- 许瓦尔兹不等式central limit theorem 中心极限定理central line 中线central tendency 集中趋centre 中心;心centre of a circle 圆心centre of gravity 重心centre of mass 质量中心centrifugal force 离心力centripedal acceleration 向心加速度centripedal force force 向心力centroid 形心;距心certain event 必然事件chain rule 链式法则chance 机会change of axes 坐标轴的变换change of base 基的变换change of coordinates 坐标轴的变换change of subject 主项变换change of variable 换元;变量的换characteristic equation 特征(征)方程characteristic function 特征(征)函数characteristic of logarithm 对数的首数; 对数的定位部characteristic root 特征(征)根chart 图;图表check digit 检验数位-checking 验算chord 弦chord of contact 切点弦circle 圆circular 圆形;圆的circular function 圆函数;三角函数circular measure 弧度法circular motion 圆周运动circular permutation 环形排列; 圆形排列; 循环排列circumcentre 外心;外接圆心circumcircle 外接圆circumference 圆周circumradius 外接圆半径circumscribed circle 外接圆cissoid 蔓叶class 区;组;类class boundary 组界class interval 组区间;组距class limit 组限;区限class mark 组中点;区中点classical theory of probability 古典概率论classification 分类clnometer 测斜仪clockwise direction 顺时针方向clockwise moment 顺时针力矩closed convex region 闭凸区域closed interval 闭区间coaxial 共轴coaxial circles 共轴圆coaxial system 共轴系coded data 编码数据coding method 编码法co-domain 上域coefficient 系数coefficient of friction 摩擦系数coefficient of restitution 碰撞系数; 恢复系数coefficient of variation 变差系数cofactor 余因子; 余因式cofactor matrix 列矩阵coincide 迭合;重合collection of terms 并项collinear 共线collinear planes 共线面-collision 碰撞column (1)列;纵行;(2) 柱column matrix 列矩阵column vector 列向量combination 组合common chord 公弦common denominator 同分母;公分母common difference 公差common divisor 公约数;公约common factor 公因子;公因子common logarithm 常用对数common multiple 公位数;公倍common ratio 公比common tangent 公切commutative law 交换律comparable 可比较的compass 罗盘compass bearing 罗盘方位角compasses 圆规compasses construction 圆规作图compatible 可相容的complement 余;补余complement law 补余律complementary angle 余角complementary equation 补充方程complementary event 互补事件complementary function 余函数complementary probability 互补概率complete oscillation 全振动completing the square 配方complex conjugate 复共轭complex number 复数complex unmber plane 复数平面complex root 复数根component 分量component of force 分力composite function 复合函数; 合成函数composite number 复合数;合成数composition of mappings 映射构合composition of relations 复合关系compound angle 复角compound angle formula 复角公式compound bar chart 综合棒形图compound discount 复折扣-compound interest 复利;复利息compound probability 合成概率compound statement 复合命题; 复合叙述computation 计算computer 计算机;电子计算器concave 凹concave downward 凹向下的concave polygon 凹多边形concave upward 凹向上的concentric circles 同心圆concept 概念conclusion 结论concurrent 共点concyclic 共圆concyclic points 共圆点condition 条件conditional 条件句;条件式conditional identity 条件恒等式conditional inequality 条件不等式conditional probability 条件概率cone 锥;圆锥(体)confidence coefficient 置信系数confidence interval 置信区间confidence level 置信水平confidence limit 置信极限confocal section 共焦圆锥曲congruence (1)全等;(2)同余congruence class 同余类congruent 全等congruent figures 全等图形congruent triangles 全等三角形conic 二次曲; 圆锥曲conic section 二次曲; 圆锥曲conical pendulum 圆锥摆conjecture 猜想conjugate 共轭conjugate axis 共轭conjugate diameters 共轭轴conjugate hyperbola 共轭(直)径conjugate imaginary / complex number 共轭双曲conjugate radical 共轭虚/复数conjugate surd 共轭根式; 共轭不尽根conjunction 合取connective 连词-connector box 捙接框consecutive integers 连续整数consecutive numbers 连续数;相邻数consequence 结论;推论consequent 条件;后项conservation of energy 能量守恒conservation of momentum 动量守恒conserved 守恒consistency condition 相容条件consistent 一贯的;相容的consistent estimator 相容估计量constant 常数constant acceleration 恒加速度constant force 恒力constant of integration 积分常数constant speed 恒速率constant term 常项constant velocity 怛速度constraint 约束;约束条件construct 作construction 作图construction of equation 方程的设立continued proportion 连比例continued ratio 连比continuity 连续性continuity correction 连续校正continuous 连续的continuous data 连续数据continuous function 连续函数continuous proportion 连续比例continuous random variable 连续随机变量contradiction 矛盾converge 收敛convergence 收敛性convergent 收敛的convergent iteration 收敛的迭代convergent sequence 收敛序列convergent series 收敛级数converse 逆(定理)converse of a relation 逆关系converse theorem 逆定理conversion 转换convex 凸convex polygon 凸多边形-convexity 凸性coordinate 坐标coordinate geometry 解析几何;坐标几何coordinate system 坐标系系定理;系;推论coplanar 共面coplanar forces 共面力coplanar lines 共面co-prime 互质; 互素corollary 系定理; 系; 推论correct to 准确至;取值至correlation 相关correlation coefficient 相关系数correspondence 对应corresponding angles (1)同位角;(2)对应角corresponding element 对应边corresponding sides 对应边cosecant 余割cosine 余弦cosine formula 余弦公式cost price 成本cotangent 余切countable 可数countable set 可数集countably infinite 可数无限counter clockwise direction 逆时针方向;返时针方向counter example 反例counting 数数;计数couple 力偶Carmer′s rule 克莱玛法则criterion 准则critical point 临界点critical region 临界域cirtical value 临界值cross-multiplication 交叉相乘cross-section 横切面;横截面;截痕cube 正方体;立方;立方体cube root 立方根cubic 三次方;立方;三次(的)cubic equation 三次方程cubic roots of unity 单位的立方根cuboid 长方体;矩体cumulative 累积的cumulative distribution function 累积分布函数cumulative frequecy 累积频数;累积频率-cumulative frequency curve 累积频数曲cumulative frequcncy distribution 累积频数分布cumulative frequency polygon 累积频数多边形;累积频率直方图curvature of a curve 曲线的曲率curve 曲线curve sketching 曲线描绘(法)curve tracing 曲线描迹(法)curved line 曲线curved surface 曲面curved surface area 曲面面积cyclic expression 输换式cyclic permutation 圆形排列cyclic quadrilateral 圆内接四边形cycloid 旋输线; 摆线cylinder 柱;圆柱体cylindrical 圆柱形的damped oscillation 阻尼振动data 数据De Moivre′s theorem 棣美弗定理De Morgan′s law 德摩根律decagon 十边形decay 衰变decay factor 衰变因子decelerate 减速decelaration 减速度decile 十分位数decimal 小数decimal place 小数位decimal point 小数点decimal system 十进制decision box 判定框declarative sentence 说明语句declarative statement 说明命题decoding 译码decrease 递减decreasing function 递减函数;下降函数decreasing sequence 递减序列;下降序列decreasing series 递减级数;下降级数decrement 减量deduce 演绎deduction 推论deductive reasoning 演绎推理definite 确定的;定的definite integral 定积分-definition 定义degenerated conic section 降级锥曲线degree (1) 度; (2) 次degree of a polynomial 多项式的次数degree of accuracy 准确度degree of confidence 置信度degree of freedom 自由度degree of ODE 常微分方程次数degree of precision 精确度delete 删除; 删去denary number 十进数denominator 分母dependence (1)相关; (2)应变dependent event(s) 相关事件; 相依事件; 从属事件dependent variable 应变量; 应变数depreciation 折旧derivable 可导derivative 导数derived curve 导函数曲线derived function 导函数derived statistics 推算统计资料; 派生统计资料descending order 递降序descending powers of x x的降序descriptive statistics 描述统计学detached coefficients 分离系数(法)determinant 行列式deviation 偏差; 变差deviation from the mean 离均差diagonal 对角线diagonal matrix 对角矩阵diagram 图; 图表diameter 直径diameter of a conic 二次曲线的直径difference 差difference equation 差分方程difference of sets 差集differentiable 可微differential 微分differential coefficient 微商; 微分系数differential equation 微分方程differential mean value theorem 微分中值定理differentiate 求...的导数differentiate from first principle 从基本原理求导数differentiation 微分法-digit 数字dimension 量; 量网; 维(数)direct impact 直接碰撞direct image 直接像direct proportion 正比例direct tax, direct taxation 直接税direct variation 正变(分)directed angle 有向角directed line 有向直线directed line segment 有向线段directed number 有向数direction 方向; 方位direction angle 方向角direction cosine 方向余弦direction number 方向数direction ratio 方向比directrix 准线Dirichlet function 狄利克来函数discontinuity 不连续性discontinuous 间断(的);连续(的); 不连续(的)discontinuous point 不连续点discount 折扣discrete 分立; 离散discrete data 离散数据; 间断数据discrete random variable 间断随机变数discrete uniform distribution 离散均匀分布discriminant 判别式disjoint 不相交的disjoint sets 不相交的集disjunction 析取dispersion 离差displacement 位移disprove 反证distance 距离distance formula 距离公式distinct roots 相异根distincr solution 相异解distribution 公布distributive law 分配律diverge 发散divergence 发散(性)divergent 发散的divergent iteration 发散性迭代divergent sequence 发散序列-divergent series 发散级数divide 除dividend (1)被除数;(2)股息divisible 可整除division 除法division algorithm 除法算式divisor 除数;除式;因子divisor of zero 零因子dodecagon 十二边形domain 定义域dot 点dot product 点积double angle 二倍角double angle formula 二倍角公式double root 二重根dual 对偶duality (1)对偶性; (2) 双重性due east/ south/ west /north 向东/ 南/ 西/ 北dynamics 动力学eccentric angle 离心角eccentric circles 离心圆eccentricity 离心率echelon form 梯阵式echelon matrix 梯矩阵edge 棱;边efficient estimator 有效估计量effort 施力eigenvalue 本征值eigenvector 本征向量elastic body 弹性体elastic collision 弹性碰撞elastic constant 弹性常数elastic force 弹力elasticity 弹性element 元素elementary event 基本事件elementary function 初等函数elementary row operation 基本行运算elimination 消法elimination method 消去法;消元法ellipse 椭圆ellipsiod 椭球体elliptic function 椭圆函数elongation 伸张;展-empirical data 实验数据empirical formula 实验公式empirical probability 实验概率;经验概率empty set 空集encoding 编码enclosure 界限end point 端点energy 能; 能量entire surd 整方根epicycloid 外摆线equal 相等equal ratios theorem 等比定理equal roots 等根equal sets 等集equality 等(式)equality sign 等号equation 方程equation in one unknown 一元方程equation in two unknowns(variables) 二元方程equation of a straight line 直线方程equation of locus 轨迹方程equiangular 等角(的)equidistant 等距(的)equilateral 等边(的)equilateral polygon 等边多边形equilateral triangle 等边三角形equilibrium 平衡equiprobable 等概率的equiprobable space 等概率空间equivalence 等价equivalence class 等价类equivalence relation 等价关系equivalent 等价(的)error 误差error allowance 误差宽容度error estimate 误差估计error term 误差项error tolerance 误差宽容度escribed circle 旁切圆estimate 估计;估计量estimator 估计量Euclidean algorithm 欧几里德算法Euclidean geometry 欧几里德几何-Euler′s formula 尤拉公式;欧拉公式evaluate 计值even function 偶函数even number 偶数evenly distributed 均匀分布的event 事件exact 真确exact differential form 恰当微分形式exact solution 准确解;精确解;真确解exact value 法确解;精确解;真确解example 例excentre 外心exception 例外excess 起exclusive 不包含exclusive disjunction 不包含性析取exclusive events 互斥事件exercise 练习exhaustive event(s) 彻底事件existential quantifier 存在量词expand 展开expand form 展开式expansion 展式expectation 期望expectation value, expected value 期望值;预期值experiment 实验;试验experimental 试验的experimental probability 实验概率explicit function 显函数exponent 指数exponential function 指数函数exponential order 指数阶; 指数级express…in terms of…以………表达expression 式;数式extension 外延;延长;扩张;扩充extension of a function 函数的扩张exterior angle 外角external angle bisector 外分角external point of division 外分点extreme point 极值点extreme value 极值extremum 极值face 面factor 因子;因式;商-factor method 因式分解法factor theorem 因子定理;因式定理factorial 阶乘factorization 因子分解;因式分解factorization of polynomial 多项式因式分解fallacy 谬误FALSE 假(的)falsehood 假值family 族family of circles 圆族family of concentric circles 同心圆族family of straight lines 直线族feasible solution 可行解;容许解Fermat′s last theorem 费尔马最后定理Fibonacci number 斐波那契数;黄金分割数Fibonacci sequence 斐波那契序列fictitious mean 假定平均数figure (1)图(形);(2)数字final velocity 末速度finite 有限finite dimensional vector space 有限维向量空间finite population 有限总体finite probability space 有限概率空间finite sequence 有限序列finite series 有限级数finite set 有限集first approximation 首近似值first derivative 一阶导数first order differential equation 一阶微分方程first projection 第一投影; 第一射影first quartile 第一四分位数first term 首项fixed deposit 定期存款fixed point 定点fixed point iteration method 定点迭代法fixed pulley 定滑轮flow chart 流程图focal axis 焦轴focal chord 焦弦focal length 焦距focus(foci) 焦点folium of Descartes 笛卡儿叶形线foot of perpendicular 垂足for all X 对所有X-for each /every X 对每一Xforce 力forced oscillation 受迫振动form 形式;型formal proof 形式化的证明format 格式;规格formula(formulae) 公式four leaved rose curve 四瓣玫瑰线four rules 四则four-figure table 四位数表fourth root 四次方根fraction 分数;分式fraction in lowest term 最简分数fractional equation 分式方程fractional index 分数指数fractional inequality 分式不等式free fall 自由下坠free vector 自由向量; 自由矢量frequency 频数;频率frequency distribution 频数分布;频率分布frequency distribution table 频数分布表frequency polygon 频数多边形;频率多边形friction 摩擦; 摩擦力frictionless motion 无摩擦运动frustum 平截头体fulcrum 支点function 函数function of function 复合函数;迭函数functional notation 函数记号fundamental theorem of algebra 代数基本定理fundamental theorem of calculus 微积分基本定理gain 增益;赚;盈利gain perent 赚率;增益率;盈利百分率game (1)对策;(2)博奕Gaussian distribution 高斯分布Gaussian elimination 高斯消去法general form 一般式;通式general solution 通解;一般解general term 通项generating function 母函数; 生成函数generator (1)母线; (2)生成元geoborad 几何板geometric distribution 几何分布geometric mean 几何平均数;等比中项-geometric progression 几何级数;等比级数geometric sequence 等比序列geometric series 等比级数geometry 几何;几何学given 给定;已知global 全局; 整体global maximum 全局极大值; 整体极大值global minimum 全局极小值; 整体极小值golden section 黄金分割grade 等级gradient (1)斜率;倾斜率;(2)梯度grand total 总计graph 图像;图形;图表graph paper 图表纸graphical method 图解法graphical representation 图示;以图样表达graphical solution 图解gravitational acceleration 重力加速度gravity 重力greatest term 最大项greatest value 最大值grid lines 网网格线group 组;grouped data 分组数据;分类数据grouping terms 并项;集项growth 增长growth factor 增长因子half angle 半角half angle formula 半角公式half closed interval 半闭区间half open interval 半开区间harmonic mean (1) 调和平均数; (2) 调和中项harmonic progression 调和级数head 正面(钱币)height 高(度)helix 螺旋线hemisphere 半球体;半球heptagon 七边形Heron′s formula 希罗公式heterogeneous (1)参差的; (2)不纯一的hexagon 六边形higher order derivative 高阶导数highest common factor(H.C.F) 最大公因子;最高公因式;最高公因子Hindu-Arabic numeral 阿刺伯数字-histogram 组织图;直方图;矩形图Holder′s Inequality 赫耳德不等式homogeneous 齐次的homogeneous equation 齐次方程Hooke′s law 虎克定律horizontal 水平的;水平horizontal asymptote 水平渐近线horizontal component 水平分量horizontal line 横线;水平线horizontal range 水平射程hyperbola 双曲线hyperbolic function 双曲函数hypergeometric distribution 超几何分布hypocycloid 内摆线hypotenuse 斜边hypothesis 假设hypothesis testing 假设检验hypothetical syllogism 假设三段论hypotrochoid 次内摆线idempotent 全幂等的identical 全等;恒等identity 等(式)identity element 单位元identity law 同一律identity mapping 恒等映射identity matrix 恒等矩阵identity relation 恒等关系式if and only if/iff 当且仅当;若且仅若if…, then 若….则;如果…..则illustration 例证;说明image 像点;像image axis 虚轴imaginary circle 虚圆imaginary number 虚数imaginary part 虚部imaginary root 虚根imaginary unit 虚数单位impact 碰撞implication 蕴涵式;蕴含式implicit definition 隐定义implicit function 隐函数imply 蕴涵;蕴含impossible event 不可能事件improper fraction 假分数-improper integral 广义积分; 非正常积分impulse 冲量impulsive force 冲力incentre 内力incircle 内切圆inclination 倾角;斜角inclined plane 斜面included angle 夹角included side 夹边inclusion mapping 包含映射inclusive 包含的;可兼的inclusive disjunction 包含性析取;可兼析取inconsistent 不相的(的);不一致(的)increase 递增;增加increasing function 递增函数increasing sequence 递增序列increasing series 递增级数increment 增量indefinite integral 不定积分idenfinite integration 不定积分法independence 独立;自变independent equations 独立方程independent event 独立事件independent variable 自变量;独立变量indeterminate (1)不定的;(2)不定元;未定元indeterminate coefficient 不定系数;未定系数indeterminate form 待定型;不定型index,indices 指数;指index notation 指数记数法induced operation 诱导运算induction hypothesis 归纳法假设inelastic collision 非弹性碰撞inequality 不等式;不等inequality sign 不等号inertia 惯性;惯量infer 推断inference 推论infinite 无限;无穷infinite dimensional 无限维infinite population 无限总体infinite sequence 无限序列;无穷序列infinite series 无限级数;无穷级数infinitely many 无穷多-infinitesimal 无限小;无穷小infinity 无限(大);无穷(大)inflection (inflexion) point 拐点;转折点inherent error 固有误差initial approximation 初始近似值initial condition 原始条件;初值条件initial point 始点;起点initial side 始边initial value 初值;始值initial velocity 初速度initial-value problem 初值问题injection 内射injective function 内射函数inner product 内积input 输入input box 输入inscribed circle 内切圆insertion 插入insertion of brackets 加括号instantaneous 瞬时的instantaneous acceleration 瞬时加速度instantaneous speed 瞬时速率instantaneous velocity 瞬时速度integer 整数integrable 可积integrable function 可积函数integral 积分integral index 整数指数integral mean value theorem 积数指数integral part 整数部份integral solution 整数解integral value 整数值integrand 被积函数integrate 积;积分;......的积分integrating factor 积分因子integration 积分法integration by parts 分部积分法integration by substitution 代换积分法;换元积分法integration constant 积分常数interaction 相互作用intercept 截距;截段intercept form 截距式intercept theorem 截线定理interchange 互换-interest 利息interest rate 利率interest tax 利息税interior angle 内角interior angles on the same side of the transversal 同旁内角interior opposite angle 内对角intermediate value theorem 介值定理internal bisector 内分角internal division 内分割internal energy 内能internal force 内力internal point of division 内分点interpolating polynomial 插值多项式interpolation 插值inter-quartile range 四分位数间距intersect 相交intersection (1)交集;(2)相交;(3)交点interval 区间interval estimation 区间估计;区域估计intuition 直观invalid 失效;无效invariance 不变性invariant (1)不变的;(2)不变量;不变式inverse 反的;逆的inverse circular function 反三角函数inverse cosine function 反余弦函数inverse function 反函数;逆函数inverse cosine function 反三角函数inverse function 反函数;逆映射inverse mapping 反向映射;逆映射inverse matrix 逆矩阵inverse problem 逆算问题inverse proportion 反比例;逆比例inverse relation 逆关系inverse sine function 反正弦函数inverse tangent function 反正切函数inverse variation 反变(分);逆变(分)invertible 可逆的invertible matrix 可逆矩阵irrational equation 无理方程irrational number 无理数irreducibility 不可约性irregular 不规则isomorphism 同构-isosceles triangle 等腰三角形iterate (1)迭代值; (2)迭代iteration 迭代iteration form 迭代形iterative function 迭代函数iterative method 迭代法jet propulsion 喷气推进joint variation 联变(分);连变(分)kinetic energy 动能kinetic friction 动摩擦known 己知L.H.S. 末项L′Hospital′s rule 洛必达法则Lagrange interpolating polynomial 拉格朗日插值多项代Lagrange theorem 拉格朗日定理Lami′s law 拉密定律Laplace expansion 拉普拉斯展式last term 末项latent root 本征根; 首通径lattice point 格点latus rectum 正焦弦; 首通径law 律;定律law of conservation of momentum 动量守恒定律law of indices 指数律;指数定律law of inference 推论律law of trichotomy 三分律leading coefficient 首项系数leading diagonal 主对角线least common multiple, lowest common multiple (L.C.M) 最小公倍数;最低公倍式least value 最小值left hand limit 左方极限lemma 引理lemniscate 双纽线length 长(度)letter 文字;字母like surd 同类根式like terms 同类项limacon 蜗牛线limit 极限limit of sequence 序列的极限limiting case 极限情况limiting friction 最大静摩擦limiting position 极限位置line 线;行-line of action 作用力线line of best-fit 最佳拟合line of greatest slope 最大斜率的直;最大斜率line of intersection 交线line segment 线段linear 线性;一次linear convergence 线性收敛性linear differeantial equation 线性微分方程linear equation 线性方程;一次方程linear equation in two unknowns 二元一次方程;二元线性方程linear inequality 一次不等式;线性不等式linear momentum 线动量linear programming 线性规划linearly dependent 线性相关的linearly independent 线性无关的literal coefficient 文字系数literal equation 文字方程load 负荷loaded coin 不公正钱币loaded die 不公正骰子local maximum 局部极大(值)local minimum 局部极小(值)locus, loci 轨迹logarithm 对数logarithmic equation 对数方程logarithmic function 对数函数logic 逻辑logical deduction 逻辑推论;逻辑推理logical step 逻辑步骤long division method 长除法loop 回路loss 赔本;亏蚀loss per cent 赔率;亏蚀百分率lower bound 下界lower limit 下限lower quartile 下四分位数lower sum 下和lower triangular matrix 下三角形矩阵lowest common multiple(L.C.M) 最小公倍数machine 机械Maclaurin expansion 麦克劳林展开式Maclaurin series 麦克劳林级数magnitude 量;数量;长度;大小major arc 优弧;大弧-major axis 长轴major sector 优扇形;大扇形major segment 优弓形;大弓形mantissa 尾数mantissa of logarithm 对数的尾数;对数的定值部many to one 多个对一个many-sided figure 多边形many-valued 多值的map into 映入map onto 映上mapping 映射marked price 标价Markov chain 马可夫链mass 质量mathematical analysis 数学分析mathematical induction 数学归纳法mathematical sentence 数句mathematics 数学matrix 阵; 矩阵matrix addition 矩阵加法matrix equation 矩阵方程matrix multiplication 矩阵乘法matrix operation 矩阵运算maximize 极大maximum absolute error 最大绝对误差maximum point 极大点maximum value 极大值mean 平均(值);平均数;中数mean deviation 中均差;平均偏差mean value theorem 中值定理measure of dispersion 离差的量度measurement 量度mechanical energy 机械能median (1)中位数;(2)中线meet 相交;相遇mensuration 计量;求积法method 方法method of completing square 配方法method of interpolation 插值法; 内插法method of least squares 最小二乘法; 最小平方法method of substitution 代换法;换元法method of successive substitution 逐次代换法; 逐次调替法method of superposition 迭合法metric unit 十进制单位-mid-point 中点mid-point formula 中点公式mid-point theorem 中点定理million 百万minimize 极小minimum point 极小点minimum value 极小值Minkowski Inequality 闵可夫斯基不等式minor (1)子行列式;(2)劣;较小的minor arc 劣弧;小弧minor axis 短轴minor of a determinant 子行列式minor sector 劣扇形;小扇形minor segment 劣弓形;小弓形minus 减minute 分mixed number(fraction) 带分数modal class 众数组mode 众数model 模型modulo (1)模; 模数; (2)同余modulo arithmetic 同余算术modulus 模; 模数modulus of a complex number 复数的模modulus of elasticity 弹性模(数)moment arm (1)矩臂; (2)力臂moment of a force 力矩moment of inertia 贯性矩momentum 动量monomial 单项式monotone 单调monotonic convergence 单调收敛性monotonic decreasing 单调递减monotonic decreasing function 单调递减函数monotonic function 单调函数monotonic increasing 单调递增monotonic increasing function 单调递增函数motion 运动movable pulley 动滑轮multinomial 多项式multiple 倍数multiple angle 倍角multiple-angle formula 倍角公式multiple root 多重根。
数学词汇中英文对照abbreviation 简写符号;简写abscissa 横坐标absolute complement 绝对补集absolute error 绝对误差absolute inequality 绝不等式absolute maximum 绝对极大值absolute minimum 绝对极小值absolute monotonic 绝对单调absolute value 绝对值accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累积accumulative 累积的accuracy 准确度act on 施于action 作用; 作用力acute angle 锐角acute-angled triangle 锐角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(of probability) (概率)加法定律additive inverse 加法逆元; 加法反元additive property 可加性adjacent angle 邻角adjacent side 邻边adjoint matrix 伴随矩阵algebra 代数algebraic 代数的algebraic equation 代数方程algebraic expression 代数式algebraic fraction 代数分式;代数分数式algebraic inequality 代数不等式algebraic number 代数数algebraic operation 代数运算algebraically closed 代数封闭algorithm 算法系统; 规则系统alternate angle (交)错角alternate segment 内错弓形alternating series 交错级数alternative hypothesis 择一假设; 备择假设; 另一假设altitude 高;高度;顶垂线;高线ambiguous case 两义情况;二义情况amount 本利和;总数analysis 分析;解析analytic geometry 解析几何angle 角angle at the centre 圆心角angle at the circumference 圆周角angle between a line and a plane 直 与平面的交角angle between two planes 两平面的交角angle bisection 角平分angle bisector 角平分线 ;分角线angle in the alternate segment 交错弓形的圆周角angle in the same segment 同弓形内的圆周角angle of depression 俯角angle of elevation 仰角angle of friction 静摩擦角; 极限角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角;交角angle of projection 投射角angle of rotation 旋转角angle of the sector 扇形角angle sum of a triangle 三角形内角和angles at a point 同顶角angular displacement 角移位angular momentum 角动量angular motion 角运动angular velocity 角速度annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆时针方向;返时针方向anti-clockwise moment 逆时针力矩anti-derivative 反导数; 反微商anti-logarithm 逆对数;反对数anti-symmetric 反对称apex 顶点approach 接近;趋近approximate value 近似值approximation 近似;略计;逼近Arabic system 阿刺伯数字系统arbitrary 任意arbitrary constant 任意常数arc 弧arc length 弧长arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积Argand diagram 阿根图, 阿氏图argument (1)论证; (2)辐角argument of a complex number 复数的辐角argument of a function 函数的自变量arithmetic 算术arithmetic mean 算术平均;等差中顶;算术中顶arithmetic progression 算术级数;等差级数arithmetic sequence 等差序列arithmetic series 等差级数arm 边array 数组; 数组arrow 前号ascending order 递升序ascending powers of X X 的升幂assertion 断语; 断定associative law 结合律assumed mean 假定平均数assumption 假定;假设asymmetrical 非对称asymptote 渐近asymptotic error constant 渐近误差常数at rest 静止augmented matrix 增广矩阵auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 辅助方程average 平均;平均数;平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配对公理axiom of power 幂集公理axiom of specification 分类公理axiomatic theory of probability 概率公理论axis 轴axis of parabola 拋物线的轴axis of revolution 旋转轴axis of rotation 旋转轴axis of symmetry 对称轴back substitution 回代bar chart 棒形图;条线图;条形图;线条图base (1)底;(2)基;基数base angle 底角base area 底面base line 底线base number 底数;基数base of logarithm 对数的底basis 基Bayes´theorem 贝叶斯定理bearing 方位(角);角方向(角)bell-shaped curve 钟形图belong to 属于Bernoulli distribution 伯努利分布Bernoulli trials 伯努利试验bias 偏差;偏倚biconditional 双修件式; 双修件句bijection 对射; 双射; 单满射bijective function 对射函数; 只射函数billion 十亿bimodal distribution 双峰分布binary number 二进数binary operation 二元运算binary scale 二进法binary system 二进制binomial 二项式binomial distribution 二项分布binomial expression 二项式binomial series 二项级数binomial theorem 二项式定理bisect 平分;等分bisection method 分半法;分半方法bisector 等分线 ;平分线Boolean algebra 布尔代数boundary condition 边界条件boundary line 界(线);边界bounded 有界的bounded above 有上界的;上有界的bounded below 有下界的;下有界的bounded function 有界函数bounded sequence 有界序列brace 大括号bracket 括号breadth 阔度broken line graph 折线图calculation 计算calculator 计算器;计算器calculus (1) 微积分学; (2) 演算cancel 消法;相消canellation law 消去律canonical 典型; 标准capacity 容量cardioid 心脏Cartesian coordinates 笛卡儿坐标Cartesian equation 笛卡儿方程Cartesian plane 笛卡儿平面Cartesian product 笛卡儿积category 类型;范畴catenary 悬链Cauchy sequence 柯西序列Cauchy´s principal value 柯西主值Cauchy-Schwarz inequality 柯西- 许瓦尔兹不等式central limit theorem 中心极限定理central line 中线central tendency 集中趋centre 中心;心centre of a circle 圆心centre of gravity 重心centre of mass 质量中心centrifugal force 离心力centripedal acceleration 向心加速度centripedal force force 向心力centroid 形心;距心certain event 必然事件chain rule 链式法则chance 机会change of axes 坐标轴的变换change of base 基的变换change of coordinates 坐标轴的变换change of subject 主项变换change of variable 换元;变量的换characteristic equation 特征(征)方程characteristic function 特征(征)函数characteristic of logarithm 对数的首数; 对数的定位部characteristic root 特征(征)根chart 图;图表check digit 检验数位checking 验算chord 弦chord of contact 切点弦circle 圆circular 圆形;圆的circular function 圆函数;三角函数circular measure 弧度法circular motion 圆周运动circular permutation 环形排列; 圆形排列; 循环排列circumcentre 外心;外接圆心circumcircle 外接圆circumference 圆周circumradius 外接圆半径circumscribed circle 外接圆cissoid 蔓叶class 区;组;类class boundary 组界class interval 组区间;组距class limit 组限;区限class mark 组中点;区中点classical theory of probability 古典概率论classification 分类clnometer 测斜仪clockwise direction 顺时针方向clockwise moment 顺时针力矩closed convex region 闭凸区域closed interval 闭区间coaxial 共轴coaxial circles 共轴圆coaxial system 共轴系coded data 编码数据coding method 编码法co-domain 上域coefficient 系数coefficient of friction 摩擦系数coefficient of restitution 碰撞系数; 恢复系数coefficient of variation 变差系数cofactor 余因子; 余因式cofactor matrix 列矩阵coincide 迭合;重合collection of terms 并项collinear 共线collinear planes 共线面collision 碰撞column (1)列;纵行;(2) 柱column matrix 列矩阵column vector 列向量combination 组合common chord 公弦common denominator 同分母;公分母common difference 公差common divisor 公约数;公约common factor 公因子;公因子common logarithm 常用对数common multiple 公位数;公倍common ratio 公比common tangent 公切 commutative law 交换律comparable 可比较的compass 罗盘compass bearing 罗盘方位角compasses 圆规compasses construction 圆规作图compatible 可相容的complement 余;补余complement law 补余律complementary angle 余角complementary equation 补充方程complementary event 互补事件complementary function 余函数complementary probability 互补概率complete oscillation 全振动completing the square 配方complex conjugate 复共轭complex number 复数complex unmber plane 复数平面complex root 复数根component 分量component of force 分力composite function 复合函数; 合成函数composite number 复合数;合成数composition of mappings 映射构合composition of relations 复合关系compound angle 复角compound angle formula 复角公式compound bar chart 综合棒形图compound discount 复折扣compound interest 复利;复利息compound probability 合成概率compound statement 复合命题; 复合叙述computation 计算computer 计算机;电子计算器concave 凹concave downward 凹向下的concave polygon 凹多边形concave upward 凹向上的concentric circles 同心圆concept 概念conclusion 结论concurrent 共点concyclic 共圆concyclic points 共圆点condition 条件conditional 条件句;条件式conditional identity 条件恒等式conditional inequality 条件不等式conditional probability 条件概率cone 锥;圆锥(体)confidence coefficient 置信系数confidence interval 置信区间confidence level 置信水平confidence limit 置信极限confocal section 共焦圆锥曲congruence (1)全等;(2)同余congruence class 同余类congruent 全等congruent figures 全等图形congruent triangles 全等三角形conic 二次曲 ; 圆锥曲conic section 二次曲 ; 圆锥曲conical pendulum 圆锥摆conjecture 猜想conjugate 共轭conjugate axis 共轭conjugate diameters 共轭轴conjugate hyperbola 共轭(直)径conjugate imaginary / complex number 共轭双曲 conjugate radical 共轭虚/复数conjugate surd 共轭根式; 共轭不尽根conjunction 合取connective 连词connector box 捙接框consecutive integers 连续整数consecutive numbers 连续数;相邻数consequence 结论;推论consequent 条件;后项conservation of energy 能量守恒conservation of momentum 动量守恒conserved 守恒consistency condition 相容条件consistent 一贯的;相容的consistent estimator 相容估计量constant 常数constant acceleration 恒加速度constant force 恒力constant of integration 积分常数constant speed 恒速率constant term 常项constant velocity 怛速度constraint 约束;约束条件construct 作construction 作图construction of equation 方程的设立continued proportion 连比例continued ratio 连比continuity 连续性continuity correction 连续校正continuous 连续的continuous data 连续数据continuous function 连续函数continuous proportion 连续比例continuous random variable 连续随机变量contradiction 矛盾converge 收敛convergence 收敛性convergent 收敛的convergent iteration 收敛的迭代convergent sequence 收敛序列convergent series 收敛级数converse 逆(定理)converse of a relation 逆关系converse theorem 逆定理conversion 转换convex 凸convex polygon 凸多边形convexity 凸性coordinate 坐标coordinate geometry 解析几何;坐标几何coordinate system 坐标系系定理;系;推论coplanar 共面coplanar forces 共面力coplanar lines 共面co-prime 互质; 互素corollary 系定理; 系; 推论correct to 准确至;取值至correlation 相关correlation coefficient 相关系数correspondence 对应corresponding angles (1)同位角;(2)对应角corresponding element 对应边corresponding sides 对应边cosecant 余割cosine 余弦cosine formula 余弦公式cost price 成本cotangent 余切countable 可数countable set 可数集countably infinite 可数无限counter clockwise direction 逆时针方向;返时针方向counter example 反例counting 数数;计数couple 力偶Carmer´s rule 克莱玛法则criterion 准则critical point 临界点critical region 临界域cirtical value 临界值cross-multiplication 交叉相乘cross-section 横切面;横截面;截痕cube 正方体;立方;立方体cube root 立方根cubic 三次方;立方;三次(的)cubic equation 三次方程cubic roots of unity 单位的立方根cuboid 长方体;矩体cumulative 累积的cumulative distribution function 累积分布函数cumulative frequecy 累积频数;累积频率cumulative frequency curve 累积频数曲cumulative frequcncy distribution 累积频数分布cumulative frequency polygon 累积频数多边形;累积频率直方图curvature of a curve 曲线的曲率curve 曲线curve sketching 曲线描绘(法)curve tracing 曲线描迹(法)curved line 曲线curved surface 曲面curved surface area 曲面面积cyclic expression 输换式cyclic permutation 圆形排列cyclic quadrilateral 圆内接四边形cycloid 旋输线; 摆线cylinder 柱;圆柱体cylindrical 圆柱形的damped oscillation 阻尼振动data 数据De Moivre´s theorem 棣美弗定理De Morgan´s law 德摩根律decagon 十边形decay 衰变decay factor 衰变因子decelerate 减速decelaration 减速度decile 十分位数decimal 小数decimal place 小数位decimal point 小数点decimal system 十进制decision box 判定框declarative sentence 说明语句declarative statement 说明命题decoding 译码decrease 递减decreasing function 递减函数;下降函数decreasing sequence 递减序列;下降序列decreasing series 递减级数;下降级数decrement 减量deduce 演绎deduction 推论deductive reasoning 演绎推理definite 确定的;定的definite integral 定积分definition 定义degenerated conic section 降级锥曲线degree (1) 度; (2) 次degree of a polynomial 多项式的次数degree of accuracy 准确度degree of confidence 置信度degree of freedom 自由度degree of ODE 常微分方程次数degree of precision 精确度delete 删除; 删去denary number 十进数denominator 分母dependence (1)相关; (2)应变dependent event(s) 相关事件; 相依事件; 从属事件dependent variable 应变量; 应变数depreciation 折旧derivable 可导derivative 导数derived curve 导函数曲线derived function 导函数derived statistics 推算统计资料; 派生统计资料descending order 递降序descending powers of x x的降序descriptive statistics 描述统计学detached coefficients 分离系数(法)determinant 行列式deviation 偏差; 变差deviation from the mean 离均差diagonal 对角线diagonal matrix 对角矩阵diagram 图; 图表diameter 直径diameter of a conic 二次曲线的直径difference 差difference equation 差分方程difference of sets 差集differentiable 可微differential 微分differential coefficient 微商; 微分系数differential equation 微分方程differential mean value theorem 微分中值定理differentiate 求...的导数differentiate from first principle 从基本原理求导数differentiation 微分法digit 数字dimension 量; 量网; 维(数)direct impact 直接碰撞direct image 直接像direct proportion 正比例direct tax, direct taxation 直接税direct variation 正变(分)directed angle 有向角directed line 有向直线directed line segment 有向线段directed number 有向数direction 方向; 方位direction angle 方向角direction cosine 方向余弦direction number 方向数direction ratio 方向比directrix 准线Dirichlet function 狄利克来函数discontinuity 不连续性discontinuous 间断(的);连续(的); 不连续(的) discontinuous point 不连续点discount 折扣discrete 分立; 离散discrete data 离散数据; 间断数据discrete random variable 间断随机变数discrete uniform distribution 离散均匀分布discriminant 判别式disjoint 不相交的disjoint sets 不相交的集disjunction 析取dispersion 离差displacement 位移disprove 反证distance 距离distance formula 距离公式distinct roots 相异根distincr solution 相异解distribution 公布distributive law 分配律diverge 发散divergence 发散(性)divergent 发散的divergent iteration 发散性迭代divergent sequence 发散序列divergent series 发散级数divide 除dividend (1)被除数;(2)股息divisible 可整除division 除法division algorithm 除法算式divisor 除数;除式;因子divisor of zero 零因子dodecagon 十二边形domain 定义域dot 点dot product 点积double angle 二倍角double angle formula 二倍角公式double root 二重根dual 对偶duality (1)对偶性; (2) 双重性due east/ south/ west /north 向东/ 南/ 西/ 北dynamics 动力学eccentric angle 离心角eccentric circles 离心圆eccentricity 离心率echelon form 梯阵式echelon matrix 梯矩阵edge 棱;边efficient estimator 有效估计量effort 施力eigenvalue 本征值eigenvector 本征向量elastic body 弹性体elastic collision 弹性碰撞elastic constant 弹性常数elastic force 弹力elasticity 弹性element 元素elementary event 基本事件elementary function 初等函数elementary row operation 基本行运算elimination 消法elimination method 消去法;消元法ellipse 椭圆ellipsiod 椭球体elliptic function 椭圆函数elongation 伸张;展empirical data 实验数据empirical formula 实验公式empirical probability 实验概率;经验概率empty set 空集encoding 编码enclosure 界限end point 端点energy 能; 能量entire surd 整方根epicycloid 外摆线equal 相等equal ratios theorem 等比定理equal roots 等根equal sets 等集equality 等(式)equality sign 等号equation 方程equation in one unknown 一元方程equation in two unknowns (variables) 二元方程equation of a straight line 直线方程equation of locus 轨迹方程equiangular 等角(的)equidistant 等距(的)equilateral 等边(的)equilateral polygon 等边多边形equilateral triangle 等边三角形equilibrium 平衡equiprobable 等概率的equiprobable space 等概率空间equivalence 等价equivalence class 等价类equivalence relation 等价关系equivalent 等价(的)error 误差error allowance 误差宽容度error estimate 误差估计error term 误差项error tolerance 误差宽容度escribed circle 旁切圆estimate 估计;估计量estimator 估计量Euclidean algorithm 欧几里德算法Euclidean geometry 欧几里德几何Euler´s formula 尤拉公式;欧拉公式evaluate 计值even function 偶函数even number 偶数evenly distributed 均匀分布的event 事件exact 真确exact differential form 恰当微分形式exact solution 准确解;精确解;真确解exact value 法确解;精确解;真确解example 例excentre 外心exception 例外excess 起exclusive 不包含exclusive disjunction 不包含性析取exclusive events 互斥事件exercise 练习exhaustive event(s) 彻底事件existential quantifier 存在量词expand 展开expand form 展开式expansion 展式expectation 期望expectation value, expected value 期望值;预期值experiment 实验;试验experimental 试验的experimental probability 实验概率explicit function 显函数exponent 指数exponential function 指数函数exponential order 指数阶; 指数级express…in terms of…以………表达expression 式;数式extension 外延;延长;扩张;扩充extension of a function 函数的扩张exterior angle 外角external angle bisector 外分角external point of division 外分点extreme point 极值点extreme value 极值extremum 极值face 面factor 因子;因式;商factor method 因式分解法factor theorem 因子定理;因式定理factorial 阶乘factorization 因子分解;因式分解factorization of polynomial 多项式因式分解fallacy 谬误FALSE 假(的)falsehood 假值family 族family of circles 圆族family of concentric circles 同心圆族family of straight lines 直线族feasible solution 可行解;容许解Fermat´s last theorem 费尔马最后定理Fibonacci number 斐波那契数;黄金分割数Fibonacci sequence 斐波那契序列fictitious mean 假定平均数figure (1)图(形);(2)数字final velocity 末速度finite 有限finite dimensional vector space 有限维向量空间finite population 有限总体finite probability space 有限概率空间finite sequence 有限序列finite series 有限级数finite set 有限集first approximation 首近似值first derivative 一阶导数first order differential equation 一阶微分方程first projection 第一投影; 第一射影first quartile 第一四分位数first term 首项fixed deposit 定期存款fixed point 定点fixed point iteration method 定点迭代法fixed pulley 定滑轮flow chart 流程图focal axis 焦轴focal chord 焦弦focal length 焦距focus(foci) 焦点folium of Descartes 笛卡儿叶形线foot of perpendicular 垂足for all X 对所有Xfor each /every X 对每一Xforce 力forced oscillation 受迫振动form 形式;型formal proof 形式化的证明format 格式;规格formula(formulae) 公式four leaved rose curve 四瓣玫瑰线four rules 四则four-figure table 四位数表fourth root 四次方根fraction 分数;分式fraction in lowest term 最简分数fractional equation 分式方程fractional index 分数指数fractional inequality 分式不等式free fall 自由下坠free vector 自由向量; 自由矢量frequency 频数;频率frequency distribution 频数分布;频率分布frequency distribution table 频数分布表frequency polygon 频数多边形;频率多边形friction 摩擦; 摩擦力frictionless motion 无摩擦运动frustum 平截头体fulcrum 支点function 函数function of function 复合函数;迭函数functional notation 函数记号fundamental theorem of algebra 代数基本定理fundamental theorem of calculus 微积分基本定理gain 增益;赚;盈利gain perent 赚率;增益率;盈利百分率game (1)对策;(2)博奕Gaussian distribution 高斯分布Gaussian elimination 高斯消去法general form 一般式;通式general solution 通解;一般解general term 通项generating function 母函数; 生成函数generator (1)母线; (2)生成元geoborad 几何板geometric distribution 几何分布geometric mean 几何平均数;等比中项geometric progression 几何级数;等比级数geometric sequence 等比序列geometric series 等比级数geometry 几何;几何学given 给定;已知global 全局; 整体global maximum 全局极大值; 整体极大值global minimum 全局极小值; 整体极小值golden section 黄金分割grade 等级gradient (1)斜率;倾斜率;(2)梯度grand total 总计graph 图像;图形;图表graph paper 图表纸graphical method 图解法graphical representation 图示;以图样表达graphical solution 图解gravitational acceleration 重力加速度gravity 重力greatest term 最大项greatest value 最大值grid lines 网网格线group 组;grouped data 分组数据;分类数据grouping terms 并项;集项growth 增长growth factor 增长因子half angle 半角half angle formula 半角公式half closed interval 半闭区间half open interval 半开区间harmonic mean (1) 调和平均数; (2) 调和中项harmonic progression 调和级数head 正面(钱币)height 高(度)helix 螺旋线hemisphere 半球体;半球heptagon 七边形Heron´s formula 希罗公式heterogeneous (1)参差的; (2)不纯一的hexagon 六边形higher order derivative 高阶导数highest common factor(H.C.F) 最大公因子;最高公因式;最高公因子Hindu-Arabic numeral 阿刺伯数字histogram 组织图;直方图;矩形图Holder´s Inequality 赫耳德不等式homogeneous 齐次的homogeneous equation 齐次方程Hooke´s law 虎克定律horizontal 水平的;水平horizontal asymptote 水平渐近线horizontal component 水平分量horizontal line 横线 ;水平线 horizontal range 水平射程hyperbola 双曲线hyperbolic function 双曲函数hypergeometric distribution 超几何分布hypocycloid 内摆线hypotenuse 斜边hypothesis 假设hypothesis testing 假设检验hypothetical syllogism 假设三段论hypotrochoid 次内摆线idempotent 全幂等的identical 全等;恒等identity 等(式)identity element 单位元identity law 同一律identity mapping 恒等映射identity matrix 恒等矩阵identity relation 恒等关系式if and only if/iff 当且仅当;若且仅若if…, then 若….则;如果…..则illustration 例证;说明image 像点;像image axis 虚轴imaginary circle 虚圆imaginary number 虚数imaginary part 虚部imaginary root 虚根imaginary unit 虚数单位impact 碰撞implication 蕴涵式;蕴含式implicit definition 隐定义implicit function 隐函数imply 蕴涵;蕴含impossible event 不可能事件improper fraction 假分数improper integral 广义积分; 非正常积分impulse 冲量impulsive force 冲力incentre 内力incircle 内切圆inclination 倾角;斜角inclined plane 斜面included angle 夹角included side 夹边inclusion mapping 包含映射inclusive 包含的;可兼的inclusive disjunction 包含性析取;可兼析取inconsistent 不相的(的);不一致(的) increase 递增;增加increasing function 递增函数increasing sequence 递增序列increasing series 递增级数increment 增量indefinite integral 不定积分idenfinite integration 不定积分法independence 独立;自变independent equations 独立方程independent event 独立事件independent variable 自变量;独立变量indeterminate (1)不定的;(2)不定元;未定元indeterminate coefficient 不定系数;未定系数indeterminate form 待定型;不定型index,indices 指数;指index notation 指数记数法induced operation 诱导运算induction hypothesis 归纳法假设inelastic collision 非弹性碰撞inequality 不等式;不等inequality sign 不等号inertia 惯性;惯量infer 推断inference 推论infinite 无限;无穷infinite dimensional 无限维infinite population 无限总体infinite sequence 无限序列;无穷序列infinite series 无限级数;无穷级数infinitely many 无穷多infinitesimal 无限小;无穷小infinity 无限(大);无穷(大)inflection (inflexion) point 拐点;转折点inherent error 固有误差initial approximation 初始近似值initial condition 原始条件;初值条件initial point 始点;起点initial side 始边initial value 初值;始值initial velocity 初速度initial-value problem 初值问题injection 内射injective function 内射函数inner product 内积input 输入input box 输入inscribed circle 内切圆insertion 插入insertion of brackets 加括号instantaneous 瞬时的instantaneous acceleration 瞬时加速度instantaneous speed 瞬时速率instantaneous velocity 瞬时速度integer 整数integrable 可积integrable function 可积函数integral 积分integral index 整数指数integral mean value theorem 积数指数integral part 整数部份integral solution 整数解integral value 整数值integrand 被积函数integrate 积;积分;......的积分integrating factor 积分因子integration 积分法integration by parts 分部积分法integration by substitution 代换积分法;换元积分法integration constant 积分常数interaction 相互作用intercept 截距;截段intercept form 截距式intercept theorem 截线定理interchange 互换interest 利息interest rate 利率interest tax 利息税interior angle 内角interior angles on the same side of the transversal 同旁内角interior opposite angle 内对角intermediate value theorem 介值定理internal bisector 内分角internal division 内分割internal energy 内能internal force 内力internal point of division 内分点interpolating polynomial 插值多项式interpolation 插值inter-quartile range 四分位数间距intersect 相交intersection (1)交集;(2)相交;(3)交点interval 区间interval estimation 区间估计;区域估计intuition 直观invalid 失效;无效invariance 不变性invariant (1)不变的;(2)不变量;不变式inverse 反的;逆的inverse circular function 反三角函数inverse cosine function 反余弦函数inverse function 反函数;逆函数inverse cosine function 反三角函数inverse function 反函数;逆映射inverse mapping 反向映射;逆映射inverse matrix 逆矩阵inverse problem 逆算问题inverse proportion 反比例;逆比例inverse relation 逆关系inverse sine function 反正弦函数inverse tangent function 反正切函数inverse variation 反变(分);逆变(分)invertible 可逆的invertible matrix 可逆矩阵irrational equation 无理方程irrational number 无理数irreducibility 不可约性irregular 不规则isomorphism 同构isosceles triangle 等腰三角形iterate (1)迭代值; (2)迭代iteration 迭代iteration form 迭代形iterative function 迭代函数iterative method 迭代法jet propulsion 喷气推进joint variation 联变(分);连变(分)kinetic energy 动能kinetic friction 动摩擦known 己知L.H.S. 末项L´Hospital´s rule 洛必达法则Lagrange interpolating polynomial 拉格朗日插值多项代Lagrange theorem 拉格朗日定理Lami´s law 拉密定律Laplace expansion 拉普拉斯展式last term 末项latent root 本征根; 首通径lattice point 格点latus rectum 正焦弦; 首通径law 律;定律law of conservation of momentum 动量守恒定律law of indices 指数律;指数定律law of inference 推论律law of trichotomy 三分律leading coefficient 首项系数leading diagonal 主对角线least common multiple, lowest common multiple (L.C.M) 最小公倍数;最低公倍式least value 最小值left hand limit 左方极限lemma 引理lemniscate 双纽线length 长(度)letter 文字;字母like surd 同类根式like terms 同类项limacon 蜗牛线limit 极限limit of sequence 序列的极限limiting case 极限情况limiting friction 最大静摩擦limiting position 极限位置line 线;行line of action 作用力线line of best-fit 最佳拟合line of greatest slope 最大斜率的直 ;最大斜率line of intersection 交线line segment 线段linear 线性;一次linear convergence 线性收敛性linear differeantial equation 线性微分方程linear equation 线性方程;一次方程linear equation in two unknowns 二元一次方程;二元线性方程linear inequality 一次不等式;线性不等式linear momentum 线动量linear programming 线性规划linearly dependent 线性相关的linearly independent 线性无关的literal coefficient 文字系数literal equation 文字方程load 负荷loaded coin 不公正钱币loaded die 不公正骰子local maximum 局部极大(值)local minimum 局部极小(值)locus, loci 轨迹logarithm 对数logarithmic equation 对数方程logarithmic function 对数函数logic 逻辑logical deduction 逻辑推论;逻辑推理logical step 逻辑步骤long division method 长除法loop 回路loss 赔本;亏蚀loss per cent 赔率;亏蚀百分率lower bound 下界lower limit 下限lower quartile 下四分位数lower sum 下和lower triangular matrix 下三角形矩阵lowest common multiple(L.C.M) 最小公倍数machine 机械Maclaurin expansion 麦克劳林展开式Maclaurin series 麦克劳林级数magnitude 量;数量;长度;大小major arc 优弧;大弧major axis 长轴major sector 优扇形;大扇形major segment 优弓形;大弓形mantissa 尾数mantissa of logarithm 对数的尾数;对数的定值部many to one 多个对一个many-sided figure 多边形many-valued 多值的map into 映入map onto 映上mapping 映射marked price 标价Markov chain 马可夫链mass 质量mathematical analysis 数学分析mathematical induction 数学归纳法mathematical sentence 数句mathematics 数学matrix 阵; 矩阵matrix addition 矩阵加法matrix equation 矩阵方程matrix multiplication 矩阵乘法matrix operation 矩阵运算maximize 极大maximum absolute error 最大绝对误差maximum point 极大点maximum value 极大值mean 平均(值);平均数;中数mean deviation 中均差;平均偏差mean value theorem 中值定理measure of dispersion 离差的量度measurement 量度mechanical energy 机械能median (1)中位数;(2)中线meet 相交;相遇mensuration 计量;求积法method 方法method of completing square 配方法method of interpolation 插值法; 内插法method of least squares 最小二乘法; 最小平方法method of substitution 代换法;换元法method of successive substitution 逐次代换法; 逐次调替法method of superposition 迭合法metric unit 十进制单位mid-point 中点mid-point formula 中点公式mid-point theorem 中点定理million 百万minimize 极小minimum point 极小点minimum value 极小值Minkowski Inequality 闵可夫斯基不等式minor (1)子行列式;(2)劣;较小的minor arc 劣弧;小弧minor axis 短轴minor of a determinant 子行列式minor sector 劣扇形;小扇形minor segment 劣弓形;小弓形minus 减minute 分mixed number(fraction) 带分数modal class 众数组mode 众数model 模型modulo (1)模; 模数; (2)同余modulo arithmetic 同余算术modulus 模; 模数modulus of a complex number 复数的模modulus of elasticity 弹性模(数)moment arm (1)矩臂; (2)力臂moment of a force 力矩moment of inertia 贯性矩momentum 动量monomial 单项式monotone 单调monotonic convergence 单调收敛性monotonic decreasing 单调递减monotonic decreasing function 单调递减函数monotonic function 单调函数monotonic increasing 单调递增monotonic increasing function 单调递增函数motion 运动movable pulley 动滑轮multinomial 多项式multiple 倍数multiple angle 倍角multiple-angle formula 倍角公式multiple root 多重根multiplicand 被乘数multiplication 乘法multiplication law (of probability) (概率)乘法定律multiplicative inverse 乘法逆元multiplicative property 可乘性multiplicity 重数multiplier 乘数;乘式multiply 乘multi-value 多值的mulually disjoint 互不相交mutually exclusive events 互斥事件mutually independent 独立; 互相独立mutually perpendicular lines 互相垂直n factorial n阶乘n th derivative n阶导数n th root n次根;n次方根n the root of unity 单位的n次根Napierian logarithm 纳皮尔对数; 自然对数natural logarithm 自然对数natural number 自然数natural surjection 自然满射necessary and sufficient condition 充要条件necessary condition 必要条件negation 否定式negative 负negative angle 负角negative binomial distribution 负二项式分布negative index 负指数negative integer 负整数negative number 负数negative vector 负向量; 负矢量neighborhood 邻域net 净(值)net force 净力Newton-Cote´s rule 牛顿- 高斯法则Newton-Raphson´s method 牛顿- 纳逊方法Newton´s formula 牛顿公式Newton´s law of motion 牛顿运动定律Newton´s method 牛顿方法n-gon n边形nonagon 九边形non-collinear 不共线non-commutative 非交换的non-linear 非线性。
Lorenz Halbeisen and Norbert Hungerb¨uhlerMSC:Primary51M04,Secondary51A20;key words:Poncelet’s Porism,Pascal’s TheoremJanuary2014]A SIMPLE PROOF OF PONCELET’S THEOREM1used Abel’s Theorem and the representation of elliptic curves by means of the Weier-strass ℘-function to establish the equivalence of Poncelet’s Theorem and the groupstructure on elliptic curves,see [11].Poncelet’s Theorem has a surprising mechani-cal interpretation for elliptic billiards in the language of dynamical systems:see [8]or [7]for an overview of this facet.A common approach to all four classical closingtheorems (the Poncelet porism,Steiner’s Theorem,the Zigzag Theorem,and Emch’sTheorem)has recently been established by Protasov in [18].King showed in [14],thatPoncelet’s porism is isomorphic to Tarski’s plank problem (a problem about geometricset-inclusion)and to Gelfand’s question (a number theoretic problem)via the con-struction of an invariant measure.However,according to Berger [1,p.203],all knownproofs of Poncelet’s Theorem are rather long and recondite.The aim of this paper is to give a simple proof of Poncelet’s Theorem in the realprojective plane.More precisely,we will show that Poncelet’s Theorem is a purelycombinatorial consequence of Pascal’s Theorem.Before we give several forms of thelatter,let us introduce some notation.For two points a and b ,let a −b denote the linethrough a and b ,and for two lines ℓ1and ℓ2,let ℓ1∧ℓ2denote the intersection pointof these lines in the projective plane.In abuse of notation,we often write a −b −c inorder to emphasize that the points a ,b ,c are collinear.In the sequel,points are oftenlabeled with numbers,and lines with encircled numbers like ③.In this terminology,Pascal’s Theorem and its equivalent forms read as follows.Pascal’s Theorem (cf.[16])314256Any six points 1,...,6lie on a conic if and only if (1−2)∧(4−5)(2−3)∧(5−6)(3−4)∧(6−1)are collinear.Carnot’s Theorem (cf.[3,no.396])514236Any six points 1,...,6lie on a conicif and only if[(1−2)∧(3−4)]−[(4−5)∧(6−1)](2−5)(3−6)are concurrent.2c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121Brianchon’s Theorem (cf.[2])①②③④⑤⑥Any six lines ①,...,⑥are tangent to a conic if and only if (①∧②)−(④∧⑤)(②∧③)−(⑤∧⑥)(③∧④)−(⑥∧①)are concurrent.Carnot’s Theorem ∗①②⑤④③⑥Any six lines ①,...,⑥are tangent to a conicif and only if[(①∧②)−(③∧④)]∧[(④∧⑤)−(⑥∧①)](②∧⑤)(③∧⑥)are collinear.As a matter of fact,we would like to mention that if the conic is not degenerate,then the collinear points in Pascal’s Theorem are always pairwise distinct (the sameapplies to the concurrent lines in Brianchon’s Theorem).Since the real projective plane is self-dual,Pascal’s Theorem and Brianchon’s The-orem are equivalent.Moreover Carnot’s Theorem and its dual Carnot’s Theorem ∗arejust reformulations of Pascal’s Theorem and Brianchon’s Theorem by exchanging thepoints 3and 5,and the lines ③and ⑤,respectively.Recall that if two adjacent points,say 1and 2,coincide,then the corresponding line 1−2becomes a tangent with 1ascontact point.Similarly,if two lines,say ①and ②,coincide,then ①∧②becomes thecontact point of the tangent ①.As a last remark,we would like to mention that a conicis in general determined by five points,by five tangents,or by a combination like threetangents and two contact points of these tangents.The paper is organized as follows.In Section 2,we prove Poncelet’s Theorem forthe special case of triangles and at the same time we develop the kind of combinato-rial arguments we shall use later.Section 3contains the crucial tool which allows toshow that Poncelet’s Theorem holds for an arbitrary number of edges.Finally,in Sec-tion 4,we use the developed combinatorial technics in order to prove some additionalsymmetry properties of Poncelet-polygons.2.PONCELET’S THEOREM FOR TRIANGLES In order to prove Poncelet’sTheorem for triangles,we will show that if the six vertices of two triangles lie ona conic K ,then the six sides of the triangles are tangents to some conic C .The crucial point in the proof of the following theorem (as well as in the proofsof the other theorems of this paper)is to find the suitable numbering of points andedges,and to apply some form of Pascal’s Theorem in order to find collinear points orconcurrent lines.Theorem 2.1.If two triangles are inscribed in a conic and the two triangles do nothave a common vertex,then the six sides of the triangles are tangent to a conic.January 2014]A SIMPLE PROOF OF PONCELET’S THEOREM 3a 1a 2a 3b 3b 2b 1Proof.Let K be a conic in which two triangles △a 1a 2a 3and △b 1b 2b 3are inscribedwhere the two triangles do not have a common vertex.First,we introduce the following three intersection points:I :=(a 1−a 2)∧(b 1−b 2),X :=(a 2−b 3)∧(b 2−a 3),I ′:=(a 3−a 1)∧(b 3−b 1).In order to visualize the intersection points I ,X ,and I ′,we break up the conic K anddraw it as two straight lines,one for each triangle as follows.I X I ′Ib 1a 1b 2a 2b 3a 3b 1a 1b 2a 2Now,we number the six points a 1,a 2,a 3,b 1,b 2,b 3on the conic K as shown by thefollowing figure.I X I ′Ib 14a 11b 25a 22b 33a 36b 14a 11b 25a 224c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121By Pascal’s Theorem we get that the three intersection points(1−2)∧(4−5),(2−3)∧(5−6),and (3−4)∧(6−1)are collinear,which is the same as saying that the points I −X −I ′are collinear.In the next step,we label the sides of the triangles as shown in the following figure.I X I ′Ib 1a 1b 2a 2b 3a 3b 1a 1b 2a 2②①⑥②⑤④③⑤By Carnot’s Theorem ∗we get that the six sides ①,...,⑥of the two triangles aretangents to a conic if and only if[(①∧②)−(③∧④)]∧[(④∧⑤)−(⑥∧①)],(②∧⑤),and(③∧⑥)are collinear.Now,this is the same as saying that the points X −I −I ′are collinear,which,as we have seen above,is equivalent to a 1,a 2,a 3,b 1,b 2,b 3lying on a conic.a 1a 2a 3b 3b 2b 1q.e.d.As an immediate consequence we get Poncelet’s Theorem for triangles.Corollary 2.2(Poncelet’s Theorem for triangles).Let K and C be nondegenerateconics.Suppose there is a triangle△a 1a 2a 3inscribed in K and circumscribed aboutC .Then for any point b 1of K for which two tangents to C exist,there is a triangle△b 1b 2b 3which is also inscribed in K and circumscribed about C .January 2014]A SIMPLE PROOF OF PONCELET’S THEOREM 5Proof.Let K and C be two conics with a triangle△a1a2a3inscribed in K and circumscribed about C.Let b1be an arbitrary point on K which is distinct froma1,a2,a3,and let b2and b3be distinct points on K such that b1−b2and b1−b3are two tangents to C.By construction,we get thatfive sides of the triangles△a1a2a3and△b1b2b3are tangents to C.On the other hand,by Theorem2.1,we know that allsix sides of these triangles are tangents to some conic C′.Now,since a conic is deter-mined byfive tangents,C′and C coincide,which implies that the triangle△b1b2b3is circumscribed about C.q.e.d.As a special case of Brianchon’s Theorem we get the following.Fact2.3.Let C be a conic and let the triangle△a1a2a3be circumscribed about C. Furthermore,let t1,t2,t3be the contact points of the three tangents a2−a3,a3−a1,a1−a2.Then the three lines a1−t1,a2−t2,and a3−t3meet in a point.bel the three sides of the triangles as follows:①=a2−a3=②,③=a3−a1=④,⑤=a1−a2=⑥.Then①∧②=t1,③∧④=t2,⑤∧⑥=t3,and by Brianchon’s Theorem we getthat a1−t1,a2−t2,a3−t3meet in a point.q.e.d.In general,for arbitrary n-gons tangent to C the analogous statement will be false. However,if n is even and if the n-gon is at the same time inscribed in a conic K,a similar phenomenon occurs(see Theorem4.2).3.THE GENERAL CASE Let K and C be nondegenerate conics in general posi-tion.We assume that there is an n-sided polygon a1,...,a n which is inscribed in K such that all its n sides a1−a2,a2−a3,...,a n−a1are tangent to C and none of its vertices belongs to C.Let us assume that n is minimal with this property(thus,in par-ticular,the points a1,...,a n are pairwise distinct).Further,let b1,...,b n be an(n−1)-sided polygonal chain on K where all n−1sides b1−b2,b2−b3,...,b n−1−b nare tangent to C and none of its vertices is one of a1,...,a n or belongs to C.We donot yet know that b n−b1is tangent to C too.If we break up the conic K and draw itas two straight lines,one for the polygon and one for the polygonal chain,we get the following situation.a n−1a n a1a2a n−1a n a1a2b n−1b n b1b2b n−1b n b1b2In order to prove Poncelet’s Theorem,we have to show that b n−b1is also tangent toC.This will follow easily from the following result.Lemma3.1.For n≥4,the three intersection pointsI:=(a1−a2)∧(b1−b2),X:=(a2−b n−1)∧(b2−a n−1),andI′:=(a n−1−a n)∧(b n−1−b n),6c THE MATHEMATICAL ASSOCIATION OF AMERICA[Monthly121I X I ′b 1b 2b n −1b na 1a 2a n −1a nare pairwise distinct and collinear,which is visualized above by the dashed line.Proof.Depending on the parity of n ,we have one of the following anchorings,fromwhich we will work step by step outwards.n even,with k =n2:I X I ′b k −1a k −1b k a kb k +1a k +1123456By Pascal’s Theorem we have thatI −X −I ′are collinear.For n ≥5,the lemma will follow from the following two claims.Claim 1.Let p and q be integers with 2≤p <q ≤n −1.Further,letI p −1:=(a p −1−a p )∧(b p −1−b p ),I p :=(a p −a p +1)∧(b p −b p +1),I q :=(a q −1−a q )∧(b q −1−b q ),I q +1:=(a q −a q +1)∧(b q −b q +1),and letX :=(a p −b q )∧(b p −a q ).If I p −X −I q are pairwise distinct and collinear,then Ip −1−X −Iq +1are alsopairwise distinct and collinear.This implication is visualized by the following figure.I p X I qb p −1b p b p +1b q −1b q b q +1a p −1a p a p +1a q −1a q a q +1⇓January 2014]A SIMPLE PROOF OF PONCELET’S THEOREM 7I p −1X I q +1b p −1b p b p +1b q −1b q b q +1a p −1a p a p +1a q −1a q a q +1Proof of Claim 1.εI p I qγαb p b qa p a q ④③②⑤⑥①(a)By Brianchon’s Theorem,the lines α,γ,εare pairwise distinct and concurrent.I p X I qβγαb p b qa p a q(b)The lines α,β,γmeet,by assumption,in X ,and they are pairwise distinct.By (a),we have that αand γare distinct,and by symmetry also βand γare distinct.Since a straight line meets a nondegenerate conic in at most two points,αand βarealso distinct.εI p −1I q +1βδb p −1b p b q −1b q b q +1a p −1a p a p +1a q a q +1⑥①②⑤④③(c)By Brianchon’s Theorem,the lines β,ε,δare pairwise distinct and concurrent.By (a)&(b)we get that α,β,and εmeet in X ,and by (c)we get that also α,β,andδmeet in X ,which implies that Ip −1−X −I q +1are collinear and pairwise distinct.If I p −1=I q +1,then the four lines a p −1−a p ,b p −1−b p ,a q −a q +1,b q −b q +1,whichare all tangent to C ,would be concurrent.But then these four lines are not pairwisedistinct,and since the eight points ap −1,ap ,aq ,a q +1,b p −1,b p ,bq ,bq +1are pairwisedistinct (recall that 1≤p −1<q +1≤n ),this contradicts our assumption that the8c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121conic K is nondegenerate.By similar arguments it follows that both I p −1and I q +1aredistinct from X .q.e.d.Claim 2.Let I p −1,I q +1,and X be as above,and letX ′:=(a p −1−b q +1)∧(b p −1−a q +1).If I p −1−X −I q +1are pairwise distinct and collinear,then Ip −1−X ′−Iq +1arepairwisedistinct and collinear too.This implication is visualized by the following figure.I p −1X I q +1b p −1b p b p +1b q −1b q b q +1a p −1a p a p +1a q −1a q a q +1⇓I p −1X ′I q +1b p −1b p b p +1b q −1b q b q +1a p −1a p a p +1a q −1a q a q +1Proof of Claim 2.I p −1X I q +1b p b qa p a q(a)By assumption,the points I p −1−X −I q +1are pairwise distinct and collinear.JI p −1X b p b qa p a q123456(b)By Pascal’s Theorem,the points I p −1−X −J are pairwise distinct andcollinear.January 2014]A SIMPLE PROOF OF PONCELET’S THEOREM 9J X ′I q +1b p b qa p a q126453(c)By Pascal’s Theorem,the points X ′−J −I q +1are pairwise distinct andcollinear.By (a)&(b)we get that I p −1−J −I q +1are collinear,and by (c)we get that X ′lies on J −Iq +1.Hence,Ip −1−X ′−Iq +1are collinear.By (a),(c)and a symmetricversion of (c),the three points I p −1,X ′,I q +1are pairwise distinct.q.e.d.By an iterative application of Claim 1&2,we finally get the situationI X I ′b 1b 2b n −1b na 1a 2a n −1a nin which I −X −I ′are pairwise distinct and collinear.q.e.d.With similar arguments as in the proof of Poncelet’s Theorem for triangles (Corol-lary 2.2),we can now prove the general case of Poncelet’s Theorem (Theorem 1.1):Proof of Poncelet’s Theorem.Let K and C be nondegenerate conics in general posi-tion.We assume that there is an n -sided polygon a 1,...,an which is inscribed in Ksuch that all its n sides a 1−a 2,a 2−a 3,...,a n −a 1are tangent to C and none of itsvertices belongs to C .Let us assume that n is minimal with this property.Further weassume that there is an (n −1)-sided polygonal chain b 1,...,bn whose n −1sidesare tangent to C and none of its vertices is one of a 1,...,an or belongs to C .We haveto show that b n −b 1is tangent to C .!!b n −1b n b 1b 2b n −1b n b 1b 2a n −1a n a 1a 2a n −1a n a 1a 2By Lemma 3.1we know that I −X −I ′are pairwise distinct and collinear,where I =(a 1−a 2)∧(b 1−b 2),I ′=(a n −1−a n )∧(b n −1−b n ),and X =(a 2−b n −1)∧(b 2−a n −1).In order to show that b n −b 1is tangent to C ,we have tointroduce two more intersection points:J :=(a n −1−a 1)∧(b n −1−b 1),X ′:=(a n −b 1)∧(b n −a 1).10c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121J I X I ′X ′Ib 1b 2b 1b 2b n −1b n a 1a 2a 1a 2a n −1a n We now apply Pascal’s Theorem twice as illustrated below.J I X Ib 1b 2b 1b 2b n −1b n a 1a 2a 1a 2a n −1a n 1122344556(a)By Pascal’s Theorem,the points I −X −J are pairwise distinct and collinear.J I ′X ′b 1b 2b 1b 2b n −1b n a 1a 2a 1a 2a n −1a n 126345(b)By Pascal’s Theorem,the points I ′−J −X ′are pairwise distinct and collinear.Since,by Lemma 3.1,I −X −I ′are pairwise distinct and collinear,by (a)we getthat I −X −J −I ′are collinear,and by (b)we finally get that I −X ′−I ′arecollinear.For the last step,we apply Carnot’s Theorem ∗.I ′X ′Ib 1b 2b n −1b n a 1a 2a n −1a n ②①⑥⑤④③Since I −X ′−I ′are collinear,by Carnot’s Theorem ∗we get that the six lines ①,...,⑥are tangent to some conic C ′.Now,since a conic is determined by five tangents,andthe five lines ①,②,③,⑤,⑥are tangent to C ,C ′and C coincide.This implies that ④istangent to C ,which is what we had to show.q.e.d.January 2014]A SIMPLE PROOF OF PONCELET’S THEOREM 114.SYMMETRIES IN PONCELET-POLYGONS In this section we present somesymmetries in 2n -sided polygons which are inscribed in some conic K and circum-scribed about another conic C .To keep the terminology short,we shall call such apolygon a 2n -Poncelet-polygon with respect to K &C .Theorem 4.1.Let K and C be nondegenerate conics in general position which neithermeet nor intersect and let a 1,...,a 2n be the vertices of a 2n -Poncelet-polygon withrespect to K &C .Further let t 1,...,t 2n be the contact points of the tangents a 1−a 2,...,a 2n −a 1.(a)All the n diagonals a 1−a n +1,a 2−a n +2,...,a n −a 2n meet in a point H 0.(b)All the n lines t 1−t n +1,t 2−t n +2,...,t n −t 2n meet in the same point H 0.Proof.(a)By the proof of Lemma 3.1,we get that the three points a 1,an +1,and(a 2−a n +2)∧(a n −a 2n )are collinear.a 1a n +1a 1a 2n a n +2a n +1a 1a 2a na n +1This is the same as saying that the three diagonals a 1−an +1,a 2−an +2,and an −a 2n meet in a point,say H 0.Now,by cyclic permutationwe get that all n diagonals meet in H 0.(b)By the proof of Lemma 3.1,we get that the three points t 1−H 0−t n +1arecollinear.t 1H 0t n +1a 2a 1a 2n a n +3a n +2a n +1a 1a 2a 3a n a n +1a n +2Thus,by cyclic permutation we get that all n lines t 1−tn +1,t 2−t n +2,...,tn −t 2npass through H 0,which implies that all n lines meet in H 0.q.e.d.In the last result,we show that the point H 0is independent of the particular 2n -Poncelet-polygon (compare with Poncelet’s results no.570&571in [17]).Theorem 4.2.Let K and C be nondegenerate conics in general position which nei-ther meet nor intersect and let a 1,...,a 2n and b 1,...,b 2n be the vertices of two2n -Poncelet-polygons with respect to K &C .Further let t 1,...,t 2n and t ′1,...,t′2nbe the contact points of the Poncelet-polygons.Then all 4n lines a 1−an +1,...,t 1−t n +1,...,b 1−b n +1,...,t ′1−t′n +1,...meet in a point H 0.Moreover,oppositesides of the Poncelet-polygons meet on a fixed line h ,where h is the polar of H 0,bothwith respect to C and K .Proof.By Theorem 4.1we know that the 2n lines a 1−a n +1,...,t 1−tn +1,...meetin a point H 0.First,we show that the polar h of the pole H 0with respect to C is thesame as the polar h ′of H 0with respect to K ,and then we show that the point H 0isindependent of the choice of the 2n -Poncelet-polygon.12c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121a i +1a k +1a i +na k +n a i a k +n +1a k a i +n +1t kt k +n ti t i +nH 0PQFirst notice that in the figure above,H 0is on the polar p of P with respect to theconic C and that H 0is also on the polar p ′of P with respect to the conic K (see forexample Coxeter and Greitzer [6,Theorem 6.51]).Thus,P lies on the polar h of H 0with respect to C ,as well as on the polar h ′of H 0with respect ot K .Since the sameapplies to the point Q ,the polars h and h ′coincide,which shows that the pole H 0hasthe same polar with respect to both conics.The fact that H 0is independent of the choice of the 2n -Poncelet-polygon is just aconsequence of the following.Claim.Let H 0be as above and let h be the polar of H 0(with respect to K or C ).Choose an arbitrary point P on h .Let s 1&s 2be the two tangents from P to C andlet A &A ′and B &B ′be the intersection points of s 1and s 2with K .H 0PBA B ′A ′s 1s 2Then H 0=(A −B ′)∧(B −A ′).Proof of Claim.By a projective transformation,we may assume that h is the line atinfinity.Then,the pole H 0becomes the common center of both conics and the claimfollows by symmetry.q.e.d.January 2014]A SIMPLE PROOF OF PONCELET’S THEOREM 13Now,let a1,...,a2n and b1,...,b2n be the vertices of two2n-Poncelet-polygons with respect to K&C.Furthermore,let H0=(a1−a n+1)∧(a2−a n+2)and H′0= (b1−b n+1)∧(b2−b n+2),and let h and h′be their respective polars.Choose anypoint P which lies on both h and h′,and draw the two tangents from P to C which intersect K in the points A,A′,B,B′.If the conics K and C do not meet(what we assume),then these points are pairwise distinct and by the Claim we get H0= (A−B′)∧(B−A′)=H′.q.e.d.Notice,that for n=3,H0is the Brianchon point with respect to C of the Poncelet-hexagon,and h its Pascal line with respect to K.So,for n>3,the point H0is the generalized Brianchon point with respect to C of the2n-Poncelet-polygon,and h its generalized Pascal line with respect to K.,Bicentennial of the great Poncelet theorem(1813–2013):current advances,Bull.Amer.Math.Soc.(N.S.)51(3)(2014)373–445.9.L.Euler,Solutio facilis problematum quorundam geometricorum difficillimorum,Novi Commentariiacademiae scientiarum imperialis Petropolitanae(1767)103–123.10.N.Fuss,De polygonis symmetrice irregularibus circulo simul inscriptis et circumscriptis,Nova ActaPetropol(1798)166–189.11.P.Griffiths and J.Harris,On Cayley’s explicit solution to Poncelet’s porism,L’EnseignementMath´e matique.Revue Internationale.IIe S´e rie24(1978)31–40.12. A.S.Hart,On the porism of the in-and-circumscribed triangle,The Quarterly journal of pure and appliedmathematics2(1858)143.13. C.G.J.Jacobi,Ueber die Anwendung der elliptischen Transcendenten auf ein bekanntes Problem derElementargeometrie:“Die Relation zwischen der Distanz der Mittelpuncte und den Radien zweier Kreise zufinden,von denen der eine einem unregelm¨aßigen Polygon eingeschrieben,der andere demselben umgeschrieben ist”,J.Reine Angew.Math.3(1828)376–389.14.J.L.King,Three problems in search of a measure,The American Mathematical Monthly101(1994)609–628.15.H.Lebesgue,Les coniques,Gauthier-Villars,Paris,1942.16. B.Pascal,Essay pour les Coniques,(1640).17.J.-V.Poncelet,Trait´e des propri´e t´e s projectives desfigures,Bachelier,Paris,1822.18.V.Y.Protasov,Generalized closing theorems,Elemente der Mathematik66(2011)98–117.LORENZ HALBEISEN(lorenz.halbeisen@math.ethz.ch)received his PhD from the ETH Z¨u rich in1994. After research positions in France,Spain,and California,he became lecturer at Queen’s University Belfast and is now senior scientist at the ETH Z¨u rich.His interests range across set theory,finite and infinite combinatorics, geometry,and number theory.Department of Mathematics,ETH Zentrum,R¨a mistrasse101,8092Z¨u rich,SwitzerlandNORBERT HUNGERB¨UHLER(norbert.hungerbuehler@math.ethz.ch)received his PhD at ETH Z¨u rich in 1994.After research positions in Germany and the US he became assistant professor at the University of Alabama at Birmingham and later professor at the University of Fribourg.Currently he is professor at ETH. His interests range across analysis,geometry,discrete mathematics and number theory.Department of Mathematics,ETH Zentrum,R¨a mistrasse101,8092Z¨u rich,Switzerland14c THE MATHEMATICAL ASSOCIATION OF AMERICA[Monthly121。
AMC常用词汇一、基本图形三角形:triangle矩形:rectangle正方形:square平行四边形:parallelogram梯形:tapezoid菱形:rhombus圆:circle四边形:quadrilateral二、基本立体图形正方体:cube长方体:rectangular prism圆柱体:right circular cyclinder 圆锥体:right circular cone球体:sphere三、基本计算量长度:length面积:area体积(容积):volume周长:perimeter表面积:surface area底面积:base area四、有关集合并集:unionproper subset 真子集:solution set 解集:五、有关数论自然数:natural number 正数:positive number负数:negative number奇数:odd integer,odd number偶数:even integer,even number整数:integer,whole number正整数:positive whole number负整数:negative whole number连续整数:consecutive number实数,有理数:real number,rational number 无理数:irrational(number)倒数:inverse合数:composite numbereg. 4,6,8,9,10,12,14,15……质数:prime numbereg.2,3,5,7,11,13,15……倒数:reciprocal公约数:common divisor倍数:multiple(最小)公约数:(last)common multiple (质)因子:(prime)factor十进制:ordinary csale,decimal scale非负的:nonnegative十位:tens个位:units众数:mode中数:median公比:common ratio六、数列等差数列:arithmetic progression(sequence)等比数列:geometric progression(sequence)七、其它近似:approximate(逆)顺时针方向:(anti)clockwise 基数:cardinal序数:ordinal正比:directproportion不同的:distinct估计,近似:estimation括号:parentheses比例:proportion组合:combination表格:table三角函数:trigonometric function单位,位:unit八、其它几何1、所有的角错角:alternate angle同位角:corresponding angle对顶角:vertical angle圆心角:central angle角:interior angle外角:exterior angle补角:supplement aryangles余角:complement aryangle邻角:adjacent angle锐角:acute angle钝角:obtuse angle直角:right angle周角:round angle平角:straight angle夹角:included angle2、所有的三角形等边三角形:equilateral triangle不等边三角形:scalene triangle等腰三角形:isosceles triangle直角三角形:right triangle斜三角形:oblique接三角形:inscribed triangle3、有关收敛的平面图形,除三角形外半圆:semicircle同心圆:concentric circles四边形:quadrilateral五边形:pentagon六边形:hexagon七边形:heptagon八边形:octagon九边形:nonagon十边形:decagon多边形:polygon平行四边形:parallelogram等边形:equilateral平面:plane正方形,平方:square长方形:rectangle正多边形:regular polygon菱形:rhombus梯形:trapezoid4、其它平面图形弧:arc直线:line,straight line线段:line segment平行线:parallel lines弧形:segment of a circle5、有关立体图形立方体,立方数:cube长方体:rectangular solid正多面体:regular solid / regular polyhedron 圆柱体:circular cylinder圆锥:cone球体:sphere立体的:solid6、有关图形上的附属物高:altitude深度:depth边长:side周长:circumference,perimeter弧度:radian表面积:surface area体积:volume直角三角形的股:arm横截面:cros section圆心:center of a circle弦:chord半径:radius角平分器:angle bisector对角线:diagonal直径:diameter棱:edge立体的面:face of a solid斜边:hypotenuse夹边:included side三角形的直角边:leg三角形的中线:median of a triangle底边,底数(e.g.2的5次方,2就是底数):base 直角三角形中的对边:opposite中点:midpoint 端点:endpoint(复数形式vertices)顶点:vertex 切线的:tangent截线:transversal截距:intercept7、有关坐标坐标系:coordinate system直角坐标系:rectangular coordinate 原点:origin横坐标:abscissa纵坐标:ordinate数轴:number line象限:quadrant斜率:slope复平面:complex plane8、其它平面几何:plane geometry三角学:trigonometry平分:bisect外切:circumscribe切:inscribe相交:intersect垂直:perpendicular勾股定理:pythagorean theorem全等的:congruent多边的:multilateral基本数学词汇加:plus / and / positive减:minus / negative / subtract差:difference乘:multiplied by / times乘方:power积:product除:divided by可被整除的:divisible被整除:dividedevenly被除数:dividend商:quotient余数:remainder阶乘:factorial等于:equal不等于:not equal to大于:greater than小于:less than大于等于:equal or greater than小于等于:equal or less than约等于:approximate equal四舍五入:round to / to the nearest 因为:because所以:therefore开平方:square root of开立方:cube root of根号:radical sign,root sign绝对值:the absolute value函数:function图形:figure角:angle直角:right angle锐角:acute angle对折:fold 分数:fractionX-轴:X-axesY-轴:Y-axes其它次序:sequence几何的:g eometric整数:integer比例:ratio正的:positive切线(也是正切tan):tangent半径:radius / radii不等式:inequality顶点:vertex值域:range同类项:like terms,similar terms原方程:original equation(最小)公约数:(least)common denominator 算术平均数:arithmetic mean加权平均值:weighted average指数,幂:exponent变量:variable反函数:inverse function因式分解:factorization打(12个):dozen廿(20个):score夸脱:quart加仑:gallon(1 gallon = 4 quart)英语数学词汇大全Aabbreviation 简写符号;简写absolute error 绝对误差absolute value 绝对值accuracy 准确度acute angle 锐角acute-angled triangle 锐角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(of probability) (概率)加法定律additive property 可加性adjacent angle 邻角adjacent side 邻边algebra 代数algebraic 代数的algebraic equation 代数方程algebraic expression 代数式algebraic fraction 代数分式;代数分数式algebraic inequality 代数不等式algebraic operation 代数运算alternate angle (交)错角alternate segment 交错弓形altitude 高;高度;顶垂线;高线ambiguous case 两义情况;二义情况amount 本利和;总数analysis 分析;解析analytic geometry 解析几何angle 角angle at the centre 圆心角angle at the circumference 圆周角angle between a line and aplane 直与平面的交角angle between two planes两平面的交角angle bisection 角平分angle bisector 角平分线;分角线angle in the alternatesegment 交错弓形的圆周角angle in the same segment同弓形的圆周角angle of depression 俯角angle of elevation 仰角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角;交角angle of rotation 旋转角angle of the sector 扇形角angle sum of a triangle 三角形角和angles at a point 同顶角annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆时针方向;返时针方向anti-logarithm 逆对数;反对数anti-symmetric 反对称apex 顶点approach 接近;趋近approximate value 近似值approximation 近似;略计;逼近Arabic system 阿刺伯数字系统arbitrary 任意arbitrary constant 任意常数arc 弧arc length 弧长arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积arithmetic 算术arithmetic mean 算术平均;等差中顶;算术中顶arithmetic progression 算术级数;等差级数arithmetic sequence 等差序列arithmetic series 等差级数arm 边arrow 前号ascending order 递升序ascending powers of X X 的升幂associative law 结合律assumed mean 假定平均数assumption 假定;假设average 平均;平均数;平均值average speed 平均速率axiom 公理axis 轴axis of parabola 拋物线的轴axis of symmetry 对称轴Bback substitution 回代bar chart 棒形图;条线图;条形图;线条图base (1)底;(2)基;基数base angle 底角base area 底面base line 底线base number 底数;基数base of logarithm 对数的底bearing 方位(角);角方向(角)bell-shaped curve 钟形图bias 偏差;偏倚billion 十亿binary number 二进数binary operation 二元运算binary scale 二进法binary system 二进制binomial 二项式binomial expression 二项式bisect 平分;等分bisection method 分半法;分半方法bisector 等分线;平分线boundary condition 边界条件boundary line 界(线);边界bounded 有界的bounded above 有上界的;上有界的bounded below 有下界的;下有界的bounded function 有界函数brace 大括号bracket 括号breadth 阔度broken line graph 折线图Ccalculation 计算calculator 计算器;计算器cancel 消法;相消canellation law 消去律capacity 容量Cartesian coordinates 笛卡儿坐标Cartesian plane 笛卡儿平面category 类型;畴central line 中线central tendency 集中趋centre 中心;心centre of a circle 圆心centroid 形心;距心certain event 必然事件chance 机会change of base 基的变换change of subject 主项变换change of variable 换元;变量的换chart 图;图表checking 验算chord 弦chord of contact 切点弦circle 圆circular 圆形;圆的circular function 圆函数;三角函数circular measure 弧度法circumcentre 外心;外接圆心circumcircle 外接圆circumference 圆周circumradius 外接圆半径circumscribed circle 外接圆class 区;组;类class boundary 组界class interval 组区间;组距class limit 组限;区限class mark 组中点;区中点classification 分类clnometer 测斜仪clockwise dirction 顺时针方向closed convex region 闭凸区域closed interval 闭区间coefficient 系数coincide 迭合;重合collection of terms 并项collinear 共线collinear planes 共线面column (1)列;纵行;(2) 柱combination 组合common chord 公弦common denominator 同分母;公分母common difference 公差common divisor 公约数;公约common factor 公因子;公因子common logarithm 常用对数common multiple 公位数;公倍common ratio 公比common tangetn 公切commutative law 交换律comparable 可比较的compass 罗盘compass bearing 罗盘方位角compasses 圆规compasses construction 圆规作图complement 余;补余complementary angle 余角complementary event 互补事件complementary probability互补概率completing the square 配方complex number 复数complex root 复数根composite number 复合数;合成数compound bar chart 综合棒形图compound discount 复折扣compound interest 复利;复利息computation 计算computer 计算机;电子计算器concave 凹concave downward 凹向下的concave polygon 凹多边形concave upward 凹向上的concentric circles 同心圆concept 概念conclusion 结论concurrent 共点concyclic 共圆concyclic points 共圆点condition 条件conditional 条件句;条件式cone 锥;圆锥(体)congruence (1)全等;(2)同余congruent 全等congruent figures 全等图形congruent triangles 全等三角形cconjugate 共轭consecutive integers 连续整数consecutive numbers 连续数;相邻数consequence 结论;推论consequent 条件;后项consistency condition 相容条件consistent 一贯的;相容的constant 常数constant speed 恒速率constant term 常项constraint 约束;约束条件construct 作construction 作图construction of equation 方程的设立continued proportion 连比例continued ratio 连比continuous 连续的continuous data 连续数据continuous function 连续函数continuous proportion 连续比例contradiction 矛盾converse 逆(定理)converse theorem 逆定理conversion 转换convex 凸convex polygon 凸多边形coordinate 坐标coordinate geometry 解析几何;坐标几何coordinate system 坐标系系定理;系;推论correct to 准确至;取值至correspondence 对应corresponding angles (1)同位角;(2)对应角corresponding sides 对应边cosine 余弦cosine formula 余弦公式cost price 成本counter clockwise direction逆时针方向;返时针方向counter example 反例counting 数数;计数criterion 准则critical point 临界点cross-multiplication 交叉相乘cross-section 横切面;横截面;截痕cube 正方体;立方;立方体cube root 立方根cubic 三次方;立方;三次(的)cubic equation 三次方程cuboid 长方体;矩体cumulative 累积的cumulative frequecy 累积频数;累积频率cumulative frequency curve累积频数曲cumulative frequcncydistribution 累积频数分布cumulative frequencypolygon 累积频数多边形;累积频率直方图curve 曲线curve sketching 曲线描绘(法)curve tracing 曲线描迹(法)curved line 曲线curved surface 曲面curved surface area 曲面面积cyclic quadrilateral 圆接四边形cylinder 柱;圆柱体cylindrical 圆柱形的Ddata 数据decagon 十边形decay 衰变decay factor 衰变因子decimal 小数decimal place 小数位decimal point 小数点decimal system 十进制decrease 递减decreasing function 递减函数;下降函数decreasing sequence 递减序列;下降序列decreasing series 递减级数;下降级数decrement 减量deduce 演绎deduction 推论deductive reasoning 演绎推理definite 确定的;定的distance 距离distance formula 距离公式distinct roots 相异根distincr solution 相异解distribution 公布distrivutive law 分配律divide 除dividend (1)被除数;(2)股息divisible 可整除division 除法division algorithm 除法算式divisor 除数;除式;因子divisor of zero 零因子dodecagon 十二边形dot 点double root 二重根due east/ south/ west /north 向东/ 南/ 西/ 北definiton 定义degree (1)度;(2)次degree of a polynomial 多项式的次数degree of accuracy 准确度degree of precision 精确度delete 删除;删去denary number 十进数denary scale 十进法denary system 十进制denominator 分母dependence (1)相关;(2)应变dependent event(s) 相关事件;相依事件;从属事件dependent variable 应变量;应变数depreciation 折旧descending order 递降序descending powers of X X的降序detached coefficients 分离系数(法)deviation 偏差;变差deviation from the mean 离均差diagonal 对角diagram 图;图表diameter 直径difference 差digit 数字dimension 量;量网;维(数) direct proportion 正比例direct tax, direct taxation 直接税direct variation 正变(分)directed angle 有向角directed number 有向数direction 方向;方位discontinuous 间断(的);非连续(的);不连续(的)discount 折扣discount per cent 折扣百分率discrete 分立;离散discrete data 离散数据;间断数据discriminant 判别式dispersion 离差displacement 位移disprove 反证Eedge 棱;边elimination 消法elimination method 消去法;消元法elongation 伸;展empirical data 实验数据empirical formula 实验公式empirical probability 实验概率;经验概率enclosure 界限end point 端点entire surd 整方根equal 相等equal ratios theorem 等比定理equal roots 等根equality 等(式)equality sign 等号equation 方程equation in one unknown一元方程equation in two unknowns(variables) 二元方程equation of a straight line 直线方程equation of locus 轨迹方程equiangular 等角(的)extreme value 极值equidistant 等距(的)equilaeral 等边(的)equilateral polygon 等边多边形equilateral triangle 等边三角形equivalent 等价(的)error 误差escribed circle 旁切圆estimate 估计;估计量Euler's formula 尤拉公式;欧拉公式evaluate 计值even function 偶函数even number 偶数evenly distributed 均匀分布的event 事件exact 真确exact solution 准确解;精确解;真确解exact value 法确解;精确解;真确解example 例excentre 外心exception 例外excess 起exclusive 不包含exclusive events 互斥事件exercise 练习expand 展开expand form 展开式expansion 展式expectation 期望expectation value, expectedvalue 期望值;预期值experiment 实验;试验experimental 试验的experimental probability 实验概率exponent 指数express…in terms of….. 以………表达expression 式;数式extension 外延;延长;扩;扩充exterior angle 外角external angle bisector 外分角external point of division 外分点extreme point 极值点Fface 面factor 因子;因式;商factor method 因式分解法factor theorem 因子定理;因式定理factorial 阶乘factorization 因子分解;因式分解factorization of polynomial 多项式因式分解FALSE 假(的)feasible solution 可行解;容许解Fermat’s last theorem 费尔马最后定理Fibonacci number 斐波那契数;黄金分割数Fibonacci sequence 斐波那契序列fictitious mean 假定平均数figure (1)图(形);(2)数字finite 有限finite population 有限总体finite sequence 有限序列finite series 有限级数first quartile 第一四分位数first term 首项fixed deposit 定期存款fixed point 定点flow chart 流程图foot of perpendicular 垂足for all X 对所有Xfor each /every X 对每一Xform 形式;型formal proof 形式化的证明format 格式;规格formula(formulae) 公式four rules 四则four-figure table 四位数表fourth root 四次方根fraction 分数;分式fraction in lowest term 最简分数fractional equation 分式方程fractional index 分数指数fractional inequality 分式不等式free fall 自由下坠frequency 频数;频率frequency distribution 频数分布;频率分布frequency distribution table频数分布表frequency polygon 频数多边形;频率多边形frustum 平截头体function 函数function of function 复合函数;迭函数functional notation 函数记号Ggain 增益;赚;盈利gain per cent 赚率;增益率;盈利百分率game (1)对策;(2)博奕general form 一般式;通式general solution 通解;一般解general term 通项geoborad 几何板geometric mean 几何平均数;等比中项geometric progression 几何级数;等比级数geometric sequence 等比序列geometric series 等比级数geometry 几何;几何学given 给定;已知golden section 黄金分割grade 等级gradient (1)斜率;倾斜率;(2)梯度grand total 总计graph 图像;图形;图表graph paper 图表纸graphical method 图解法graphical representation 图示;以图样表达graphical solution 图解greatest term 最大项greatest value 最大值grid lines 网网格线group 组;grouped data 分组数据;分类数据grouping terms 并项;集项growth 增长growth factor 增长因子Hhalf closed interval 半闭区间half open interval 半开区间head 正面(钱币)height 高(度)hemisphere 半球体;半球heptagon 七边形Heron's formula 希罗公式hexagon 六边形higher order derivative 高阶导数highest common factor(H.C.F) 最大公因子;最高公因式;最高公因子Hindu-Arabic numeral 阿刺伯数字histogram 组织图;直方图;矩形图horizontal 水平的;水平horizontal line 横线;水平线hyperbola 双曲线hypotenuse 斜边Iidentical 全等;恒等identity 等(式)identity relation 恒等关系式if and only if/iff 当且仅当;若且仅若if…., then 若….则;如果…..则illustration 例证;说明image 像点;像imaginary circle 虚圆imaginary number 虚数imaginary root 虚根implication 蕴涵式;蕴含式imply 蕴涵;蕴含impossible event 不可能事件improper fraction 假分数inclination 倾角;斜角inclined plane 斜面included angle 夹角included side 夹边inclusive 包含的;可兼的inconsistent 不相的(的);不一致(的)increase 递增;增加increasing function 递增函数interior angles on the same side of the transversal 同旁角interior opposite angle 对角internal bisector 分角internal division 分割internal point of division 分点inter-quartile range 四分位数间距intersect 相交intersection (1)交集;(2)相交;(3)交点interval 区间intuition 直观invariance 不变性invariant (1)不变的;(2)不变量;不变式inverse 反的;逆的inverse circular function 反三角函数inverse cosine function 反余弦函数inverse function 反函数;逆函数inverse problem 逆算问题inverse proportion 反比例;逆比例inverse sine function 反正弦函数inverse tangent function 反正切函数inverse variation 反变(分);逆变(分)irrational equation 无理方程irrational number 无理数irreducibility 不可约性irregular 不规则isosceles triangle 等腰三角形increasing sequence 递增序列increasing series 递增级数increment 增量independence 独立;自变independent event 独立事件independent variable 自变量;独立变量indeterminate (1)不定的;(2)不定元;未定元indeterminate coefficient 不定系数;未定系数indeterminate form 待定型;不定型index,indices 指数;指index notation 指数记数法inequality 不等式;不等inequality sign 不等号infinite 无限;无穷infinite population 无限总体infinite sequence 无限序列;无穷序列infinite series 无限级数;无穷级数infinitely many 无穷多infinitesimal 无限小;无穷小infinity 无限(大);无穷(大)initial point 始点;起点initial side 始边initial value 初值;始值input 输入input box 输入inscribed circle 切圆insertion 插入insertion of brackets 加括号instantaneous 瞬时的integer 整数integral index 整数指数integral solution 整数解integral value 整数值intercept 截距;截段intercept form 截距式intercept theorem 截线定理interchange 互换interest 利息interest rate 利率interest tax 利息税interior angle 角Jjoint variation 联变(分);连变(分)Kknown 己知LL.H.S. 末项law 律;定律law of indices 指数律;指数定律law of trichotomy 三分律leading coefficient 首项系数least common multiple, lowest common multiple (L.C.M) 最小公倍数;最低公倍式least value 最小值lemma 引理length 长(度)letter 文字;字母like surd 同类根式like terms 同类项limit 极限line 线;行line of best-fit 最佳拟合line of greatest slope 最大斜率的直;最大斜率line of intersection 交线line segment 线段linear 线性;一次linear equation 线性方程;一次方程linear equation in two unknowns 二元一次方程;二元线性方程linear inequality 一次不等式;线性不等式linear programming 线性规划literal coefficient 文字系数literal equation 文字方程load 负荷loaded coin 不公正钱币loaded die 不公正骰子locus, loci 轨迹logarithm 对数logarithmic equation 对数方程logarithmic function 对数函数logic 逻辑logical deduction 逻辑推论;逻辑推理logical step 逻辑步骤long division method 长除法loss 赔本;亏蚀loss per cent 赔率;亏蚀百分率lower bound 下界lower limit 下限lower quartile 下四分位数lowest commonmultiple(L.C.M) 最小公倍数Mmagnitude 量;数量;长度;大小major arc 优弧;大弧major axis 长轴major sector 优扇形;大扇形major segment 优弓形;大弓形mantissa 尾数mantissa of logarithm 对数的尾数;对数的定值部many-sided figure 多边形marked price 标价mathematical induction 数学归纳法mathematical sentence 数句mathematics 数学maximize 极大maximum absolute error 最大绝对误差maximum point 极大点maximum value 极大值mean 平均(值);平均数;中数mean deviation 中均差;平均偏差measure of dispersion 离差的量度measurement 量度median (1)中位数;(2)中线meet 相交;相遇mensuration 计量;求积法method 方法method of completingsquare 配方法method of substitution 代换法;换元法metric unit 十进制单位mid-point 中点mid-point formula 中点公式mid-point theorem 中点定理million 百万minimize 极小minimum point 极小点minimum value 极小值minor (1)子行列式;(2)劣;较小的minor arc 劣弧;小弧minor axis 短轴minor sector 劣扇形;小扇形minor segment 劣弓形;小弓形minus 减minute 分mixed number(fraction) 带分数modal class 众数组mode 众数model 模型monomial 单项式multinomial 多项式multiple 倍数multiple root 多重根multiplicand 被乘数multiplication 乘法multiplication law (of probability) (概率)乘法定律multiplicative property 可乘性multiplier 乘数;乘式multiply 乘mutually exclusive events 互斥事件mutually independent 独立; 互相独立mutually perpendicular lines 互相垂直Nn factorial n阶乘n th root n次根;n次方根natural number 自然数negative 负negative angle 负角negative index 负指数negative integer 负整数negative number 负数neighborhood 邻域net 净(值)n-gon n边形nonagon 九边形non-collinear 不共线non-linear 非线性non-linear equation 非线性方程non-negative 非负的non-trivial 非平凡的non-zero 非零normal (1)垂直的;正交的;法线的(2)正态的(3)正常的;正规的normal curve 正态分布曲;常庇分布曲;正规曲;正庇曲normal distribution 正态分布,常态分布normal form 法线式notation 记法;记号number 数number line 数线number pair 数偶number pattern 数型number plane 数平面number system 数系numeral 数字;数码numeral system 记数系统numerator 分子numerical 数值的;数字的numerical expression 数字式numerical method 计算方法;数值法Ooblique 斜的oblique cone 斜圆锥oblique triangle 斜三角形obtuse angle 钝角obtuse-angled triangle 钝角三角形octagon 八边形octahedron 八面体odd function 奇函数odd number 奇数one-one correspondence 一一对应open interval 开区间open sentence 开句operation 运算opposite angle 对角opposite interior angle 对角opposite side 对边optimal solution 最优解order (1)序;次序;(2)阶;级ordered pair 序偶origin 原点outcome 结果output 输出overlap 交迭;相交Pparabola 拋物线parallel 平行(的)parallel lines 平行(直线)parallelogram 平行四边形parameter 参数;参变量partial fraction 部分分数;分项分式polar coordinate system 极坐标系统polar coordinates 极坐标pole 极polygon 多边形polyhedron 多面体polynomial 多项式polynomial equation 多项式方程positive 正positive index 正指数positive integer 正整数positive number 正数power (1)幂;乘方;(2)功率;(3)检定力precise 精密precision 精确度prime 素prime factor 质因子;质因素prime number 素数;质数primitive (1)本原的;原始的;(2)原函数principal (1)主要的;(2)本金prism 梭柱(体);角柱(体)prismoid 平截头棱锥体probability 概率problem 应用题produce 延长product 乘积;积product rule 积法则profit 盈利profit per cent 盈利百分率profits tax 利得税progression 级数proof 证(题);证明proper fraction 真分数property 性质property tax 物业税proportion 比例proportional 成比例protractor 量角器pyramid 棱锥(体);角锥(体) Pythagoras’Theorem 勾股定理Pythagorean triplet 毕氏三元数组partial sum 部分和partial variation 部分变(分) particular solution 特解Pascal’s triangle 帕斯卡斯三角形pattern 模型;规律pegboard 有孔版pentadecagon 十五边形pentagon 五边形per cent 百分率percentage 百分法;百分数percentage decrease 百分减少percentage error 百分误差percentage increase 百分增加percentile 百分位数perfect number 完全数perfecr square 完全平方perimeter 周长;周界period 周期periodic function 周期函数permutation 排列perpendicular 垂线;垂直(于)perpendicular bisector 垂直平分线;中垂线perpendicular line 垂直线pictogram 象形图pie chart 饼图;圆瓣图pinboard 钉板place holder 补位数字place value 位值plan (1)平面图;(2)计划plane 平面plane figure 平面图形plot 绘图plus 加point 点point circle 点圆point of contact 切点point of division 分点point of intersection 交点point-slope form 点斜式polar axis 极轴polar coordinate plane 极坐标平面polar coordinate 极坐标系统Qquadrant 象限quadratic equation 二次方程(式)quadratic formula 二次公式quardratic function 二次函数quadratic inequality 二次不等式quadratic polynomial 四边形quantity 数量quartile 四分位数quotient 商;商式RR.H.S 右radian 弧度radian measure 弧度法radical 根式;根号;根数radius, radii 半径random 随机random experiment 随机试验random number 随机数range 值域;区域;围;极差;分布域rate 率;利率ratio 比; 比率rational expression 有理式;有理数式rational function 有理函数rational index 有理数指数rational number 有理数rationalization 有理化raw data 原始数据raw score 原始分(数)real axis 实轴real number 实数real root 实根reason 理由reciprocal 倒数rectangle 长方形;矩形rectangular block 长方体rectangular coordinate plane直角坐标平面rectangular coordinates 直角坐rectilinear figure 直线图形recurrent 循环的recurring decimal 循环小数reduce 简化reducible 可约的;可化简的reference angle 参考角reflex angle 优角;反角region 区域regular 正;规则regular polygon 正多边形reject 舍去;否定relation 关系;关系式relative error 相对误差remainder 余数;余式;剩余remainder term 余项remainder theorem 余式定理removal of brackets 撤括号;去括号repeated trials 重复试验resolve 分解revolution 旋转;周转rhombus 菱形right angle 直角right circular cone 直立圆锥(体)right circular cylinder 直立圆柱(体)right prism 直立棱柱;直立角柱(体)right pyramid 直立棱锥;直立角锥(体)right-angled triangle 直角二角形root 根rotation 旋转round angle 周角rounded number 舍数rounding(off) 舍入;四舍五入row 行;棋行rule 规则;法(则)ruler 直尺Ssalaries tax 薪俸税sample 抽样;样本sample space 样本空间satisfy 满足;适合scale 比例尺;标度;图尺scalene triangle 不等边三角形;不规则三角形scientific notation 科学记数法solution of triangle 三角形解法solve 解special angle 特殊角;特别角speed 速率sphere 球形;球面square (1)平方;(2)正方形square bracket 方括号square number 正方形数;平方数square root 平方根;二次根standard deviation 标准差;标准偏离secant 割second 秒second quartile 第二四分位数(1)截面;截线;(2)截点section (1)截面;截线;(2)截点section formula 截点公式sector 扇式segment 段;节segment of a circle 弓形selling price 售价semi-circle 半圆semi-vertical angle 半顶角sentence 句;语句sequence 序列series 级数set square 三角尺;三角板shaded portion 有阴影部分shape 形状side 边;侧sign 符号;记号signed number 有符号数significant figure 有效数字similar 相似similar figures 相似图形similar triangles 相似三角形similarity 相似(性)simple equation 简易方程simple interest 单利;单利息simplify 简化simultaneous equations 联立方程simultaneous inequalities 联立不等式simultaneous linearequations in two unknowns联合二次线性方程式sine 正弦sine formula 正弦公式slant edge 斜棱slant height 斜高slope 斜率;斜度;倾斜;坡度slope-intercept form 斜率截距式;斜截式solid 立体;固体soild with uniformcorss-section 有均匀横切面的立体solution 解;解法solution of equation 方程解Uuniform 一致(的);均匀(的)uniform cross-section 均匀横切面uniform speed 匀速率uniformly distributed 均匀分布unique solution 唯一解uniqueness 唯一性unit 单位unit area 单位面积unit circle 单位圆unit volume 单位体积unknown 未知数;未知量unlike 异类项upper bound 上界upper limit 上限upper quartile 上四分位数Vvalue 值variable 变项;变量;元;变元;变数variable speed 可变速率variance 方差variation 变数;变分verify 证明;验证vertex, vertices 顶(点);极点vertical 铅垂;垂直vertical angle 顶角vertical line 纵线;铅垂vertically opposite angles 对顶角volume 体积Wweight (1)重量;(2)权weighted average, weightedmean 加权平均数whole number 整数;完整数width 阔度without loss of generality 不失一般性Xx-axis x轴x-coordinate x坐标x-intercept x轴截距Yy-axis y轴y-coordinate y坐标y-intercept y轴截距Zzero 零zero factor 零因子zeros of a function 函数零值。
An Open Approach to Concurrent Theorem-ProvingMichael FisherDepartment of ComputingManchester Metropolitan UniversityManchester M15GD,U.K.E MAIL:M.Fisher@AbstractThe purpose of this paper is twofold.Its main aim is to present an alternative mechanism forrepresenting concurrent theorem-proving activity which primarily relies upon massive parallelismand efficient broadcast communication.A secondary aim is to further motivate this model ofconcurrent theorem-proving by outlining how the basic model might be utilised in order to providemore dynamic,flexible and adaptable systems.The approach to concurrent theorem-proving we propose is based upon the use of asynchron-ously executing concurrent objects.Each object contains a particular set of formulae and broadcastsmessages corresponding to specific information about those formulae.Based upon the messagesthat an object receives,it can make simple inferences,transforming the formulae it contains andsending out further messages as a munication can be organised so that,if a formula,distributed across a set of objects,is unsatisfiable then at least one of the objects will eventuallyderive a contradiction.In addition to the representation of standard resolution in this framework,we describe how, by utilising the underlying computational model,each object could also encode information notdirectly associated with the formulae being manipulated.In particular,agent-like control beha-viour could be provided within the objects.This would allow both the implementation of a rangeof proof strategies,including opportunistic,competitive and cooperative proof activities,and thedevelopment of fault-tolerant systems.1IntroductionTheorem-proving is a complex activity and,as such,is a natural application area for techniques in concurrent programming.Indeed,it could be argued that the practical viability of large-scale theorem-proving is dependent upon the effective utilisation of concurrent systems.This observation has led to a range of concurrent theorem-provers,for example[20,14,16,15].Although these approaches have succeeded to some extent,we believe that a more dynamic approach to concurrent theorem proving will be required in the future.Most systems developed so far have been based upon the idea of concurrent processes with centralised control,for example a tree structure of communication and control within a set of currently active processes.In this paper,we propose an alternative view of concurrent theorem-proving where the formulae are distributed amongst autonomous concurrent objects(sometimes referred to as agents).These objects have control over their own execution(during which deduction takes place),as well as their own message-passing behaviour(during which information is shared with other objects).Further,since broadcast message-passing is used as the basic communication mechanism,other objects are able to view(and utilise)the intermediate deductions produced by each object.1.1MotivationGiven a computational model based upon sets of communicating objects,we can define concurrent theorem-proving activity by distributing formulae across objects and by providing an execution mech-anism within objects based upon an appropriate logical deduction mechanism.Consider a logical formula represented,for example,in clausal form.If the generation of an explicit contradiction is attempted,for example using resolution,information is effectively passed from one clause to another on each resolution step,with new clauses being generated in the process.Now, consider the situation where each clause is placed in a separate object in a concurrent object-based system.To ensure that communication between objects corresponds to the proof steps employed,we impose the following constraints on execution within,and on communication between,objects.1.Objects containing single positive literals should pass the values of these literals on to the otherobjects,since these literals represent basic information that the object is sure of.(In our model this transfer of information is achieved via broadcast message-passing.)Note that the use of just positive literals does not restrict the logical power of the deduction mechanism.2.Objects should transform their formulae(for example,using a resolution-like procedure)on thebasis of the information received,again passing on any new positive literals generated.3.Objects that derive a contradiction should notify other objects of thisfact.Figure1:Initial configuration of objects.ExampleAs an example,consider the following set of propositional Horn Clauses.1.p2.¬p∨q∨¬r3.¬p∨¬q∨¬r4.¬p∨r.Now,assume that each clause is stored in an object of the type outlined above,giving a system such as that represented in Figure1.As the objects begin executing,thefirst object,containing only the positive literal p,broadcasts the fact that p is true to the other objects.Once p has been received by the other objects,the configurationFigure 2:Configuration after receiving the message ‘p’.Figure 3:Configuration after receiving the message ‘r’.Figure 4:Configuration after receiving the message ‘q ’.becomes that given in Figure2,where the object containing clause4has been transformed to a positive literal r.This again causes new information to be broadcast,in this case the fact that r is true.Once the r broadcast above reaches all the other objects,then the configuration is as shown in Figure3,where the objects containing clauses2and3have both been transformed to literals.Finally,q is broadcast and the object containing clause3generates a contradiction,as shown in Figure4.In spite of the simplicity of this proof,we can see how the communication patterns of the concurrent system match the proof steps in the sequential refutation.There are several important points to notice about this computation,as follows.•As objects execute asynchronously,each object can process and send messages at its own speed.Note that the deduction is in no way dependent upon the order of the messages.If the set of clauses is unsatisfiable,then as long as the messages eventually arrive,false will be generated.The fastest that the above system can generate a contradiction,given the initial configuration of objects,is the total time for the four messages(i.e.,p,q,r,and s)to be sent.Note that this still holds even if we add a large number of other objects dependent upon these messages.Thus the branching factor that is common in proof search is exhibited in our model by additional broadcasted messages.•As objects execute concurrently,several objects can broadcast information at the same time.In particular,if we imagine a set of clauses such as1.p.2.q.3.¬p∨¬q.then messages‘p’and‘q’may be broadcast simultaneously.Note that such concurrency effect-ively represents a form of hyper-resolution as the object containing clause3may consume both these messages,transforming its clause to false in one step.•Although,in the above example,we allocated one clause to each object,efficiency can be im-proved by clustering clauses together within objects.We discuss this approach further in§5.1. It is this framework for concurrent theorem-proving that we outline in the rest of the paper.1.2Structure of the PaperThe structure of this paper is as follows.In§2we outline the computational model on which our concurrent theorem-proving activity is based.In§3,we present the mechanisation of classical propos-itional logic based upon this model,while in§4we extend this tofirst-order logic.In§5we consider practical aspects relating to the implementation of the approach,particularly those highlighted by the extension tofirst-order logic.In§6,we further motivate our approach,discussing how,for example, cooperative,competitive and fault-tolerant systems might be represented.Finally,in§7,concluding remarks are provided and future work is outlined.2A Computational Model for Communicating ObjectsThe computational model we use combines the two notions of objects and concurrency.Objects are considered to be self contained entities,encapsulating both data and behaviour,able to execute inde-pendently of each other,and communicating via message-passing.In addition,we specify the following properties.1.The basic method of communication between objects is broadcast message-passing.2.Each object has an interface(see below)defining messages that it will recognise—an objectcan dynamically change its own interface.3.Messages are sent concurrently,and there may be an arbitrary,butfinite,delay between a messagebeing broadcast and it being received.Thus,rather than seeing computation as objects sending mail messages to each other,and thus invoking some activity(as in the actor model[10,1]),computation in a collection of objects can be visualised as independent entities listening to messages broadcast from other objects.This model is both general andflexible,and has been shown to be useful in a variety of dynamic distributed systems(see,for example[7]).Since objects communicate via broadcasting messages and individual objects only act upon certain identified messages,a mechanism is provided for each object tofilter out the messages that it wishes to recognise,ignoring all others.The definition of those messages that an object recognises,together with a definition of the messages that an object may itself produce,is provided by the interface definition for that particular object.In the case of concurrent theorem-proving described in this paper,the only messages that an object is interested in are those relating to the negative literals within that object’s clauses.In this way,the object’s interface can be automatically generated from the set of clause(s)it contains.3Automating Deduction in Propositional LogicWe now consider the mechanisation of classical propositional logic within our model of concurrent theorem-proving.Throughout,we will assume that the original propositional formula that is to be checked for satisfiability has been rewritten as a set of clauses.We note that this is a general,and relatively cheap,operation[19].Whereas the use of Horn Clauses within objects(such as in the example provided in§1.1)en-sured that any contradiction could be found using only unit resolution,this is not the case with full propositional logic,where unit resolution is not refutation complete.Since the use of unit resolution as the proof mechanism corresponds,in our system,to the broadcasting of simple messages without arguments,the switch to full propositional logic implies a more complex type of message.Consider the following set of clauses1.¬p∨q2.¬q∨p3.¬p∨¬q4.p∨q.Now,thefirst three clauses are Horn Clauses and can be represented as before.However,the fourth is not and,as there is no clause containing a single positive literal,no simple starting message can be broadcast.We solve this problem by introducing the notion of assumptions.We will represent assumptions as follows:[a,b,c]dThis means that,under the assumption that a,b and c are all satisfied,then d is satisfied.Here,‘[a,b,c]d’can be thought of simply as‘(a∧b∧c)⇒d’.We will now allow objects to broadcast messages,such as[a,b,c]d.Note also that,to make the dynamic behaviour of the rules used explicit, we will write general rules in the formi p i⇒jq jwhere all the p i’s and q j’s are propositions(possibly with assumptions).Objects contain sets of rules of this form.Let us again consider the above example.The four clauses can be distributed across objects as before,with the rules being given using assumptions,as follows.Object1:[X]p⇒[X]qObject2:[Y]q⇒[Y]pObject3:[Z]p∧[Z]q⇒[Z]falseObject4:[p]p[q]q[p]false⇒[true]q [q]false⇒[true]pThere are several things to note here.Firstly,we can quantify over assumptions.For example,X,Y and Z represent universally quantified variables which will match with sets of assumptions.Thus,the rule [X]p⇒[X]q means that if p is true under the assumptions,X,then q is true under those assumptions. Secondly,the original clause4is represented by more that one rule within Object4.In this object,the first two clauses just send out information such as“p is true under the assumption p”,while the other rules characterise the disjunction,for example“if false can be generated under the assumption p,then q must be true”.To see how the proof mechanism would proceed,consider the following sequence of messages.(Note,this is only one possible execution,given purely for illustrative purposes.)•Object4broadcasts both[p]p and[q]q.•[p]p reaches Object1,which broadcasts[p]q.•[p]q and[p]p both reach Object3,which broadcasts[p]false.•[p]false reaches Object4,which broadcasts[true]q.•[true]q reaches Object2,which broadcasts[true]p.•[true]q and[true]p both reach Object3,which broadcasts[true]false.Here,[true]false represents a contradiction.Each object processes incoming messages via a form of resolution between these messages and the rules the object contains.This may,in turn,generate new messages and transform the rules within the object.By interpreting formulae such as[Y]r directly as Y⇒r,we can prove results regarding the representation of clauses and the execution within objects.In particular,we can show that this approach represents a complete proof mechanism.Note,however,that although we use resolution as the mechanism for computation within objects, this need not be the case.We could use any similar proof method.For example,in§6,we consider the possibility of having a variety of different proof mechanisms within objects in the system.4Automating Deduction in First-Order LogicWe can extend our approach tofirst-order logic simply by extending the syntax so that propositions are replaced by predicates(which take terms as arguments)and quantification is added.If we again assume that the formula is represented in clausal form(to which skolemization has been applied in order to remove existential quantifiers),then Horn clauses of the form∀¯X.i¬p i(¯X)∨q(¯X)are represented by rules such asp i(¯X)⇒q(¯X)iNon-Horn clauses are again represented by utilising assumptions.We note that,given a rule such asp(X)⇒q(X)then if a message p(a)is received,then q(a)is broadcast.If p(a)is received by an object containingp(a)⇒q(X)then the message q(X)is broadcast(rather than individual messages such as q(t)for each term t).Although this extension from propositional tofirst-order logic is relatively straightforward,this more expressive logic does highlight some of the drawbacks of our approach.In order to focus on these aspects,we next consider two specific examples.Thefirst shows the approach in a positive light, while the second is deliberately designed to cause us problems.Example1Consider the set of clauses1.p(3)2.¬p(X)∨q(X)3.¬p(X)∨r(X)4.¬p(X)∨s(X)5.¬p(X)∨t(X)6.¬q(Y)∨¬r(Y)∨w(Y)7.¬s(Z)∨¬t(Z)∨¬w(Z)If each clause is placed in a separate object,then the computation can proceed as follows.1.The message p(3)is broadcast.2.Objects2,3,4,and5all receive p(3),derive positive literals and broadcast q(3),r(3),s(3)andt(3),respectively.3.Object6receives q(3)and r(3),derives a positive literal and broadcasts w(3).4.Object7receives s(3),t(3)and w(3),and derives false.Thus,with relatively few messages,and with as little as four global steps,a contradiction is generated. Example2Consider the set of clauses1.p(3)2.¬p(X)∨p(ƒ(X))3.¬p(X)∨p(g(X))4.¬p(X)∨p(h(X))5.¬p(g(g(h(h(ƒ(g(3)))))))Here,p(3)is broadcast initially and,for every message of this form,the number of messages increases threefold on each‘cycle’.Thus,there is a severe danger of the system beingflooded with messages. Although this is potentially a problem in practice,we note that•examples where the search process is exponential can be generated for all such proof methods —in standard resolution such problems would occur from different examples,•by utilising the grouping of clauses into objects and of objects into groups(see§5.2),together with suitable heuristics,such problems may be alleviated,and,•if certain objects are identified as causing an excess of broadcast messages,their execution can either be suspended or‘slowed’to allow the communication medium to‘recover’. However,the above assumes that having a large amount of broadcast activity is undesirable.In the next section we consider construction of systems that(potentially)require such levels of communication.5Practical ConsiderationsIn this section we briefly consider various practical aspects relating to our approach.5.1Multi-Clause ObjectsSo far,in distributing clauses amongst objects,we have only considered the strategy of allocating one clause to each object.In practice,however,it will be necessary to group several clauses within each object.This not only reduces the number of objects in the system but,if the clauses are allocated carefully,may also reduce the number of messages sent(and thus alleviate the problems outlined above).To see this,let us consider again the example presented in§1.1.Let clauses1and4remain in separate objects,called A and C respectively,but now let clauses2and3be allocated to a single object,B.Given this scenario,the execution might proceed as follows.1.Initially,the configuration isObject A:pObject B:¬p∨q∨¬r,¬p∨¬q∨¬rObject C:¬p∨r2.p is broadcast from Object A,and is received by both Object B and Object C:Object B:q∨¬r,¬q∨¬rObject C:rSo,now,r is also broadcast.3.Once r is received by Object B the system becomesObject B:q,¬qand Object B can broadcast the fact that it has generated a contradiction.In this example,there is an important point to note.While,in general,objects‘listen’for messages relating to all the negative literals they contain,this need not always be the case.In particular,Object B above can be defined so that it need not listen for,or indeed broadcast,messages relating to the proposition q.This is because all the clauses containing either the literal q or the literal¬q appear within that object.Thus,there can never be additional information relating to these literals that is required by,or available from,other objects.This,for example,might also be used to alleviate the ‘p(X)⇒p(ƒ(X))’problem by ensuring that all clauses referring to p occur in a single object.As the computation proceeds,the set of messages that an object is interested in might decrease in size.Thus,the need for the objects to have the ability to dynamically(and autonomously)change their interfaces.We can also see from this that the allocation of clauses to objects is important for improving the efficiency and size of the system.Careful static analysis,together with dynamic re-allocation,are required in order to provide a practical large-scale system of this form.Indeed,some of our future work is to attempt to derive heuristics which will usefully partition clauses amongst objects.5.2GroupingWhile above we considered assigning several clauses to each object,we now briefly outline a mech-anism by which communication can be further limited.This is based upon the idea of grouping.Each object may be a member of several groups.When an object sends a message,that message is,by default,broadcast to all the members of its group(s),but to no other objects.Alternatively an object can select to broadcast only to certain groups(of which it is a member).This mechanism allows the development of complex structuring within the object space.Thus,in addition to the allocation of clauses to objects,described above,heuristics for constructing groups of objects can be developed.If such groups are constructed successfully,then the communic-ation between groups will be more restrained than the communication within groups.In this case,it would be natural to implement such a scheme by limiting each group to one processor if possible.This group mechanism is derived from that used by Maruichi et.al.[17]to model DAI systems, and the concept of process groups used within distributed operating systems[3].5.3Efficient BroadcastTraditionally,broadcast communication has been considered as being inefficient.However,as de-scribed above,by utilising a form of group structuring,we are able to retain many of the advantages of full broadcast while avoiding some of its drawbacks.A bonus is that,in recent years,low-level mechanisms for efficient broadcast have been developed in many computer systems[2].Further,not only is broadcast one of the basic communication mechanisms on local area networks[18],but also the advent of novel parallel architectures(e.g.data parallelism[11,12])has meant that more powerful programming techniques based upon broadcast communication are beginning to be developed.However,there are still undoubtedly architectures on which broadcast communication is expensive. On these we must obviously utilise even more heuristics in order to avoid overloading the communic-ation system.On many shared memory(or virtual shared memory)systems,however,we believe that the implementation of our approach would be feasible.5.4Sequential ImplementationWe have developed a very simple prototype implementation of the propositional framework described above using C ONCURRENT M ETATE M,a language based upon the execution of temporal formulae[8]. The model of computation in C ONCURRENT M ETATE M is exactly that described in§2,so in order to implement the system we need only code the deduction mechanism as temporal formulae.We will not describe this implementation here(see[6]for details),but merely note that there is a simple and direct transformation from our rules to the temporal formulae executed in C ONCURRENT M ETATE M.Although this implementation is only a sequential simulation,initial results suggest that the ap-proach is feasible,though more work is obviously required in order to assess its practicality for large-scale and truly parallel systems.Although a large number of objects may exist within a system,if messages,once broadcast,are guaranteed to eventually arrive at all other objects,then objects repres-enting positive literals need only send one message.After this,such objects are no longer required and their execution can be terminated,thus reducing the number of active objects in the system.6Multi-Agent Theorem-ProvingSo far in this paper,we have motivated and outlined an approach to concurrent theorem-proving. In this section,we show how the fact that broadcast communication is fundamental,together with the potential for group structuring and object creation,can be used to enhance this model further.In particular,we outline how these features can be utilised in order to provide behaviour that is extraneousto the refutation being undertaken.The ability to define such behaviour again shows the advantages of broadcast message-passing and thus provides additional motivation for our approach.We will only provide a brief description of these attributes but,as the techniques for structuring objects described here relate closely to our work in using C ONCURRENT M ETATE M to represent and control multi-agent systems,the reader is directed to[8,7]for further details.Note,however,that the following sections contain only initial ideas.As yet,none of these have been implemented in a large scale theorem-proving system.6.1Alternative Proof MechanismsWe have described a framework for concurrent theorem-proving where each object utilises the same basic deduction mechanism.However,this is not necessarily the case.A range of proof methods can be implemented within objects of this form and,indeed,a heterogeneous system can be developed with objects being implemented in a variety of languages.Thus,in the coarsest scenario,we could develop a set of different theorem-provers all working concurrently on the same problem.A morefine-grained approach would be to develop,within objects,alternative approaches for generating new sub-proofs.As we will see below,in order to define cooperative and competitive theorem-proving,it is often necessary to have a range of objects implementing,if not different algorithms,then the same algorithm with a slightly different emphasis.6.2CooperationThe approach described earlier in this paper is inherently cooperative.Intermediate results(in the form of positive literals)are broadcast to all objects,thus providing sharing of information(and,indeed,a form of common knowledge[5,9]).If,as above,a range of theorem-proving techniques were to be implemented,then sharing of important results could also be implemented.However,with a variety of proof mechanisms implemented across the object space,the structuring of objects into groups would also be appropriate.For example,a formula generated during a refutation proof might not be useful to a forward-chaining theorem-prover.Thus,proof mechanisms utilising similar general approaches might be grouped together so that intermediate results are only shared between those relevant objects.When more important results,for example a complete sub-proof,are generated,these can be sent directly to other groups to be used as part of their deduction.6.3CompetitionIf either alternative proof techniques,or alternative strategies within the same technique,are employed in different objects,then competitive behaviour can also be developed.For example,we can use tech-niques from thefield of genetic algorithms to develop systems whereby objects that successfullyfind a proof are rewarded.In particular,if an object is successful,it can create a new object implementing the same proof technique(possibly with slight modifications in strategy).In this way,successful proof techniques abound,while unsuccessful ones(i.e.,those that are either slow or can’t manage the proof at all)do not.With competition of this form comes the ability to adapt,in a limited fashion,to changing circum-stances.If certain proof techniques have been successful,they will be very common.However,if the type of problems being posed changes radically,so that those techniques are no longer as successful, then other,more appropriate,proof methods will begin to be successful.6.4Fault-ToleranceIn many models of concurrent theorem-proving,the processes defined are not fault-tolerant,i.e.,if one process was to‘die’unexpectedly(e.g.,by a processor crash),then the whole proof would fail.Aswe use broadcast as the underlying communication mechanism,we are able to utilise fault-tolerant approaches from distributed operating systems to safeguard the proof process.One common approach is that of‘process pairs’[4]where an object‘shadows’another,particularly important,object and is able to take over its role at any time.Obviously,this approach could not be practically implemented throughout the system but,for some key objects,it would provide a measure of fault-tolerance.7SummaryWe have described a framework for concurrent theorem-proving based upon asynchronously executing concurrent objects communicating by broadcast message-passing,and have outlined several advantages of this approach,as follows.•Each object need only recognise and record only a small number of message types.•Execution within each object is very simple.Only the matching of incoming messages to rules is required.Perhaps the most complex part of this process is the matching required between sets of assumptions when a rule is to be executed.•Delays and the order of message sending are all less important—regardless of these,computa-tion is still as slow as the longest‘critical’path.•In spite of the use of broadcast message-passing,the system need not be‘flooded’with mes-sages,especially if the objects are structured so that certain literals only occur within one object.The partitioning of clauses across objects is vital—the observation that by grouping clauses containing the same literal together,we avoid much message-passing,is important.•Branching in the search space is replaced by additional broadcast messages.Thus,in archi-tectures where broadcast is expensive,this will obviously be inefficient.However,most archi-tectures now provide efficient broadcast mechanisms and,indeed,many distributed operating systems are based upon this mechanism(e.g.[3]).In many other concurrent theorem-proving systems,this branching results in the spawning of new processes or threads,while our approach generates additional messages(which are generally‘cheaper’than processes).7.1Future WorkPart of our future work involves investigating the extension of this approach,including both theoretical results and implementations,to more powerful logics such as modal and temporal logics.We also intend to carry out a range of larger scale case studies in order to assess the viability of the approach when applied to more complex systems,and to provide a full(and optimised)implementation of this approach.Finally,we wish to look at the agent-based aspects of the model,incorporating the benefits of cooperation and cooperative search(e.g.[13])to concurrent theorem-proving. AcknowledgementsThe author wishes to thank both Robert Johnson and Michael Wooldridge for their helpful comments and suggestions.This work was partially supported by SERC under grant GR/J48979. References[1]G.Agha.Actors:A Model for Concurrent Computation in Distributed Systems.MIT Press,1986.。