坐标变换·复合运动·曲线加工——《解析几何》教学参考资料

可以解释为,同一点M在旧坐标系xoy中的坐标(x,y)和它在新坐标系x_1o_1y_1中的坐标(x_1,y_1)之间的联系。其中a,b是新坐标系原点o_1在旧坐标系中的坐标,而θ新坐标轴o_1x_1由ox方向开始的转动角。这时,由于新旧坐标系是相对固定的,所以a,b,θ皆为常数。 如果我们只考虑一个固定的点M,则公式(1)给出的是两组定数(x_1,y_1)和(x,y)之间的关系。如果把点M看做是某曲线上的任意点,则公式(1)(或其反变换)给出了一条曲线在两个坐标系中的方程之间变形公式。     

导出变换的特征多项式的性质

设A是数域P上n维线性空间V上的线性变换,W是A的不变子空间,A限制在W上的线性变换,称为A的导出变换,[1].记作A│W,为了便于书写,记作B.本文目的是剖析A的导出变换的特征多顶式性质。 定理 1.假设条件同上,则B特征多项式f_1(λ)整除A的特征多项式 f(λ)。 证;设W的基为α_1,α_a。,…α_r,V的基为α_1,α_2,…,α_r,α_r+1,…,α_n,于是有∑(α_1,…,α_r)=(α_1,…,α_r)B.     

关于MATROID的一个特征性质

本文给出了Matroid的一个特征性质,即给出了以下定理:设S是集合,2~s,φ∈为子集闭的,则(S,)为Matroid当且仅当下列条件满足:对X={x_1,x_2,…x_n}∈,Y={y_1,y_2,…y_m}∈,X、Y在中极大,则n=m,且适当调整x_1的顺序,可使i,{y_1…y_(i-1),X_i,y_(i+1),…,y_m}∈(i=1,2,…n)     

多边形的一个性质及其应用

本文将利用坐标法给出任意多边形的一个性质,并应用此性质在三角形的情形,得到与三角形的重心、内心、傍心、垂心、外心有关的一组距离公式。 定理1.在平面直角坐标系中,n边形 A_1A_2……A_n的顶点坐标依次为A_1(x_1,y_2),     

一道平面解析几何题的八种证法及其应用

题:过抛物线y~2=2px的焦点的一条直线和抛物线相交于P(x_1、y_1)、Q(x_2、y_2)两点,求证:y_1·y_2=-p~2(中师教材《几何》第二册习题七第8题)。     

微积分中值公式推广

本文先给出一道分析命题,然后将它与微积分中值公式联系起来。 命题1 设函数f(x)在区间[0,1]上可导,而且f(0)=0,f(1)=1,则对任何sum from i=1 to n(α_i),0≤α_i≤1,存在[0,1]中n个不同数x_1,…,x_n,便得sum from i=1 to n(a_i/integral to 1(x_i)) =1 证n=1时,α_1=1,结论显然成立,下面不妨0<α_1<1,当n=2时,因为0<α_1<1,所以存在ξ_1∈(0,1)使得f(ξ)=α_1,由微分中值定理得:     

关于一类数列的通项公式

1979年6月号《数学通报》发表的《关于一数列的通项公式》,求出了一个数列(本文中的例1)的通项公式。本文用幂级数展开的方法,求得同类数列的通项公式。 已知数列 x_0=b_0,x_1=b_1,α_0x_n α_1x_(n-1) α_(n-2)=0(α_0,α_1,α_2为非零实数,n≥2),则{x_n}有下列通项公式: (1) 当辅助方程α_0 α_1y α_2y~2=0有相等实根y=r时,     

函数f:R~2→R~1的微分中值定理

本文把一元函数f:R~1→R~1的微分中值定理推广到二元函数f:R~2→R~1上,下面是二元函数z=f(x,y)的微分中值定理。 定理 设函数z=f(x,y)在区域D上连续,在D内关于x和y的两个偏导数连续,且算子1×2矩阵的范,则对D内任意两点(x_1,y_1)、(x_2,y_2)有     

映射度的一个推广

计算同伦群是代数拓朴的基本任务之一,而构造不变量则是进行计算的重要手段。设B_1,B_2是两个n维的连通的紧致可微流形,ξ_1→B_1和ξ_2→B_2是两个k维定向的微向量丛,并用Tξ_1,Tξ_2表示相应的Thom空间。我们将在本文中构造一个从同伦类的集合[Tξ_1,Tξ_2]到整数加群Z的不变量,也即是一个合理定义的映射d:[Tξ_1,Tξ_2]→Z,并对此进行探讨。     

浅谈对Riemann积分定义的理解

本文围绕Riemann积分的定义:设有定数I,对任意的ε>0,存在δ>0,对任意的分法△,不管ξ_i在〔x_(i-1),x_i〕中如何选取,只要λ(△)=i=1,2,…,n{△x_i}<δ,便有/f(ξ_i)△x-1/<ε则称I是f(x)在区间[a,b]上的定积分。抓住定义中两个关键的“部位”:分法△及ξ_i的任意性的讨论以思考题的形式。如λ(△)→0与“分点无限增多”是否等价?又如对给定的分     

求平面射影变换公式的矩阵方法

一、引言平面射影几何基本定理是:设P_i(i=1,2,3,4)是平面上给定的四点,其中任何三点不共线;P′_i(i=1,2,3,4)是平面上另外任意四点,其中任何三点也不共线,则唯一地确定了一个射影变换,它把P_i分别变换到P′_i(i=1,2,3,4)。若已知P_i、P′_i的坐标分别是(x_1~((i)),x_2~((i)),x_3~((i))),(y_1~((i)),y_2~((i)),y_3~((i)))(i=1,2,3,4),那么可以求出把P_i分别变为P′_i的射影变换式,通常的方法是:设射影变换式为     

次对称矩阵与次对称变换

本文引入了次对称矩阵及次对称变换等新概念,获得了一些重要性质,并且给出了次对称矩阵及次对称变换的关系: 定理1 n维欧氏空间V中次对称变换σ关于V的标准正交基{α_1,α_2,…,α_n}的矩阵A是一个次对称矩阵。 定理2 设σ是n维欧氏空间V的一个线性变换。若σ关于V的一个标准正交基{α_1α_2,…,α_n}的矩阵A是次对称矩阵,则σ是一个次对称变换。     

一类两指标Volterra型随机积分方程解的存在性、唯一性

本文利用随机积分压缩函数的方法讨论两指标Volterra—ItO方程 X(Z)=φ(Z)+∫_(R_zK(Z,ξ)f_1(ξ,X(ξ)dξ)+∫_(R_zf_2(ξ,X(ξ))dB(ξ)),Z∈R_+~2其中B(Z)是平面上Win-ner—Yeh过程。在较Lip更一般的条件下,得到解的存在唯一性。     

极限(Lim)e~(-n)sum form k=0 to n((n_k)/k1=1/2)的一个证明方法

在概率论中,对独立同分布随机变量序列ξ_1,ξ_2,…,ξ_n…(比如它们同时服从参数为1的Poisson分布)。     

关于椭圆曲线y~2=qx(x~2-32)的整数点

设q为无平方因子的正奇数,q的任意素因子qi(i∈Z~+)都满足qi≡5(mod 8),主要利用同余的性质、Legendre符号等证明了y~2=qx(x~3-32)除了整数点(x,y)=(0,0)外至多有4个整数点(x_1,±y_1),(x_2,±y_2).     

怎样打开平面解几三个公式中的绝对值符号

在平面解析几何中,含绝对值符号的公式有;点到直线距离公式;二直线交角公式和三点围成的三角形面积公式。本文拟讨论根据解题需要,怎样去掉绝对值符号。 一、点P(x_0,y_0)到直线l:Ax+By+C=0的距离公式;d=|Ax_0+By_0+C|/(A~2+B~2)~(1/2)     

Gauss-Bonnet公式的另一种表示形式

设M为n=2P维的紧致定向Riemann流形,本文将证明Gauss-Bonnet公式可表示成 x(M)=((-1)~p/2~pπ~p)∫_(mΩ_(1…n)) 其中,对任意偶数m≤n。 Ω_(i_1…i_m)=(sum from k)ε((1K2…K-1K+1…m)(1…m)Ω_(i_1i_k)∧Ω_(i_2…i_(k-1)i_(k+1)…i_m))     

符号■、■的妙用

<正> 我在教学过程中,仅仅采用了数理逻辑中的两个符号,就觉得省事不少,今特介绍出来,供同志们参考。符号 A(for all)是数理逻辑中的全称量词,表示对于所有的…或表示对于任意的…意思。符号 E(there exits)是数理逻辑中的存在量词,表示存在…或表示可以找到…的意思。应用举例介绍于下:例1,叙述极限的定义。(1)数列极限:设 x_1,x_2…,x_n…为一数列。如果对于每一个预先给定的任意小的正数ε,总存在一个正数 N,使得对于 n>N 的一切 x_n,不等式     

浅谈二次曲面的弦的中点轨迹的几个问题

本文将文[1]的结果推广到三维空间,并初探一下求切点平面的方程和弦为定定长的中点方程的两个问题。一、关于过定点二次曲面弦的中点轨迹命题1:过定点P_0(x_0y_0z_0)的直线束与二次曲面F(x,y,z)=0相截得的二次曲面弦的中点p(x,y,z)坐标满足方程:     

二重极限存在的一个充要条件

本文给出一个关于二元函数的二重极限存在的充要条件和三个推沦,并举例说明它们的简单应用。我们约定采用中关于二重极限的定义,D为R_2中的点集,f(x,y)是定义在D上的二元函数. 定理若P_0(x_0,y_0)是D的一个聚点,则 lim f(x,y) x→x_0 y→y_0