平面格点形心问题研究

在组合论和数论中，平面格点形心问题是对给定的自然数k，求这样的最小整数n(k)，使得当n≥n(k)时，平面上任意几个格点中必存在k个格点的形心也是格点。显然n(1)=1，并容易求出n(2)=5。文献［1］用较复杂的组合设计方法确定出n(3)=9。本文提出一种简易的方法，给出n(3)=9的新证，并得到n(4)的改进上界。     

模5不同余平面格点的形心问题研究

对平面格点进行模5运算，建立了由25个不同剩余类格点排成5个行环、5个列环的环面格子网，称为模5环面，记为Z5^2．讨论了Z5^2上了格点之间、行之间、列之间、对角线之间的对称性，根据这些对称性得出了Z5^2上形心仍为格点的5个格点的分布情形．证明了当格点模5不同余时，任意9个格点中，必有5个格点其形心仍为格点，即公式n（5）=9成立．     

平面点集的一个极值问题

设S是欧氏空间Rm中由有限个点A1,A2,…,An组成的集合.d(Ai,Aj)表示点Ai和Aj之间的距离.令σ(S)=∑1≤i9 2 3.此外还提出几个猜想.     

(Ⅱ)_δ=m=0类方程轨线的全局结构与分枝曲线

本文用常微分方程平面定性理论分析二次微分系统(1)的轨线的全局结构与分枝曲线,主要结果如下: 在(l,n)参数平面内,当n≤0时,找到下列全局分枝曲线:l=0;n=0;n=-4/27l~3;4nl=1;l n 1=0(n≤-1/2);l n-1=0(n≤-1/2)以及C_1(l,n)=0和C_2(l,n)=0。除C_1(l,n)=0和C_2(l,n)=0外,其余分枝曲线均为代数曲线,由于分枝曲线对称于原点,对于n≥0上半平面也有同样结果。最近[4]已证明,C_1(l,n)=0和C_2(l,n)=0都是单分支的光滑曲线,作为欧几里得空间(二维)中的点集来看不含内点,结合[4]的结果,我们就比较完整的从定性方面讨论了系统(1)在(l,n)参数平面内的全局分枝曲线问题。     

Lorentz空间形式中类空超曲面的一个空隙定理

设M~n是(n+1)维Lorentz空间形式M_1~(n+1)(c)中无脐点类空超曲面.在M_1~(n+1)(c)的共形变换群下,M~n上的3个基本的共形不变量分别是:共形1-形式C,共形2-张量A,共形度量g.用κ表示共形法化数量曲率,?=A-1/ntr(A)g表示无迹共形2-张量,主要证明了一个空隙定理.     

由轮生成的Cayley图的广义3-连通度

令S?V(G),κ_G(S)表示图G中内部不交的S-树T_1,T_2,…,T_r的最大数目r,使得对任意i,j∈{1,2,…,r}且i≠j,有V(T_i)∩V(T_j)=S,E(T_i)∩E(T_j)=?.定义κ_k(G)=min{κ_G(S)|S?V(G),且|S|=k}为图G的广义k-连通度,其中k是整数,且2≤k≤n.令Sym(n)是在{1,2,…,n}上的对称群,T是Sym(n)的对换集合.G(T)表示点集是{1,2,…,n},边集是{ij|(ij)∈T}的图.若G(T)是一个轮图,则将Cayley图Cay(Sym(n),T)简记为WG_n.主要研究由轮生成的Cayley图WG_n的广义3-连通度,并证明κ_3(WG_n)=2n-3,其中n≥4.     

“祖冲之图形”初探

第五届《祖冲之杯》数学竞赛(1992,11,29举行)试题中,首次提出“祖冲之图形”的概念: 定义 平面上的n(n≥3)个点,设其所有两点间的距离取y个不同的数值,如果y=[n/2](指n/2的整数部分),那么由这n个点及其任意两点的连线所构成的图形,叫做n点祖冲之图形,简称祖氏形。     

平面格点的形心问题

在结论n(2)=5,n(3)=9的基础上,使用归纳法得到结论n(2^m,3^n)=4(2^m,3^n-1) 1;m,n=0,1,2,……     

若干积图的点可区别边染色

证明了:(1)两个n(n2)阶完全图的积图的点可区别边色数为2n. (2)对阶至少是3的完全图Kn,若χ′vd(G)=Δ(G),则χ′vd(G×Kn)=n+Δ(G).(3)若χ′vd(Gi)=Δ(Gi),i=1,2,则χ′vd(G1×G2)=Δ(G1)+Δ(G2).     

一些笛卡尔乘积图的限制连通度

子集S(∩)V(G)称为限制割,若任何点v∈V(G)的邻点集NG(v)都不是S的子集且G-S不连通.若G中存在限制割,则定义限制连通度κ1(G)=min{| S|S是G的一个限制割}.考虑了笛卡尔乘积图,证明了设G=G1×G2×…×Gn,若Gi是满足某些给定条件的ki连通ki正则且围长至少为5的图,其中i=1,2,…,n,则κ1(G)=2n∑i=1ki-2.     

亚纯函数及其导数分担小函数集的唯一性

研究了亚纯函数及其k阶导数权分担小函数集的唯一性,得到了:设k,n为正整数,f,g为开平面上超越亚纯函数,以∞为IM公共值,E(S1,f)=E(S1,g)且E1(S2,f(k))=E1(S2,g(k)l(≥2)∈N如果2nδ2+k(an,fn)+(nk+4)Θ(∞,f)n(k+1)+4则f≡tg(tn=1)或[f(k)n(akn)][(gkn)(akn)]=]bn-(akn])2,并且文中还讨论了当l=0,1时的情形.这些定理推广和改进了先前的一些结果.     

一类四边形的有理距点问题

通过指出杜和邓的证明过程的失误,说明Steinhaus整距点问题至今仍然是没有解决的公开问题.利用数域的扩张和Galois群的一些结论,研究了边长的平方为有理数,且一组对角之和为2kπ/n的四边形,其中kn,gcd(k,n)=1,n≥7,n≠8,10,12.证明了平面上不存在这样的点,到该四边形的4个顶点的距离的平方均为有理数.     

关于完全三部图K(n-k,n,n+k)的色性

设Ｇ为简单图,Ｐ（Ｇ,λ）的色多项式,若对任意简单图Ｈ满足Ｐ（Ｈ,λ）＝Ｐ（Ｇ,λ）,都有Ｈ与Ｇ同构,则称Ｇ是色唯一图,设Ｋ（ｍ,ｎ,ｒ）表示完全三部图,证明了：（１）对任意非负整数ｋ,若ｎ≥２√－３ｋ／３＋ｋ＾２,则Ｋ（ｎ－ｋ,ｎ,ｎ＋ｋ）是色唯一图。（２）若ｎ≥９,则Ｋ（ｎ－３,ｎ,ｎ＋３）是色唯一图。     

具有6个同构类的群的无平方因子的阶

对群计数公式的研究是有限群理论中有着重大意义的问题,设f(n)是n阶群的同构类数目,对于给定的整数k,去寻找满足f(n)=k的整数n,叫做求方程f(n)=k的解.作者利用Balass公式对具有6个同构类的群的无平方因子阶进行分析讨论,得到了方程f(n)=6的所有无平方因子解.     

一类数论函数的新进展

进一步研究了满足条件 f(u2+kv2)=f2(u)+kf2(v)的数论函数 f(n),证明了其在k=6的情形下可分成3类,进而验证了关于f(n)的猜想在k=6时是正确的. 进一步地,总结了研究过程中出现的一些有趣结果,指出了该数论函数在参数k的不同取值下,其证明过程中出现的一些联系与区别,旨在为猜想的完全证明提供一些可能的理论支撑.     

非线性项变号的脉冲微分方程正解的存在性

利用锥上的不动点指数理论得到了f变号时脉冲微分方程边值问题 -y″(t)=f(t,y(t)), t∈［0,1］＼｛t₁,t₂,…,t_m｝, Δy′(tk)=J_k(y(t_k)), k=1,…,m, y(0)=y(1)=0 正解的存在性,本文的结果推广并改进了相关文献的结论。     

整数分拆中两个结论的证明

在讨论p（n）的Euler函数表达式基础上得到主要结论：∞∑k=1tk∞∏i=k＋1（I-ti）=1,并且给出了p（n）=∞∑k=1（-1）k-1p（n-3k^2-k/2）＋p（n-3k^2＋k/2）的另一种证明方法。     

非线性三点边值问题正解的存在性

本文研究了三点边值问题{u″-k2u+a(t)f(u)=0,t∈(0,1),u(0)=0,u(1)=αu(η)正解的存在性,其中a∈C([0,1],[0,∞)),η∈(0,1),α∈(0,sinh(k)/sinh(kη)),f∈C([0,∞),[0,∞)).主要结果的证明基于锥上的不动点定理.     

Erd■s一个猜想的注记

当ｋ≥２，２ｋｎ＋１＝ｑｈ，ｑ≡－１（ｍｏｄ２ｋ），丢番图方程４／ｎ＝ｘ－１十ｙ－１＋ｚ－１有正整数解；当方程中ｎ换以素数Ｐ，则Ｐ存疑的条件是Ｌｅｇｅｎｄｒｅ符号有（Ｐ／３）＝（Ｐ／５）＝（Ｐ／７）＝（Ｐ／１１）＝（Ｐ／１３）＝（Ｐ／１７）＝１．