，只有当
∴S≥2×6＋12＝24，
，化简得：
探索应用：设, 则,，
综上所述，，当CD等于半径时，等号成立.
若点D与O重合时，OC=CD,∴
若点D与O不重合，连OC，在Rt△OCD中，∵OC>CD, ∴，
∴Rt△CAD∽Rt△BCD, CD2=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．试根据图形验证≥，并指出等号成立时的条件．
，只有当
，化简得：
, 则
,
，
，当CD等于半径时，等号成立.
， 
（x＞0）上的任意一点，过点P作PC⊥x轴于点C，PD⊥y轴于点D．求四边形ABCD面积的最小值，并说明此时四边形ABCD的形状．
≥
，并指出等号成立时的条件．