AD2=BD·DC,AB2=BD·BC,AC2=BC·DC.
∴
1 AD2
=
1 =
BD·DC
BC2 BD·BC·DC·BC
=
BC2 AB2 ·AC2
.
又BC2=AB2+AC2,
∴
1 AD 2
=
AB2 + AC2 AB2 ·AC2
11 = AB2 + AC2 .
∴
1 AD2
=
1 AB 2
+
1 AC2
.
猜想:类比AB⊥AC,AD⊥BC猜想四面体ABCD中,
≥(a + 1 + a
2)2 .
即
a2
+
1 a2
+4
a2
+
1 a2
+4
≥a 2
+2+
1 a2
+2
1 2(a + ) + 2
a
从而只要证 2
a2
+
1 a2
≥
1 2(a + )
a
只要证
4(a 2
+
1 a2
)
≥2(a 2
+2+
1 a2
)
即
a2
+
1 a2
≥2,而上述不等式显然成立,
故原不等式成立.
【评析】分析法是数学中常用到的一种直接证明 方法,就证明程序来讲,它是一种从未知到已知(从结论 到题设)的逻辑推理方法.具体地说,即先假设所要证明 的结论是正确的,由此逐步推出保证此结论成立的充分 条件,而当这些判断恰恰都是已证的命题 (定义、公理、 定理、法则、公式等)或要证命题的已知条件时命题 得证.