涉及直角三角形一命题的面积证法

文［１］中给出了：命题　在Ｒｔ△ＡＢＣ中,∠ＡＣＢ为直角,ＣＤ⊥ＡＢ于Ｄ,△ＡＤＣ和△ＣＤＢ的内心分别为Ｏ１、Ｏ２,Ｏ１Ｏ２与ＣＤ交于Ｋ,则１ＢＣ＋１ＡＣ＝１ＣＫ．图１文［２］给出了上述命题的纯平几证法．但其证法需添作复杂的辅助线后,再构造相似三角形解题．尽管初中学生能够接受,但给问题增加了神秘感,其构图思路让学生难以捉摸．为此,现给出命题的一种面积证法,供读者参考．证明　如图１,设Ｏ１Ｏ２的双向延长线分别与ＡＣ、ＢＣ相交于Ｍ、Ｎ,又设∠ＡＣＤ＝α,则∠ＢＣＤ＝９０°－α,　　ｓｉｎα＋ｃｏｓα…     

一道第38届IMO试题新证及推广

贵刊１９９７年第９期登载了“第３８届国际数学奥林匹克题解”,其中问题２是道平面几何题,解答用到了正弦定理,比较繁琐．笔者经过仔细研究后,找到了一种较简捷的纯几何证法．并通过证明过程的分析,将原问题作了进一步的推广．问题２　设∠Ａ是△ＡＢＣ中最小的内角．①点Ｂ和Ｃ将这个三角形的外接圆分成两段弧．设Ｕ是落在不含Ａ的那段弧上且不等于Ｂ与Ｃ的一个点．②线段ＡＢ和ＡＣ的垂直平分线分别交线段ＡＵ于Ｖ和Ｗ,直线ＢＶ和ＣＷ相交于Ｔ．③图１ＢＭＯＶＴＵＣＤＮＷＡＥ求证：ＡＵ＝ＴＢ＋ＴＣ．证明：如图１所示．因为点Ｖ…     

三角形目标检测题(A)

一、填空（１～５小题各３分,６～８小题各４分,９、１０小题各５分,共３７分）１．按角分类,三角形可分为、和．２．△ＡＢＣ的边ＡＢ＝６ｃｍ,ＡＣ＝４ｃｍ,则第三边ＢＣ的范围是＜ＢＣ＜．图Ａ－１３．如图Ａ－１,ＣＤ是△ＡＢＣ的角平分线,ＡＢ＝ＡＣ．若∠Ａ＝５０°,则∠１＝．４．在△ＡＢＣ中,∠Ｃ＝９０°,ＡＢ＝１３ｃｍ,ＡＣ＝５ｃｍ,则ＢＣ＝ｃｍ．图Ａ－２５．如图Ａ－２,已知线段ＡＢ,用尺规作ＡＢ的垂直平分线．（保留作图痕迹）６．等腰三角形的一个顶角比底角小３０°,则它与顶角相邻的外角等于．７．如图…     

[C(E),C_a(E)]中的唯一原子

对于集会 Ｘ上的任一非平凡等价关系 Ｅ,本文考察了半群 ＴＥ（Ｘ）上的同余Ｃ．（Ｅ）,并证明了Ｃ*（Ｅ）是ＴＥ（Ｘ）的同余格的完全子格［Ｃ（Ｅ）,Ｃ．（Ｅ）］中的唯一原子．     

两道赛题的联系、深化和推广

１两道联赛题 例 １ 给定一圆内接△ＡＢＣ,设 Ａ＇Ｂ＇和Ｃ＇分别是连结Ａ＇Ｃ＇Ａ＇Ｂ＇分别交ＡＢ、ＡＣ于Ｄ、Ｅ．求证：ＤＥ//ＢＣ,且ＤＥ经过△ＡＢＣ的内心． 这是全俄第五届（１９６５年）数学竞赛的一道试题［１］,现给一简明的证法如下． 证明 连结 Ａ＇Ｂ、ＢＣ＇,设Ｆ是ＢＣ与Ａ＇Ｃ＇的交点,如图１．Ａ＇Ｂ＝Ａ＇Ｉ．同理 Ｃ＇Ｂ＝Ｃ＇Ｉ, Ａ＇Ｃ是线段ＢＩ的中垂线． ＢＩ平分 Ｂ, ＢＩ是ＤＦ的垂直平分线, ＤＢＦＩ是菱形, ＤＩ//ＢＦ,即 ＤＩ//ＢＣ． 同理可证 ＩＥ//ＢＣ, 故 ＤＥ//ＢＣ,且ＤＥ过△ＡＢＣ的内…     

一平几命题的又一新证法

命题在Ｒｔ△ＡＢＣ中,∠ＡＣＢ为直角,ＣＤ⊥ＡＢ于Ｄ,△ＡＤＣ和△ＣＤＢ的内心分别为Ｏ１、Ｏ２,Ｏ１Ｏ２与ＣＤ交于Ｋ,则１ＢＣ＋１ＡＣ＝１ＣＫ．此命题是沈文选先生在文［１］中给出的一个结果,宿先生在文［２］中给出了平几证法,但证法中用到了弦角公式．受...     

第三周几何能力训练二

说明　此组题是几何能力训练一的补充,主要训练识图、画图、计算、逻辑推理能力．　　一、填空（１～６小题各３分,７～１０小题各５分,共３８分）１．目测图中全等的三角形可能有对．（如图Ｃ－１６）图Ｃ－１６图Ｃ－１７２．如图Ｃ－１７,ＡＢ＝ＡＣ,点Ｄ、Ｆ是∠ＢＡＣ的平分线上两点,ＡＤ、ＤＦ满足关系时,Ｓ△ＡＤＣ＝Ｓ△ＢＤＦ．３．画图,并回答．从△ＡＢＣ的顶点Ｂ作∠Ａ的平分线的垂线段ＢＤ,垂足为Ｄ,过点Ｄ作ＤＥ∥ＡＣ,交ＡＢ于点Ｅ．图中的直角三角形是,等腰三角形有．图Ｃ－１８４．如图Ｃ－１８,ＡＤ∥ＢＣ,…     

一类微分多项式的唯一性定理

本文在涉及慢增长函数的情况下讨论了一类微分多项式的唯一性问题,推广了Ｃ．Ｃ．Ｙａｎｇ及仪洪勋等人的有关结果     

广义a-结合BCI-代数

引入了广义ａ－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义ａ－结合部分的关系．并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义ａ－结合ＢＣＩ－代数上．最后我们证明了每个广义ａ－结合ＢＣＩ－代数可确定一个交换偏序幺半群．本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的．     

少圈二重覆盖平面近三角剖分图的生成元

令Ｇ为一具有ｎ个节点的平面近三角剖分图,Ｃ为Ｇ的一个少圈二重覆盖（ＳＣＤＣ）．本文首先给出了Ｇ的一些生成元,由此可以得到Ｇ的一个ＳＣＤＣ．若Ｇ为一外平面近三角剖分图,得到 ｜Ｃ｜≤ｎ－２的一充分必要条件;若 Ｇ至少有一个内点,得到｜Ｃ｜≤ｎ－２的一充分条件．     

初基演算

<正> 命题演算的构成,通常有三步骤的说法,即从 Johanson 的“极小演算”到 Heyting的构造论命题演算再到二值演算.此外,Lewis 从模态或严格蕴涵出发,也分别了许多步骤,以达到二值演算为其极限;特别值得注意的是最后三个步骤,即从 S4 到 S5 到二值演算.这两个三步骤就某意义说乃是通常命题演算的构成中最本质的步骤.综合这两个三步骤,会带来许多便利,而本文所提出的也就是作为二者共同基础的初基演算.     

THE ASYMPTOTIC PERIODICITY OF PIECEWISE MONOTONE SELFMAPS OF THE INTERVAL

Let f : I → I be a piecewise monotone interval map. The critical point set C(f) of f consists of all the preimages of its turning points. It is proved that the complex dynamical behaviors of f are all concentrated on the derived set of C(f). f is asymptotically periodic if and only if the derived set of C(f) is countable.     

关于C1-积分

本文利用Riemann和的Moore-Smith极限来定义并研究C1-积分.利用C1-积分的有关性质,讨论了C1-积分与C-积分之间的关系,并给出了一个零测度集特征函数C1-可积的充要条件,从而推广了文献[5]的有关结论.     

Cantor集的自乘积集的Hausdorff测度的下界

证明了三分Cantor集C的自乘积集C×C的Hausdorff测度满足 H~(log_3)~4(C×C)≥1.48329。     

无C_4图的邻域同调分类

本文证明了两个连通的无C4图是邻域同调的充要条件为它们的二分性相同，并且圈秩相等．     

Sierpinski Gasket上布朗运动的维数性质

本文研究Sierpinski Gasket上的布朗运动X的象集、图集的Hausdorff维数性质,证明了存在零概率集Ⅳ,若ω∈Nc,则对任意紧集F(?)[0,∞),有(i)dimX(F+t)=min(α-1dimF,df),a.e.t>0,(ii)dimGrX|F+t=min(α-1dimF,(1-α)df+dimF),a.e.t>0,其中ds=log3/log2,α=log2/log5.     

A COUNTER-EXAMPLE CONCERNING THE ANALYTIC RADON-NIKODYM PROPERTY

ＡＣＯＵＮＴＥＲ－ＥＸＡＭＰＬＥＣＯＮＣＥＲＮＩＮＧＴＨＥＡＮＡＬＹＴＩＣＲＡＤＯＮ－ＮＩＫＯＤＹＭＰＲＯＰＥＲＴＹ￥ＢＵＳＨＡＮＧＱＵＡＮ（ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ＱｉｎｇｈｕａＵｎｉｖｅｒｓｉｔｙＢｅｉｊｉｎ...     

Smale空间上的广群C~*-代数的迹

本文证明由拓扑混合的Smale空间上的渐进等价关系定义的广群C*-代数及其相应的Ruelle代数有唯一的迹态;在拓扑可迁的情形下,证明此C*-代数的迹态构成了一个单形,此单形顶点的个数等于“Smale谱分解”中基本空间的个数,单形的重心是该C*-代数的唯一的αa-不变迹态;此回答了I.Putnam的一个猜测.     

ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION

ABSTRACT

Following the Arbib-Manes approach to machines in categories, the categories Mach(C) of machines and TBeh(C) of total behaviours are constructed, where c is a class of state-behaviour processes. It is shown that the total external behaviour functor E: Mach(C) → TBeh(C) has a left adjoint and that the free realization of any total behaviour is reachable. Furthermore, the restriction of E to the full subcategory of Mach(C) with all reachable machines as objects has as right adjoint the minimal realization functor.     

椭圆型算子的扩张及■半群

<正> 如何构造一个马尔科夫过程以G为生成元素(在适当的定义域上)的问题,在[1a]中已经给出回答.[1a]中假定系数a_(ij)(x),b_j(x),c(x)皆有界.可以证明在此条件下,过程的极限分布必为零;当l>2时,对应的过程必为非常返的(定义见[2]).这种限制把最典