复平面上的初等解析几何——圆和直线

今天搬完了宿舍,发现去年复习复分析的时候整理了一下这一点,下面我将其$\TeX$化,原手写稿请见这里

下面介绍一些复平面上的直观,因为我们解析几何通常以实数为基本,遇到复平面上的直线和圆时有时会很棘手,下面对此作一些整理。

注:之后$\overline{z}$均表示$z$的共轭。

首先是圆和直线的方程。

命题1. 复平面上直线与圆的方程共享同一种形式,他们是$$\alpha z\overline{z}+\beta z+\overline{\beta}\overline{z}+\gamma =0 \qquad \alpha,\gamma\in \mathbb{R}, \beta\in \mathbb{C}, \Delta=|\beta|^2-\alpha\gamma>0$$且圆心为$-\frac{\overline{\beta}}{\alpha}$, 半径为$\frac{\sqrt{\Delta}}{\alpha}$.

证明. 不难发现方程左边的虚部总为$0$, 故只有实部有效, 带入$z=x+yi$得到实部的方程是$$\alpha x^2+\alpha y^2+2 (\Re \beta) x - 2(\Im \beta) y + \gamma=\alpha\left[\left(x-\frac{\Re \beta}{\alpha}\right)^2+\left(y+\frac{\Im\beta}{\alpha}\right)^2\right]-\frac{(\Re \beta)^2+(\Im \beta)^2-\alpha\gamma}{\alpha}=0$$故原方程化为$$\left(x-\frac{\Re \beta}{\alpha}\right)^2+\left(y+\frac{\Im\beta}{\alpha}\right)^2=\frac{|\beta|^2-\alpha\gamma}{\alpha^2}=\frac{\Delta}{\alpha^2}$$从而圆心是$-\frac{\overline{\beta}}{\alpha}$, 半径为$\frac{\sqrt{\Delta}}{\alpha}$. 平凡的情况$\alpha=0$不难知道. $\square$

以下是一些注记。

注记. 以下是一些特殊情况.

  • 当$\alpha=0$时, 原方程是一条直线, 方向为$i\overline{\beta}$(即$\beta$交换实部虚部)且实轴上经过$\frac{\gamma}{2\Re \beta}$虚轴上经过$i\frac{\gamma}{2\Im \beta}$两点, 进而经过$\frac{\gamma}{2\beta}$.
  • 当$\beta=0$时, 原方程是一个圆心在原点的圆, 特别地, $z\overline{z}=1$就是单位圆周.
  • 过原点角度为$\theta$的直线的方程是$\mathrm{e}^{-i\theta}z=\mathrm{e}^{i\theta }\overline{z}$.

然后是著名的M?bius变换。

定义(M?bius变换). 对于$A=\left(\begin{matrix} a& b\\ c& d\end{matrix}\right)\in \operatorname{GL}_2(\mathbb{C})$(即$ad-bc\neq 0$)定义扩充复平面到扩充复平面的映射$$\mu_{A}: z\longmapsto \frac{az+b}{cz+d}$$

例子. 有如下典型的M?bius变换,

  • 平移. $z\mapsto z+b$.
  • 旋转. $z\mapsto az$, $|a|=1$.
  • 位似. $z\mapsto rz$, $r>0$.
  • 标准反演. $z\mapsto 1/z$. 用极坐标写就是$r\mathrm{e}^{i\theta}\mapsto \frac{1}{r} \mathrm{e}^{-i\theta}$. 此时将方程$\alpha z\overline{z}+\beta z+\overline{b}\overline{z}+\gamma =0$变为$\gamma z\overline{z}+\overline{\beta} z+b\overline{z}+\alpha=0$, 圆心由$-\frac{\overline{\beta}}{\alpha}$变为$-\frac{\beta}{\gamma}$, 半径由$\frac{\sqrt{\Delta}}{\alpha}$变为$\frac{\sqrt{\Delta}}{\gamma}$. 如下图

实际上, 所有M?bius变换都可以由上述映射复合而来, 这本质上都是中学数学的技巧. 实际上, 用线性代数的话说, 他们分别对应着一些初等矩阵.

对于平移旋转和位似我们已经有直观,所以为了感受到M?bius变换,要直观感受反演显得关键。

命题(反演). 关于标准反演有如下直观

  • 将圆心在$0$半径为$r$的圆映射为圆心在$0$半径为$1/r$的圆. 特别地, 保持单位圆周不动.
  • 将过$0$以角度$\theta$的直线映为过$0$角度为$-\theta$的直线.

  • 将过$0$的圆映射为直线. 特别地, 如果这个圆与单位圆相切, 这对应的直线与圆相切.

  • 将与单位圆周正交的圆映为关于实轴的镜像.

证明. 前两者不难根据刻画或者方程得到. 后两者可以用初等几何论证, 第一个证明是利用了相似的原理, 第二个证明则是圆幂定理. $\square$

除了M?bius变换,还有著名的单位圆周内部的Blaschke变换

定义(Blaschke变换). 令$D$是闭单位圆盘, 对于$|\alpha|<1$, 定义Blaschke变换$$\varphi_{\alpha}: D\longrightarrow D\qquad z\longmapsto \frac{z-\alpha}{\overline{\alpha}z-1}$$

评注. 对于其映射定义良好(即像落在$D$中)可以初等验证, 也可以利用最大模原理证明边界上的像在单位圆周上即可.

命题. 关于Blaschke变换$\varphi_{\alpha}$有如下直观

  • $\alpha\mapsto 0, 0\mapsto \alpha$.
  • $\varphi_{\alpha}\circ \varphi_{\alpha}=\operatorname{id}_U$.
  • 将圆周上的点$z$映射为$z$与$\alpha$连线与圆周相交的另一点.

  • 用$\tau_{\theta}$表示绕着原点旋转$\theta$的变换, 则$\tau_{\theta}\circ \varphi_{\alpha}=\varphi_{\tau_{\theta}(\alpha)}\circ \tau_{\theta}$.

证明.第二点是因为因为$$z\mapsto w\iff \overline{\alpha}zw+\alpha=z+w$$对于第三点, 可以这样论证, 先不妨假定$\alpha$为实数, 如下图

中间左边的向量即为$\alpha$, 两边的角度分别是$\theta_1,\theta_2$(带方向, 图中一正一负), 外侧两腰长度为$1$. 则从左向右对应的复数分别为$$\mathrm{e}^{i\theta_1}, \alpha, \alpha\mathrm{e}^{i(\theta_1+\theta_2)},\mathrm{e}^{i\theta_2}$$两边之和等于中间之和即$$\mathrm{e}^{i\theta_1}+\mathrm{e}^{i\theta_2}=\alpha(\mathrm{e}^{i(\theta_1+\theta_2)}+1)$$这就说明$$\mathrm{e}^{i\theta_2}=\frac{\mathrm{e}^{i\theta_1}-\alpha}{\alpha\mathrm{e}^{i\theta_1}-1}$$这就证明了结论. $\square$

主要的参考文献是Rudin的《实分析与复分析》和著名的《复分析可视化原理》。

原文地址:https://www.cnblogs.com/XiongRuiMath/p/9557230.html

时间: 2024-10-18 01:31:00

复平面上的初等解析几何——圆和直线的相关文章

Android之2D图形(圆、直线、点)工具类 (持续更新)

public class Circle { private PointF centerPoint; private float radius; public PointF getCenterPoint() { return centerPoint; } public void setCenterPoint(PointF centerPoint) { this.centerPoint = centerPoint; } public float getRadius() { return radius

复平面上的紧集

数学分析中我们知道$\mathbb R^n$中的紧集等价于有界闭集.而在复平面上则稍有区别,我们有: 在$\mathbb C$上的紧集等价于有界闭集,而在$\mathbb C_{\infty}$上的紧集等价于闭集. 证明    对于有界闭集的紧性的证明可以把数学分析中的证明照搬过来,这里只对$\mathbb C_{\infty}$加以说明.设$E$为$\mathbb C_{\infty}$中的闭集,我们来说明他是紧集. 如果$\infty\notin E$,那么$E$也是$\mathbb C$中

HTML5中的&lt;canvas&gt;画布:使用canvas元素在网页上绘制线条和圆(1)

什么是 Canvas? HTML5 的 canvas 元素使用 JavaScript 在网页上绘制图像. 画布是一个矩形区域,您可以控制其每一像素. canvas 拥有多种绘制路径.矩形.圆形.字符以及添加图像的方法. 创建 Canvas 元素 向 HTML5 页面添加 canvas 元素. 规定元素的 id.宽度和高度: 1 <canvas id="myCanvas" width="200" height="100"></ca

一个复平面上的不等式

设$z_{1},\cdots,z_{N}\in\mathbb C$,证明存在$\{1,2,\cdots,N\}$的子集$S$使得$$\left|\sum_{k\in S}z_{k}\right|\geq\frac{1}{\pi}\sum_{k=1}^{N}|z_{k}.|$$ 证明    设$z_{k}=|z_{k}|e^{i\theta_{k}}$,那么对任意的 \begin{align*}0\leq\theta\leq2\pi\end{align*} 令集合\begin{align*}S(\

BZOJ 1502: [NOI2005]月下柠檬树 [辛普森积分 解析几何 圆]

1502: [NOI2005]月下柠檬树 Time Limit: 5 Sec  Memory Limit: 64 MBSubmit: 1070  Solved: 596[Submit][Status][Discuss] Description Input 文件的第1行包含一个整数n和一个实数alpha,表示柠檬树的层数和月亮的光线与地面夹角(单位为弧度).第2行包含n+1个实数h0,h1,h2,…,hn,表示树离地的高度和每层的高度.第3行包含n个实数r1,r2,…,rn,表示柠檬树每层下底面的

BNU 7536 &amp;&amp; HDU 3425 Coverage (圆与直线相交)

[题目链接]click here~~ [题目大意]求多个圆与线段相交的部分占整个线段的百分比. [解题思路] 求出符合要求的交线段,排序一遍圆心.最后求并. 代码: #include <bits/stdc++.h> #define max(a,b) ((a)>(b)?(a):(b)) using namespace std; struct node { double x,y,l,r; } Map[105]; bool cmp(node a, node b) { if(a.l == b.l

IOS用CGContextRef画各种图形(文字、圆、直线、弧线、矩形、扇形、椭圆、三角形、圆角矩形、贝塞尔曲线、图片)(转)

Graphics Context是图形上下文,可以将其理解为一块画布,我们可以在上面进行绘画操作,绘制完成后,将画布放到我们的view中显示即可,view看作是一个画框. 自己学习时实现的demo,希望对大家有帮助,具体的实现看代码,并有完美的注释解释,还有一些对我帮助的博文供大家参考.都在代码里面. 看一下demo效果图先: 自定义CustomView类,CustomView.h: [cpp]  view plain copy #import <UIKit/UIKit.h> #import 

【练习6.8】霍夫直线变换、圆变换,cvCanny边缘检测,找圆找直线

提纲 题目要求 程序代码 结果图片 要言妙道 题目要求: 使用霍夫直线变换和霍夫圆变换 a.找圆 b.找直线 程序代码: 1 // OpenCVExerciseTesting.cpp : 定义控制台应用程序的入口点. 2 // 3 //D:\\Work\\Work_Programming\\Source\\Image\\lena.jpg 4 5 6 #include "stdafx.h" 7 #include <cv.h> 8 #include <highgui.h&

用CGContextRef画各种图形(文字、圆、直线、弧线、矩形、扇形、椭圆、三角形、圆角矩形

首先了解一下CGContextRef: An opaque type that represents a Quartz 2D drawing environment. Graphics Context是图形上下文,可以将其理解为一块画布,我们可以在上面进行绘画操作,绘制完成后,将画布放到我们的view中显示即可,view看作是一个画框. 自己学习时实现的demo,希望对大家有帮助,具体的实现看代码,并有完美的注释解释,还有一些对我帮助的博文供大家参考.都在代码里面. 看一下demo效果图先: 自