首页 > 其他分享 >20240119方程图像研究

20240119方程图像研究

时间:2024-01-20 11:46:28浏览次数:25  
标签:cos 方程 sin 图像 theta 20240119 displaystyle

事情起因:
image

研究人员:csj、lqy、xzq、yjf

方程图像研究要求:

  1. 描点法画图(使用卡西欧),在 \(x\) 轴上任取值,对于给定 \(x_0\),应在有限时间内求出所有对应的 \(y\)。
  2. 草图绘制(直接绘制):综合方程性质(如定义域、单调性、对称性),明确区间单调性及端点,利用对称性作图、或化归为已知方程并求出其参数。
  3. 精准图像绘制(使用 Geogebra):已知 Geogebra 可以绘制关于两个参数 \(x,y\) 方程 \(f(x,y)=0\) 的图像,所有研究最后应经过检验。

Q1:方程 \(x^4+y^4=x^2+y^2\)

描点法

设 \(t=y^2\),以 \(x\) 作为参数,移项得:\(t^2-t+(x^4-x^2)=0\)。

对于给定的一个 \(x_0\in R\),可以利用卡西欧求解四次方程,或手动(卡西欧)求解二次方程,得到对应这个 \(x_0\) 的所有 \(y\) 值。

草图绘制

第一,观察到原方程中所有 \(x,y\) 都是平方或四次方,因此考虑对称性。取 \(P(x,y)\in \text{I}\),将 \(P'(-x,y)\) 代入原方程,易得原方程依然成立。同理可知 \((x,-y),(-x,-y)\) 同样成立。于是原方程的图像关于原点对称(坐标轴上的点也满足)。接下来,我们只需要研究它第一象限(含两条坐标轴正半轴,下文同)的图像即可。

第二,观察到原方程的形式非常对称(\(x,y\) 完全可以交换),于是可以进一步研究它的对称性。取 \(P(x,y)\in \text{I}\),\(Q(y,x)\) 也满足方程,所以它第一象限的图像关于直线 \(y=x\) 对称。接下来,我们只需要研究它第一象限在直线 \(y=x\) 上方的部分(\(y>x\))即可。

第三,联想到圆的方程,可以进行配方,得到 \(\displaystyle(x^2-\frac12)^2+(y^2-\frac12)^2=\frac12\)。

第四,原方程可以把 \(x,y\) 分开(即不包含 \(x^ay^b\) 项),移项得到 \(x^4-x^2=-(y^4-y^2)\)。观察到移项后两侧具有相同的形式。于是可以设 \(f(a)=a^4-a^2\),图像上任意一点 \(P(x,y)\) 均满足 \(f(x)=-f(y)\)。

通过标根法我们可以画出 \(f(a)\) 的图像。

image

按照上文的思路,为研究原方程在第一象限且 \(y>x\) 的图像,我们观察 \(f(a)\) 图像 \([0,+\infty)\) 的部分,并且取 \(y_0\in[1,+\infty)\),在图像上画出 \(y=f(y_0)\) 和 \(y=-f(y_0)\) 两条平行于 \(x\) 轴的直线。我们容易得到以下两条结论:

  1. 这部分图像,一个 \(y_0\) 对应两个 \(x_0\),原方程图像的趋势是先增后减
  2. \(x\) 的取值是有限的,并且 \(y\) 的取值范围也是有限的

进一步,我们希望求出 \(f(a)\) 在 \((0,1)\) 上的那个极小值点。求导得 \(f'(a)=4a^3-2a=a(4a^2-2)=0\Rightarrow a=\displaystyle\frac{\sqrt 2}{2}\)。因此,原函数的这部分图像在 \([0,\displaystyle\frac{\sqrt2}{2}]\) 严格增,在 \([\displaystyle\frac{\sqrt2}{2},1]\) 严格减,使用在“描点法”中提到的求 \(y\) 的方法,求得:最高点 \((\displaystyle\frac{\sqrt2}{2},1.0986841134678111)\),最低点 \((0,1),(1,1)\)。

或配方,\(\displaystyle(x^2-\frac12)^2+(y^2-\frac12)^2=\frac12\),当 \(x=\displaystyle\frac{\sqrt2}{2}\) 时,\(\displaystyle(x^2-\frac12)^2=0\),此时有 \(y\) 的最大值 \(\displaystyle\sqrt{\sqrt{\frac12}+\frac12}\)。

最后,根据上文的对称性,我们可以画出原方程的图像。形象地说,是以 \((-1,1),(-1,-1),(1,1),(1,-1)\) 为顶点的正方形向外胖出一点点。

精确图像绘制

image

Q2:方程 \(11x^2+10xy+3y^2+4x+4y=0\)

描点法

对于任意给定的 \(x_0\),代入,能得到一个关于 \(y\) 的一元二次方程,求解即可得到对应 \(x_0\) 的两个 \(y_0\)。

草图绘制

第一,取图像上一点 \(P(x,y)\),代入 \(P(-x,y)\) 等易得:原方程不关于原点或对称轴对称。

第二,原方程左侧不带常数项,显然必过 \((0,0)\)。

第三,联想到形如 \(Ax^2+Bxy+Cy^2+Dx+Ey+F\) 的式子可以由两个带 \(x,y\) 的一次式子相乘得到,如 \((x+y+1)^2\),故猜测可能是两条直线。

接下来我们可以解方程验证这一想法。先整理方程得:\(11x^2+(10y+4)x+3y^2+4y=0\),计算 \(\Delta=\sqrt{(10y+4)^2-44(3y^2+4y)}=\sqrt{-32y^2-96y+16}\)。显然,\(y\) 不可能取遍一切实数,因而不可能是直线。

(可以通过取两个 \(x\) 确定 4 个 \(y\),组成 2 条直线,然后取第三个点代入验证,同样可以否定两条直线的想法。但这样计算过于繁琐,因此开始考虑直接求 \(\Delta\),观察是否可以求得比较简单的特殊点,进而发现 \(y\) 不可取遍一切实数这一性质。)

同理主元 \(y\),易得 \(x\) 也不可能取遍一切实数,因而原方程的图像必然是一个有限的封闭图形。

上网查资料,二次曲线 \(Ax^2+Bxy+Cy^2+Dx+Ey+F=0\) 是圆锥曲线,由此继续研究。根据上文所得“有限封闭图形”,原方程的图像只能是椭圆经过平移与旋转后所得。

此外,通过求 \(x\) 和 \(y\) 的范围。可以发现 \(\displaystyle x\in[\frac{1-\sqrt{\Delta_1}}{2},\frac{1+\sqrt{\Delta_1}}{2}]\),其取值范围关于 \(\displaystyle\frac12\) 对称;\(\displaystyle y\in[\frac{-3-\sqrt{\Delta_2}}{2}, \frac{-3+\sqrt{\Delta_2}}{2}]\),其取值范围关于 \(-\displaystyle\frac{3}{2}\) 对称。显然,最左侧和最右侧的点关于对称中心对称,最上面和最下面的点也关于对称中心对称,于是对称中心为 \(\displaystyle(\frac12,-\frac32)\)。

通过把原方程中 \(x\) 换为 \(x+\displaystyle\frac12\),把 \(y\) 换成 \(y-\displaystyle\frac32\),易得平移前的方程为:\(11x^2+3y^2+10xy-2=0\)。

接下来求旋转角和原椭圆方程。

设旋转前椭圆上一点为 \(P(x,y)\),旋转后椭圆 \(11x^2+3y^2+10xy-2=0\) 上的一点为 \(Q(x',y')\),设 \(d=\left|\vec{OP}\right|=\left|\vec{OQ}\right|\),\(\vec{OP}\) 与 \(x\) 轴正半轴的夹角为 \(\alpha\)。设原椭圆向逆时针旋转 \(\theta\in(0,\pi]\),并且 \(\left<\vec{OP},\vec{OQ}\right>=\theta\)。

则有 \(\begin{cases}x=d\cos\alpha\\ y=d\sin\alpha\\ x'=d\cos(\alpha+\theta)\\ y'=d\sin(\alpha+\theta)\end{cases}\),两角正弦和公式展开得 \(\begin{cases}x'=d(\cos\alpha\cos\theta-\sin\alpha\sin\theta)\\ y'=d(\sin\alpha\cos\theta+\cos\alpha\sin\theta)\end{cases}\),将 \(x,y\) 代入得 \(\begin{cases}x'=x\cos\theta-y\sin\theta\\ y'=x\sin\theta+y\cos\theta\end{cases}\)。

将 \((x\cos\theta-y\sin\theta,x\sin\theta+y\cos\theta)\) 代入旋转后的方程:\(11(x\cos\theta-y\sin\theta)^2+3(x\sin\theta+y\cos\theta)^2+10(x\cos\theta-y\sin\theta)(x\sin\theta+y\cos\theta)=2\)。

化简,即可用 \(\theta\) 表示旋转前的方程:

  • \(x^2\) 项: \((11\cos^2\theta+3\sin^2\theta+10\cos\theta\sin\theta)x^2\)
  • \(y^2\) 项:\((11\sin^2\theta+3\cos^2\theta-10\cos\theta\sin\theta)y^2\)
  • \(xy\) 项:\((-8\sin2\theta+10\cos2\theta)xy\)
  • 常数项:\(-2\)

由于旋转前的方程是标准方程,所以 \(xy\) 项的系数 \(\displaystyle -8\sin2\theta+10\cos2\theta=0\Rightarrow\tan2\theta=\frac54\)。

将其回代,可以得到原椭圆方程约为 \(0.59x^2+13.4y^2=2\)。

image

综上,原方程的图像是椭圆 \(0.59x^2+13.4y^2=2\) 逆时针旋转 \(\displaystyle\frac12\arctan\frac54\approx25.04°\) 后向 \(\displaystyle(\frac12,-\frac32)\) 平移后所得。

精确图像绘制

image

总结

关于方程图像的研究:

  1. 对称性
    1. 看到偶次项,代入 \(P(-x,y)\) 等研究其对于坐标轴、原点的对称性
    2. 看到形式上很对称的方程,\(x,y\) 完全可以互换,可以考虑 \(y=x\)
    3. 有关于某个特定点的对称性(如椭圆的对称中心),可以通过 \(x,y\) 取值范围的中心求出这一对称中心
  2. 化归为已知方程
    1. 类比圆进行配方,可求最值
    2. 二次曲线 \(Ax^2+Bxy+Cy^2+Dx+Ey+F=0\) 是圆锥曲线,可以进一步判断 \(x,y\) 是否可以取遍一切实数判断是否为椭圆
  3. 平移:上加下减,左加右减
  4. 旋转:用旋转前的坐标,表示旋转后的坐标,代入旋转后的方程,得到旋转前的方程
  5. 如果方程两侧形式一致,可以考虑抽象为同一个函数 \(f(a)\),进而研究 \(f(a)\)

标签:cos,方程,sin,图像,theta,20240119,displaystyle
From: https://www.cnblogs.com/LittleDrinks/p/17976208

相关文章

  • 图像采集和多缓存项目中的若干总结
    遇到的问题:1.图像滚动:原因:没有读出/写入整幅图像导致;2.图像错位:原因:在读出当前帧前,已向fifo里写入了若干数据;(合理的设置hdmi的启动可以解决这个问题);3.图像撕裂:原因:读到了写入区域;缓存多帧数可以解决这个问题;4.缓存后的图像闪动:原因:没有准确的设置启动,导致不合理的地址跳跃;5.6......
  • $20240119$ 练习题解
    \(20240119\)练习题解CF472D通过尝试我们容易发现,与点\(1\)最近的点一定是直接儿子。我们要是把它作为突破点,那就成功了一半了。假设点\(2\)与点\(1\)最近,又假设我们可以用函数\(F(x)\)来确定\(x\)点的子树形态。那我们会发现如果我们还有剩余的节点,那么剩余的节点......
  • 记录--前端实现翻转图像
    这里给大家分享我在网上总结出来的一些知识,希望对大家有所帮助翻转图像是在视觉上比较两个不同图像的常用方法。单击其中一个将翻转它,并显示另一个图像。布局布局结构如下:<divclass="flipping-images"><divclass="flipping-images__inner"><divclass="flip......
  • 20240119
    卡常狗能不能死一死啊A.构造87bitset瞎搞#include<bits/stdc++.h>usingnamespacestd;#defineintlonglong#defineullunsignedlonglong#defineALL(a)(a).begin(),(a).end()#definepbpush_back#definemkmake_pair#definepiipair<int,int>#define......
  • 解等式方程,涉及要求出整数解
    问题描述小QQ今天做了最大公约数的题目,给定两个正整数a和b(a>b),用辗转相除很快就能得到a和b的最大公约数c,他做完心情大爽。小QQ跑去他的好朋友RED那里炫耀,但是RED告诉他,c可以用a*x+b*y=c表示,当x为正且最小时,表达式a*x+b*y=c是唯一的。小QQ想在RED面前表现一把,他夸下海口,......
  • 一阶微分方程的常数变易法/洛谷P6613
    一阶微分方程的常数变易法(1)一阶齐次线性微分方程\[\begin{aligned}F'(x)&=P(x)F(x)\\\dfrac{1}{F(x)}\timesF'(x)&=P(x)\\(\lnF(x))'&=P(x)\\\lnF(x)&=\intP(x)\textdx+\lnC\\F(x)&=Ce^{\intP(x)\textdx}\\\end{ali......
  • 偏微分方程数值解研究领域
    偏微分方程数值解研究领域:这是当代计算数学中最重要的一个分支,主要内容为求解偏微分方程近似解的各种数值方法。最常用的数值方法有:有限元方法,有限差分方法和谱方法,其应用几乎深入到现代科学技术的各个领域。本方向主要研究特色是将有限元方法对区域的灵活性和谱方法具有谱精度的......
  • Python 图像查看器
    当然,这里是一个简洁而全面的介绍,适合用于在博客中介绍这个图像查看器程序:Python图像查看器在这篇博客中,我将向大家介绍一个由我开发的简单但功能强大的图像查看器。这个图像查看器是用Python编写的,利用了Tkinter图形用户界面库来提供直观的用户体验。它不仅可以浏览单个文件......
  • 微分方程
    先导知识在学习微分(求导)的时候,对于以下几种常见函数的导数,大家一定不陌生,在接下里的微分方程求解的时候,也会利用到这些常见函数的求导以及求导运算的属性:•\((e^x)'=e^x\)•\((x^n)'=n{\cdot}x^{n-1}\)•\((\sin{x})'=\cos{x}\),\((\cos{x})'=-\sin{x}\)•\([f(x)g(x)]......
  • C++:GDAL中CreateCopy()函数生成的栅格图像如何修改波段数?
      本文介绍基于C++语言GDAL库,为CreateCopy()函数创建的栅格图像添加更多波段的方法。  在C++语言的GDAL库中,我们可以基于CreateCopy()函数与Create()函数创建新的栅格图像文件。其中,CreateCopy()函数需要基于一个已有的栅格图像文件作为模板,将模板文件的各项属性信息(例如空......