DE＝AD/2 (1)
AD²－DE²＝AE² (2)
将(1)代入(2)得：
AD＝2AE/√3＝2/√6，
DE＝1/√6；
【在Rt△BCD中】
BD＝BE＋DE＝ (1/√2＋1/√6)，
CD＝BD/2＝(1/√2＋1/√6)/2，
于是
AC＝AD－CD＝(√6－√2)/4
【在Rt△ABC中】
BC²＝AB²－AC²
将AB、CD代入解得
BC＝(√6＋√2)/4
其中，用到恒等式：
8＋4√3＝(√6＋√2)²,
结果如图所示：
解题过程中遇到15°直角三角形，可直接用上述结果。这些数据应牢记心中。
