在四边形ABCD中，AD=CD, ∠ADC=90° ，∠ABC=60°，若BC=6√3, BD=7√2,则AB的长为？

nyy

在四边形ABCD中，AD=CD, ∠ADC=90° ，∠ABC=60°，若BC=6√3, BD=7√2,则AB的长为？
题目来自抖音

hujunhua

如图作等腰直角三角形BCE，则△BCD∽△CEA
由AE/DB=CE/BC=√2 → AE=√2·DB=14
在△ABE中，∠ABE=90°+60°=150°，设AB= x，由余弦定理得
$x^2+2BEsin150°·x+BE^2=14^2$,  即
$x^2+18x-88=0$
$(x+22)(x-4)=0$
$x=4$  即对应本题的图。$x=-22$对应于A在本图AB延长线方向。

E点何来？
A和D皆有一个自由度，D在以B为中心的一个圆上滑动，A是D相对于C转动45°并伸长√2倍的像，
所以A的轨迹是D所在圆绕C转动45°并扩大√2倍的像，其圆心是B转动45°并伸长√2倍的像，那就是E。

nyy

hujunhua 发表于 2025-4-16 20:59
如图作等腰直角三角形BCE，则△BCD∽△CEA
由AE/DB=CE/BC=√2 → AE=√2·DB=14
在△ABE中，∠ABE=90°+60 ...

1. Clear["Global`*"];(*mathematica11.2,win7(64bit)Clear all variables*)
   
2. deg=Pi/180;(*角度制下1°所对应的弧度*)
   
3. (*子函数,利用三边计算角的余弦值,角是c边所对的角*)
   
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. (*线段长度赋值*)
   
8. BC=6*Sqrt[3]
   
9. BD=7*Sqrt[2]
   
10. ans=Solve[{
    
11.     AD==CD==AC/Sqrt[2],(*△ADC三边关系*)
    
12.     cs[AB,BC,AC]==Cos[60deg],(*∠ABC=60°余弦定理*)
    
13.     fun[AB,AC,AD,CD,BD,BC]==0,(*四面体ABCD体积等于零*)
    
14.     AB>=0,AD>=0 (*限制变量范围*)
    
15. },{AB,AC,AD,CD}]//FullSimplify
    
16. Grid[ans,Alignment->Left](*列表显示*)
    

复制代码

求解结果
\[\begin{array}{llll}
\text{AB}\to 4 & \text{AC}\to 2 \sqrt{31-6 \sqrt{3}} & \text{AD}\to \sqrt{62-12 \sqrt{3}} & \text{CD}\to \sqrt{62-12 \sqrt{3}} \\
\text{AB}\to 22 & \text{AC}\to 2 \sqrt{148-33 \sqrt{3}} & \text{AD}\to \sqrt{296-66 \sqrt{3}} & \text{CD}\to \sqrt{296-66 \sqrt{3}} \\
\end{array}\]

这是电脑求出来的，不得不说你比电脑牛！

nyy

nyy 发表于 2025-4-17 13:53
求解结果
\[\begin{array}{llll}
\text{AB}\to 4 & \text{AC}\to 2 \sqrt{31-6 \sqrt{3}} & \text{AD} ...

解析几何的办法解决问题

1. (*解析几何解决问题*)
   
2. Clear["Global`*"];(*mathematica11.2,win7(64bit)Clear all variables*)
   
3. {xb,yb}={0,0}
   
4. {xc,yc}={6*Sqrt[3],0}
   
5. ans=Solve[{
   
6.     ya/xa==Tan[60Degree],(*∠ABC=60°*)
   
7.     (xb-xd)^2+(yb-yd)^2==7*7*2,(*BD距离公式*)
   
8.     (*Rt△ACD三边关系*)
   
9.     (xa-xd)^2+(ya-yd)^2==(xc-xd)^2+(yc-yd)^2==((xa-xc)^2+(ya-yc)^2)/2
   
10. },{xa,ya,xd,yd},Reals]//FullSimplify//ToRadicals
    
11. Grid[ans,Alignment->Left](*列表显示*)
    
12. AB=Sqrt[(xa-xb)^2+(ya-yb)^2]/.ans//FullSimplify
    

复制代码

\[\begin{array}{llll}
\text{xa}\to -11 & \text{ya}\to -11 \sqrt{3} & \text{xd}\to \frac{1}{2} \left(-5 \sqrt{3}-11\right) & \text{yd}\to \frac{1}{2} \left(11-5 \sqrt{3}\right) \\
\text{xa}\to -2 & \text{ya}\to -2 \sqrt{3} & \text{xd}\to 4 \sqrt{3}-1 & \text{yd}\to -4 \sqrt{3}-1 \\
\text{xa}\to 2 & \text{ya}\to 2 \sqrt{3} & \text{xd}\to 4 \sqrt{3}+1 & \text{yd}\to 4 \sqrt{3}-1 \\
\text{xa}\to 11 & \text{ya}\to 11 \sqrt{3} & \text{xd}\to \frac{1}{2} \left(11-5 \sqrt{3}\right) & \text{yd}\to \frac{1}{2} \left(5 \sqrt{3}+11\right) \\
\end{array}\]

AB的对应长度
{22, 4, 4, 22}

nyy

nyy 发表于 2025-4-17 14:09
解析几何的办法解决问题

把两种解都画一下，画图更好看