到三角形内一点的距离公式的应用

１７４６年，Ｓｔｅｗａｒｔ首先给出“点到线段上分点间距离公式”．本文引入“面积坐标”（即重心坐标，见［１］）把线段上的分点扩张到三角形所在平面上的点，给出相应的公式．设△Ａ１Ａ２Ａ３的面积为Ｓ，Ｑ是三角形所在平面上的一点，它与Ａｉ的对边构成的三角形有向面积为Ｓｉ，记ＳｉＳ＝λｉ，则称有序实数组（λ１，λ２，λ３）为点Ｑ关于△Ａ１Ａ２Ａ３的面积坐标．定理　设Ｑ是△Ａ１Ａ２Ａ３所在平面上的一点，它关于△Ａ１Ａ２Ａ３的面积坐标为（λ１，λ２，λ３），记ＡｉＡｊ＝ａｉｊ，若Ｐ为Ｒ３中的点，则有：（１）Ｐ…     

矩阵方程A~TXA=D的双对称最小二乘解

１．引 言 本文用 Ｒｎ×ｍ表示全体 ｎ×ｍ实矩阵集合，用 ＳＲｎ×ｎ（ＳＲ０ｎ×ｎ）表示全体 ｎ× ｎ实对称（实对称半正定）矩阵集合，ＯＲｎ×ｎ表示全体 ｎ× ｎ实正交矩阵集合，ＢＳＲｎ×ｎ表示全体ｎ×ｎ双对称实矩阵集合．这里，一个实对称矩阵Ａ＝（ａｉｊ）ｎ×ｎ被称为双对称矩阵，如果对所有的 　　　　　　　 　　　　　　　　　　　　　　　用Ａ×Ｂ表示矩阵 Ａ与 Ｂ的Ｈａｄａｍａｒｄ乘积，Ｉｋ表示 ｋ× ｋ阶单位矩阵，Ｏ表示零矩阵，Ｓｋ＝（ｅｋ，…，ｅ２，ｅ１）∈ Ｒｋ×ｋ，其中ｅｉ表示Ｉｋ的第ｉ列． 矩阵方程…     

关于Fibonacci数的两个表达式

关于Ｆｉｂｏｎａｃｃｉ数的两个表达式胡久稔（南开大学数学研究所，天津３０００７１）关键词Ｆｉｂｏｎａｃｉ数，表达式．分类号ＡＭＳ（１９９１）０５Ａ／ＣＣＬＯ１５７．１｛ｕｎ｝（ｎ＝１，２，…）表示Ｆｉｂｏｎａｃｃｉ数列：ｕ１＝ｕ２＝１，ｕｎ＋２＝ｕｎ...     

厄米特矩阵的迹的几点性质

应用矩阵Ａ＝（ａｉｊ）∈Ｃｎ×ｎ的弗罗伯尼范数ＡＦ和谱范数ＡＳ，研究厄米特矩阵的迹的性质，得到几个结论：Ｔｒ（ＡＢ）＝∑ｎｉ＝１λｉ∑ｎｊ＝１ｔｉｊμｊ（λｉ，μｊ分别为Ａ，Ｂ的特征值，０≤ｔｉｊ≤１，且∑ｎｉ＝１ｔｉｊ＝１，ｊ＝１，２，…，ｎ）；Ｔｒ（ＡＢ）≤Ｔｒ（Ａ）ＢＳ；Ｔｒ（ＡＢ）Ｈ（ＡＢ）］≤Ｔｒ（ＡＨＡ）［ｍａｘ１≤ｉ≤ｎλｉ］２（λｉ是Ｂ的特征值）等．     

“Katona-Kleitman定理的推广定理”的简短证明

本文给出“Ｋａｔｏｎａ－Ｋｌｅｉｔｍａｎ定理的推广”的简短证明．设Ｓ是ｎ元集合,Ｓ１,Ｓ２,…,Ｓｋ是 Ｓ的ｋ分划,Ｆ是Ｓ的子集系, 使得没有Ａ,Ｂ∈Ｆ,满足存在某个Ｓｉ有Ａ∩Ｓｉ＝Ｂ∩Ｓｉ,而对所有Ｓｉ＜（１＜ｉ≠ｉ＜ｋ）有Ａ∩∨ＳｉＢ∩Ｓｉ,则｜Ｆ｜     

Generalized ExcellentExtension and Hom ologicalDim ension

Ｐａｓｓｍａｎｉｎｔｒｏｄｕｃｅｄｔｈｅｎｏｔａｔｉｏｎｓｏｆｅｘｃｅｌｌｅｎｔｅｘｔｅｎｓｉｏｎｉｎ［１］．ＬｅｔＲｂｅｓｕｂｒｉｎｇｏｆＳ，ＲａｎｄＳｈａｖｅｓａｍｅｕｎｉｔ．ＳｉｓｃａｌｌｅｄｅｘｃｅｌｌｅｎｔｅｘｔｅｎｓｉｏｎｏｆＲｉｆ：（Ａ）Ｓ＝∑ｎｉ＝１ａｉＲｓｕｃｈｔｈａｔ｛ａ１，…，ａｎ｝Ｓ，ａ１＝１，Ｒａｉ＝ａｉＲ，ｉ＝１～ｎａｎｄＳｉｓｆｒｅｅｗｉｔｈｂａｓｉｅ｛ａ１，…，ａｎ｝ａｓｂｏｔｈａｒｉｇｈｔａｎｄｌｅｆｔＲ－ｍｏｄｕｌｅ．（Ｂ）ＳｉｓＲ－ｐｒｏｊｅｃｔｉｖｅ：ｔ…     

1999年普通高等学校招生全国统一考试数学(理工农医类)试题及解答

第Ⅰ卷（参考公式,略）１．选择题（１）如图,Ｉ是全集,Ｍ、Ｐ、Ｓ是Ｉ的３个子集,则阴影部分所表示的集合是（　　）．　（Ａ）（Ｍ∩Ｐ）∩Ｓ　（Ｂ）（Ｍ∩Ｐ）∪Ｓ　（Ｃ）（Ｍ∩Ｐ）∩Ｓ　　　（Ｄ）（Ｍ∩Ｐ）∪Ｓ（２）已知映射ｆ：Ａ→Ｂ,其中,集合Ａ＝｛－３,－２,－１,１,２,３,４｝,集合Ｂ中的元素都是Ａ中元素在映射ｆ下的象,且对任意的ａ∈Ａ,在Ｂ中和它对应的元素是｜ａ｜,则集合Ｂ中元素的个数是（　　）．　（Ａ）６　　（Ｂ）５　　（Ｃ）４　　（Ｄ）７（３）若函数ｙ＝ｆ（ｘ）的反函数是ｙ＝ｇ（ｘ）,…     

广义回形折线中的一个三角不等式

本文给出广义回形折线中的一个三角不等式，并略述其应用．关于广义回形折线及其内角、环数等概念，请参看拙文［１］，这里沿用而不复述．定理设ｎ边广义回形折线Ａ１Ａ２Ａ３…ＡｎＡ１的各内角∠Ａｉ（ｉ＝１，２，…，ｎ）都是劣角，Ｐ是它的任一同侧点，记θｉ＝∠Ｐ...     

一个除数问题的推广

本文推广了Ｒ．Ａ．Ｓｍｉｔｈ，Ｍ．Ｖ．Ｓｕｂｂａｒａｏ和Ｇ．Ｎｏｗａｋ所考虑的一个除数问题．令Ｓ＝｛（ａｉ，ｑｉ）｜ａｉ≤ｑｉ｝（ｒ≥３）．定义ｄ（ｎ；Ｓ）＝Σ（１）１，Σ（１）表示对满足ｎ＝ｍ１…ｍｒ，ｍｊ≡ａｊ（ｍｏｄｑｊ），ｊ＝１，２，…，ｒ的诸ｍｊ求和．我们求出了Σｎ≤ｘｄ（ｎ；Ｓ）的渐近公式，并得到了余项估计．     

算法的发现(IV)——论组合优化的特性清单

组合优化问题的定义［１］是定义１问题ＸＹＺ是指：对于每一个π（１）－集合Ｓ，从其诸π（２）－子集合中找出π（３）－（优）集合Ｓ＊．本文直接从它出发，§§２－５讨论诸π（ｉ）－集合（ｉ＝１，２，３）的某基本特性（ｐｒｏｐｅｒｔｙ），公理（ｐｏｓ－ｔｕｌａｔｅ），或者特殊情形（ｐａｒｔｉｃｕｌａｒｃａｓｅ）．列出了一个清单ＰＰＰ，叫做特性清单．它远非完善，但已经可以用来讨论不少问题．§６起简单地讨论若干个子清单，所对应的问题类，并讨论求解它们的一些方法．     

“调配问题”及经济数学的一组公式

本文是介绍解决资源开发，运输决策等社会现象的问题中归纳出来的“调配问题”及经济数学的一组公式（ｎ）∑（ｉ＝１）ＳｉＴａｉ≥（ｎ）∑（ｉ＝１）ＳｉＴｎ－ｉ＋１；（ｎ）∑（ｉ＝１）ＳｉＴｉ≥（ｎ）∑（ｉ＝１）ＳＩＴａｉ。     

关于任意K（K≥5）个连续Fibonacci数的猜想

关于任意Ｋ（Ｋ≥５）个连续Ｆｉｂｏｎａｃｃｉ数的猜想刘元宗（河南洛阳师专４７１０２２）文［１］指出，１９９１年美国Ｍｒ．Ａ．ＤｉＤｏｍｅｎｉｃｏ教授利用数学归纳法证明了五个连续Ｆｉｂｏｎａｃｃｉ数的几个公式，即（１）ＦｎＦｎ＋４－Ｆｎ＋１Ｆｎ＋３＝２...     

无限秩典型根系的自同构

所谓一个无限秩典型根系△是指型Ａ∞，Ａ＋∞，Ｂ∞，Ｃ∞或Ｄ∞的无限秩根系的一种．对任一非 负整数ｌ，△包含一个有限根系△ｌ，使得△０ △１ …且△＝Ｕｌ＝０∞△ｌ．本文的工作是求出△的 保持每一△ｎｉ的所有自同构，其中ｎｉ属于集合｛ｎｉ），集合｛ｎｉ｜ｉ＝１，２，…｝是任一给定的非负整 数序列且 ｎ１＜ｎ２＜…．这是有限根系的自同构群的推广．     

贪婪t－相交有限序列族

设Ｆ为有限序列族，对ａ＝（ａ１，ａ２，…，ａｎ）∈Ｆ，ａｉ为整数且０≤ａｉ≤ｓｉ（整数），记ｓ（ａ）＝｛ｊ｜１≤ｊ≤ｎ，ａｊ＞０｝，ｓ（Ｆ）＝｛ｓ（ａ）｜ａ∈Ｆ｝，及Ａ｛１，２，…，ｎ｝时Ｗ（Ａ）＝Пｉ∈Ａｓｉ．称Ｆ为贪婪ｔ－相交，如对任何ａ，ｂ∈Ｆ，至少有ｔ个ａｉ，ｂｉ＞０，且Ｗ（Ａ）≥Ｗ（（｛１，２，…，ｎ｝－Ａ）＋Ｂ）对任何Ａ∈Ｓ（Ｆ）及ＢＡ（｜Ｂ｜＝ｔ－１）成立．本文得到当ｓ１＞ｓ２＞…＞ｓｎ时的最大贪婪ｔ－相交有限序列族．     

子集的交叉t－相交定理

设Ｘ为一个ｎ元集合，Ｃｎｋ为Ｘ的所有ｋ元子集全体，若Ａ∈Ａ，Ｂ∈Ｂ有｜Ａ∩Ｂ｜≥ｔ，则称（Ａ，Ｂ）为一个交叉ｔ－相交子集族．本文得到最大交叉ｔ－相交子集族和最大非空交叉２－相交子集族．证明如下两个结论．（１）若（Ａ，Ｂ）为一个交叉ｔ－相交子集族，且ａ≤ｂ及ａ＋ｂ≤ｎ＋ｔ－１，则｜Ａ＋Ｂ｜≤ｍａｘ｛（ｂｎ），（ａｎ）｝，且当（Ａ；Ｂ）＝（φ，Ｃｎｂ）或（Ｃｎａ，φ）时达到上界．（２）若（Ａ，Ｂ）为一个交叉２－相交子集族，且ａ＜ｂ，ａ＋ｂ≤ｎ－１及（ｎ，ａ，ｂ）≠（２ｉ，ｉ－１，ｉ）（ｉ为任意正整数），又Ａ，Ｂ均非空，则｜Ａ＋Ｂ｜≤１＋（ｂｎ）－（ｂ（ｎ－ａ））－ａ（（ｂ－１）（ｎ－ａ））且当（Ａ，Ｂ）＝（｛Ａ｝，Ｃｎｂ－｛Ｂ｜｜Ｂ｜＝ｂ，｜Ａ∩Ｂ｜≤１｝）时达到上界．     

随机阵列最大部分和的矩不等式和概率不等式

设Ｘｉｊ，ｉ＝１，…，ｍｌｊ＝１…，ｎ是任决一个随机变量阵列，令Ｓ（ｉ１，ｊ１；ｉ２，ｊ２）∑ｉ＝１，∑ｊ＝１Ｘｉｊ，Ｍ（ｉ１，ｊ１；ｉ２，ｊ２）ｍａｘｉｊｚ≤ｉ≤ｉ２，ｊ１≤ｊ≤ｊ２‖Ｓ（ｉ１，ｊ１；ｉ，ｊ）‖１≤ｉ１≤ｉ２≤ｍ，１≤ｊ１≤ｊ２≤ｎ）本文根据所设Ｅ（ｅｘｐ（ｔ，／Ｓ（ｉ１，ｊ１；ｉ２ｊ２）／）），Ｅ／Ｓ（ｉ１，ｊ１；ｉ２，ｊ２）／和Ｐ（？Ｓ（ｉ１，ｊ１；ｉ２，ｊ２?／≥ ｉ）的界     

关于МОХОНЪКО不等式的精确性

证明了如下定理：设Φ（ｚ）＝∑ｎｕ＝１∏ｔｉ＝１ｆａｕｉ０ｉ…ｆ（ｋｉ）ｉａｕｉｋｉ∑ｍｖ＝１∏ｔｉ＝１ｆｂｖｉ０ｉ…ｆ（ｋｉ）ｉｂｖｉｋｉ其中ｆｉ（ｚ），（１≤ｉ≤ｔ）是亚纯函数，ａｕｉｊ，ｂｖｉｊ为非负整数，则有Ｔ（ｒ，Φ）≤∑ｔｉ＝１｛［Ｓｉ＋ｏ（１）］ｍ（ｒ，ｆｉ）＋［△ｉ－ｕｉ＋ｏ（１）］Ｎ（ｒ，ｆｉ）＋（△ｉ－Ｓｉ）Ｎ（ｒ，ｆｉ）｝ｒＥ∈Ｌ．它是МОХОНЪКО的一个定理的精确改进．     

关于广义Thue－Mahler方程的解数

设ａ，ｂ是非零整数，ｐ１，…，ｐｒ是不同的素数，Ｐ＝｛±｜ｍ１，…，ｍｒ是非负整数｝．设Ｋ是ｎ（ｎ≥３）次代数数域，α１，…，αｍ∈ｋ（１＜ｍ＜ｎ），△（α１，…，αｍ）是α１，…，αｍ的判别式，ｆ（ｘ１，…，ｘｍ）＝αＮｋ／Ｑ（α１ｘ１＋…＋αｍｘｍ）∈ｚ［ｘ１，…，ｘｍ］．本文证明了：当ｆ（ｘ１，…，ｘｍ）非退化且Ｐｉ△（α１，…，αｍ）（ｉ＝１，…，ｒ）时，方程ｆ（ｘ１，…，ｘｍ）＝ｂｙ，ｘ１，…，ｘｍ∈ｚ，ｇｃｄ（ｘ１，…，ｘｍ）＝１，ｙ∈Ｐ至多有（４Ｓｄ２）（Ｓｄ）组解（ｘ１，…，ｘｍ，ｙ），其中ｄ＝ｎ！，Ｓ＝ｒ＋ω是ｂ的不同素因数的个数，ｈＡ是Ｋ的类数．     

一类递归关系存在L解的充要条件

一类递归关系存在Ｌ解的充要条件徐学文（华中师大数学系４３００７０）对于常系数线性齐次递归关系ａｋ是常数且ａｋ≠０．我们将方程为递归关系（１）的特征方程．并有如下结论．结论１若ｘ１．Ｘ２，…．ｘｐ是（２）的ｐ个不同的根，且ｘｉ的重数为λｉ（单根的重数为...     

关键方程的极小多项式

１引言 本文中Ｒ是指一个ＵＦＤ，ｋ是Ｒ的商域，Ｒ［ｘ］司是以ｘ为未定元的Ｒ上的多项式环．Ｒ上的半无限线性递归序列（ｌｒｓ）与无限线性递归序列（Ｌｒｓ）统记为ＬＲＳ．ＬＲＳ在代数编码、密码学、信号处理中是重要的研究对象，序列的综合问题主要是求出序列ａ的次数最小的特征多项式．在实际应用中，更多地是考察Ｒ上的有限长序列α＝（α_０，α_１，…，α_Ｎ），α（ｘ）＝∑ａ_ｉｘｉ称为α的生成函数．关于求解序列问题的典型描述是解关键方程（ＫｅｙＥｑｕａｔｉｏｎ）：求集合σ＝｛（ｘ）∈Ｒ［ｘ］｜σ（ｘ）ａ（ｘ）≡…