，只有当

∴S≥2×6＋12＝24，

，化简得：

探索应用：设,　则,，

综上所述，，当CD等于半径时，等号成立.

若点D与O重合时，OC=CD,∴ 　

若点D与O不重合，连OC，在Rt△OCD中，∵OC>CD, ∴，

∴Rt△CAD∽Rt△BCD,   CD²=AD?DB,    ∴CD=      　　

探索应用：如图2，已知A(－3，0)，B(0，－4)，P为双曲线（x＞0）上的任意一点，过点P作PC⊥x轴于点C，PD⊥y轴于点D．求四边形ABCD面积的最小值，并说明此时四边形ABCD的形状．

思考验证：如图1，AB为半圆O的直径，C为半圆上任意一点（与点A、B不重合），过点C作CD⊥AB，垂足为D，AD＝a，DB＝b．试根据图形验证≥，并指出等号成立时的条件．