初中几何，求AB的长？

nyy

初中几何，求AB的长？
我的思路有两个，
一个是以 Ab, ac ad
为三个变量，两个勾股定理，列两个方程，
用余弦的二倍角列一个方程
三个方程解三个未知数。

思路2，假设AC=x，
然后用反正切，根据角的关系，
列出方程，解出ac，然后得到ab

nyy

我手机上没有办法把jpg图片转png，
哪位雷锋看到了帖子后，把图片转化成
png，给郭节省点论坛空间

nyy

Solve[arctan[4/x]-arctan[2/x]==arctan[x/4]/2,x]

wolframalpha求解的，
上面不需要写成ArcTan
所以我就没那么麻烦，
求解结果
x = sqrt(2 + 2 sqrt(17))
还有一个负数的

王守恩

延长 CB 至 E,   BE = BA,   BD/BE = AD/AE。

Solve[{2/AB == Sqrt[AB^2 - 4^2 + 2^2]/Sqrt[AB^2 - 4^2 + (4 + AB)^2], AB > 0}, {AB}]

{{AB -> 1 + Sqrt[17]}}

hejoseph

在 $AB$ 上取一点 $E$，使 $BD=ED$。过点 $D$ 作 $AB$ 的垂线，垂足为 $F$，则 $D$ 为 $BE$ 的中点。
由 $\angle B=2\angle DAB$ 得 $\angle DAB=\angle ADE$，所以
\[
AE=DE=BD=2
\]
设 $AB=x$，分别在 $\triangle ACD$、$\triangle ACB$ 中应用勾股定理得
\[
AC^2=AD^2-2^2=x^2-4^2
\]
得
\[
AD^2=x^2-12
\]
分别在 $\triangle ADF$、$\triangle BDF$ 中应用勾股定理得
\[
DF^2=AD^2-\left(2+\frac{x-2}{2}\right)^2=2^2-\left(\frac{x-2}{2}\right)^2
\]
上面的方程整理得
\[
AD^2=2x+4
\]
所以
\[
x^2-12=2x+4
\]
解这个方程得（负根舍去）
\[
x=1+\sqrt{17}
\]