- 注册时间
- 2010-1-9
- 最后登录
- 1970-1-1
- 威望
- 星
- 金币
- 枚
- 贡献
- 分
- 经验
- 点
- 鲜花
- 朵
- 魅力
- 点
- 上传
- 次
- 下载
- 次
- 积分
- 28137
- 在线时间
- 小时
|
发表于 2023-6-21 15:19:41
|
显示全部楼层
上楼的图是为了应用复数解法特意设置的,让B置于复平面原点,A在单位圆上,即`A\bar A=1`。平行四边形的顶点`I=1`.
则 `C=A-I=A-1,D=-\bar C=1-\bar A `
且`F=\bar E, E·F=E\bar E=F\bar F=1,E+\bar E=B+I=1→E,F` 满足方程 `z^2-z+1=0`
所以按图中位置有`\arg(E)=\pi/3,\arg(F)=5\pi/3`.
为了计算`∠EDB`, 我们考察复斜率`\frac{DE/DB}{\overline{DE/DB}}=\frac{(D-E)/D}{(\bar D-\bar E)/\bar D}=\frac{D\bar D-E\bar D}{D\bar D-D\bar E}`
`D=1-\bar A,A\bar A=1→D\bar D=D+\bar D`,代入上述复斜率表达式得
`\frac{DE/DB}{\overline{DE/DB}}=\frac{D+\bar D-E\bar D}{D+\bar D-D\bar E}=\frac{D+\bar D(1-E)}{\bar D+D(1-\bar E)}=\frac{D+\bar D\bar E}{\bar D+DE}=\bar E=F`
所以可得`∠EDB=\frac12\arg\left(\frac{DE/DB}{\overline{DE/DB}}\right)=\frac12\arg(F)=5\pi/6`
类似可得`∠FDB=\frac12\arg\left(\frac{DF/DB}{\overline{DF/DB}}\right)=\frac12\arg(E)=\pi/6` |
|