在△ABC中，∠BAC=60°，∠DBC=30°，D为△ABC內一点，连接DA、DB、DC，若∠BDC=90°

nyy

已知：在△ABC中，AC=6，∠BAC=60°. D为△ABC內一点, 连接DA、DB、DC，∠DBC=30°，∠BDC=90°，AD=$sqrt(7)$.
试求：边AB的长度。

nyy

1. Clear["Global`*"];
   
2. deg=Pi/180;(*角度制下1°所对应的弧度*)
   
3. (*计算余弦值子函数,利用三边计算余弦值*)
   
4. cs[a_,b_,c_]:=((a^2+b^2-c^2)/(2*a*b))
   
5. (*假设DC=t,则DB=Sqrt[3]*t,BC=2*t *)
   
6. {DA,DB,DC}={Sqrt[7],Sqrt[3]*t,t};(*三条线段长度赋值*)
   
7. {AB,BC,AC}={AB,2*t,6};(*线段长度赋值*)
   
8. ans=Solve[{
   
9.     (*∠ADB+∠ADC=270°,因此两个角的余弦值的平方和等于1*)
   
10.     cs[DA,DB,AB]^2+cs[DA,DC,AC]^2==1,
    
11.     (*△ABC中对∠BAC=60°使用余弦定理*)
    
12.     cs[AB,AC,BC]==Cos[60deg],
    
13.     t>=0&&AB>=0(*限制变量范围*)
    
14. },{t,AB}];
    
15. Grid[ans,Alignment->Left](*列表显示*)
    
16. aaa=N[{DA,DB,DC,AB,BC}/.ans,20];(*线段长度的数值*)
    
17. Grid[aaa,Alignment->Left](*列表显示*)
    

复制代码

两次使用余弦定理，

∠ADB+∠ADC=270°,因此两个角的余弦值的平方和等于1，得到方程
\[\frac{\left(-\text{AB}^2+3 t^2+7\right)^2}{84 t^2}+\frac{\left(t^2-29\right)^2}{28 t^2}=1\]

△ABC中对∠BAC=60°使用余弦定理
\[\frac{\text{AB}^2-4 t^2+36}{12 \text{AB}}=\frac{1}{2}\]

联立方程解方程组，并且限定变量非负，得到
\[\begin{array}{ll}
t\to \sqrt{13} & \text{AB}\to 8 \\
t\to \sqrt{19} & \text{AB}\to 10 \\
\end{array}\]
绘图得到结果

nyy

nyy 发表于 2024-4-9 09:25
两次使用余弦定理，

∠ADB+∠ADC=270°,因此两个角的余弦值的平方和等于1，得到方程

1. Clear["Global`*"];
   
2. deg=Pi/180;(*角度制下1°所对应的弧度*)
   
3. (*计算余弦值子函数,利用三边计算余弦值*)
   
4. cs[a_,b_,c_]:=((a^2+b^2-c^2)/(2*a*b))
   
5. (*子函数,四面体体积公式，a,b,c分别是从一个顶点出发的三条棱，x,y,z分别是对棱*)
   
6. fun[a_,b_,c_,x_,y_,z_]:=Sqrt[Det[{{0,1,1,1,1},{1,0,a^2,b^2,c^2},{1,a^2,0,z^2,y^2},{1,b^2,z^2,0,x^2},{1,c^2,y^2,x^2,0}}]/288]
   
7. (*假设DC=t,则DB=Sqrt[3]*t,BC=2*t *)
   
8. {DA,DB,DC}={Sqrt[7],Sqrt[3]*t,t};(*三条线段长度赋值*)
   
9. {AB,BC,AC}={AB,2*t,6};(*线段长度赋值*)
   
10. ans=Solve[{
    
11.     (*四面体D-ABC的体积等于零*)
    
12.     fun[DA,DB,DC,BC,AC,AB]==0,
    
13.     (*△ABC中对∠BAC=60°使用余弦定理*)
    
14.     cs[AB,AC,BC]==Cos[60deg],
    
15.     t>=0&&AB>=0(*限制变量范围*)
    
16. },{t,AB}];
    
17. Grid[ans,Alignment->Left](*列表显示*)
    

复制代码

(*四面体D-ABC的体积等于零*)，得到
\[\frac{\sqrt{-2 \text{AB}^4 t^2+12 \text{AB}^2 t^4+28 \text{AB}^2 t^2-24 t^6+432 t^4-5144 t^2}}{12 \sqrt{2}}=0\]

(*△ABC中对∠BAC=60°使用余弦定理*)得到
\[\frac{\text{AB}^2-4 t^2+36}{12 \text{AB}}=\frac{1}{2}\]

解方程组，得到
\[\begin{array}{ll}
t\to -7 & \text{AB}\to -10 \\
t\to 7 & \text{AB}\to -10 \\
t\to -\sqrt{37} & \text{AB}\to -8 \\
t\to \sqrt{37} & \text{AB}\to -8 \\
t\to -\sqrt{13} & \text{AB}\to 8 \\
t\to \sqrt{13} & \text{AB}\to 8 \\
t\to -\sqrt{19} & \text{AB}\to 10 \\
t\to \sqrt{19} & \text{AB}\to 10 \\
t\to 0 & \text{AB}\to 3 \left(1-i \sqrt{3}\right) \\
t\to 0 & \text{AB}\to 3 \left(1+i \sqrt{3}\right) \\
\end{array}\]

限制变量非负，解方程组，得到

\[\begin{array}{ll}
t\to \sqrt{13} & \text{AB}\to 8 \\
t\to \sqrt{19} & \text{AB}\to 10 \\
\end{array}\]

nyy

http://www.360doc.com/content/23/0804/23/3606604_1091249656.shtml

这儿居然有另外一种办法

王守恩

∠BAD=a,  ∠ABD=b,  正弦定理(3次)。

1. NSolve[{Sqrt[7]/Sin[b]==AB/Sin[a+b], 6/Sin[Pi/6+b]==AB/Cos[b], Sqrt[7]/Sin[Pi/6-b]==6/Cos[a+b], 1>a>b>0, AB>0}, {a, b, AB}]

复制代码

{{a -> 0.333473, b -> 0.114961, AB -> 10.}, {a -> 0.713724,  b -> 0.281035, AB -> 8.}}

1. N[Solve[{Sqrt[7]/Sin[b]==AB/Sin[a+b], 6/Sin[Pi/6+b]==AB/Cos[b], Sqrt[7]/Sin[Pi/6-b]==6/Cos[a+b], 1>a>b>0, AB>0}, {a, b, AB}],20]

复制代码

{{a -> 0.33347317225183211534, b -> 0.11496092050070645070, AB -> 10.000000000000000000}, {a -> 0.71372437894476563082, b -> 0.28103490150281359772, AB -> 8.0000000000000000000}}

nyy

王守恩 发表于 2024-4-9 17:06
∠BAD=a,  ∠ABD=b,  正弦定理(3次)。

{{a -> 0.333473, b -> 0.114961, AB -> 10.}, {a -> 0.713724,  b  ...

1. Clear["Global`*"];
   
2. deg=Pi/180;(*角度制下1°所对应的弧度*)
   
3. (*计算余弦值子函数,利用三边计算余弦值*)
   
4. cs[a_,b_,c_]:=((a^2+b^2-c^2)/(2*a*b))
   
5. (*假设DC=t,则DB=Sqrt[3]*t,BC=2*t *)
   
6. {DA,DB,DC}={Sqrt[7],Sqrt[3]*t,t};(*三条线段长度赋值*)
   
7. {AB,BC,AC}={AB,2*t,6};(*线段长度赋值*)
   
8. ans=Solve[{
   
9.     (*∠DAB+∠DAC=60°*)
   
10.     ArcCos@cs[AB,DA,DB]+ArcCos@cs[AC,DA,DC]==60deg,
    
11.     (*△ABC中对∠BAC=60°使用余弦定理*)
    
12.     cs[AB,AC,BC]==Cos[60deg],
    
13.     t>=0&&AB>=0(*限制变量范围*)
    
14. },{t,AB},Method->Reduce];(*用Reduce方法求解方程组*)
    
15. Grid[ans,Alignment->Left](*列表显示*)
    

复制代码

像我一样，用reduce来解方程组，求解结果
\[\begin{array}{ll}
t\to \sqrt{13} & \text{AB}\to 8 \\
t\to \sqrt{19} & \text{AB}\to 10 \\
\end{array}\]

nyy

nyy 发表于 2024-4-10 08:33
像我一样，用reduce来解方程组，求解结果
\[\begin{array}{ll}
t\to \sqrt{13} & \text{AB}\to 8 \\

这次还用海伦公式，与余弦定理来解决问题。

1. Clear["Global`*"];
   
2. deg=Pi/180;(*角度制下1°所对应的弧度*)
   
3. (*计算余弦值子函数,利用三边计算余弦值*)
   
4. cs[a_,b_,c_]:=((a^2+b^2-c^2)/(2*a*b))
   
5. (*子函数,海伦公式,利用海伦公式计算三角形的面积*)
   
6. heron[a_,b_,c_]:=Module[{p=(a+b+c)/2},Sqrt[p*(p-a)*(p-b)*(p-c)]]
   
7. (*假设DC=t,则DB=Sqrt[3]*t,BC=2*t *)
   
8. {DA,DB,DC}={Sqrt[7],Sqrt[3]*t,t};(*三条线段长度赋值*)
   
9. {AB,BC,AC}={AB,2*t,6};(*线段长度赋值*)
   
10. ans=Solve[{
    
11.     heron[AB,BC,AC]==heron[AB,DA,DB]+heron[BC,DB,DC]+heron[AC,DA,DC],
    
12.     (*△ABC中对∠BAC=60°使用余弦定理*)
    
13.     cs[AB,AC,BC]==Cos[60deg],
    
14.     t>=0&&AB>=0(*限制变量范围*)
    
15. },{t,AB},Method->Reduce];(*用Reduce方法求解方程组*)
    
16. Grid[ans,Alignment->Left](*列表显示*)
    

复制代码

求解结果
\[\begin{array}{ll}
t\to \sqrt{13} & \text{AB}\to 8 \\
t\to \sqrt{19} & \text{AB}\to 10 \\
\end{array}\]

hujunhua

如图，我们把A放在原点，B放在水平轴正向滑动。C的极坐标为(6;60°)是个定点。D在红色圆弧上滑动，弧中心为原点A，半径为`\sqrt7`.
B是D绕定点C逆时针旋转60°后缩放2倍的像，所以B在紫色圆弧上滑动，弧心为`E(9,-3\sqrt3)`, 半径为`2\sqrt7`.
所以B就是紫色弧与水平轴的交点。由于`3\sqrt3<2\sqrt7`, 所以有两个交点。
两个交点至(9,0)距离`=\sqrt{(2\sqrt7)^2-(3\sqrt3)^2}=1`, 于是`AB_1=9-1=8, AB_2=9+1=10`

nyy

hujunhua 发表于 2024-4-10 16:50
如图，我们把A放在原点，B放在水平轴正向滑动。C的极坐标为(6;60°)是个定点。D在红色圆弧上滑动，弧中心为 ...

E点坐标是怎么得到的？

nyy

hujunhua 发表于 2024-4-10 16:50
如图，我们把A放在原点，B放在水平轴正向滑动。C的极坐标为(6;60°)是个定点。D在红色圆弧上滑动，弧中心为 ...

我觉得你的办法本质上是解析几何