- 注册时间
- 2008-11-26
- 最后登录
- 1970-1-1
- 威望
- 星
- 金币
- 枚
- 贡献
- 分
- 经验
- 点
- 鲜花
- 朵
- 魅力
- 点
- 上传
- 次
- 下载
- 次
- 积分
- 149507
- 在线时间
- 小时
|
楼主 |
发表于 2021-3-11 16:14:13
|
显示全部楼层
使用角元塞瓦定理来解决这个问题!
- Clear["Global`*"];(*mathematica11.2,win7(64bit)Clear all variables*)
- (*假设∠BCH=x,然后表达出其余各个角,然后对△ABC使用角元塞瓦定理*)
- ans=Solve[{
- (Sin[Pi/6+x]/Sin[Pi/6-x])^2*Sin[x]/Sin[Pi/3-x]==1,(*△ABC中使用角元塞瓦定理*)
- HC==Sqrt[7]*Sin[Pi/6+x],(*△ACH中计算HC的长度*)
- HD==HC*Tan[x],(*△DCH中计算HD的长度*)
- 0<x<Pi/3(*限制变量范围*)
- },{x,HC,HD}]//FullSimplify
复制代码
计算结果
\[\left\{\left\{x\to -2 \tan ^{-1}\left(3 \sqrt{3}-2 \sqrt{7}\right),\text{HC}\to \sqrt{3},\text{HD}\to \frac{1}{3}\right\}\right\}\] |
|