阅读理解:对于任意正实数a、b,∵

≥0, ∴

≥0,
∴

≥

,只有当a=b时,等号成立.
结论:在

≥

(a、b均为正实数)中,若ab为定值p,则a+b≥

,只有当a=b时,a+b有最小值

.
根据上述内容,回答下列问题:
若m>0,只有当m=
时,
.
思考验证:如图1,AB为半圆O的直径,C为半圆上任意一点(与点A、B不重合),过点C作CD⊥AB,垂足为D,AD=a,DB=b.

试根据图形验证

≥

,并指出等号成立时的条件.
探索应用:如图2,已知A(-3,0),B(0,-4),P为双曲线

(x>0)上的任意一点,过点P作PC⊥x轴于点C,PD⊥y轴于点D.求四边形ABCD面积的最小值,并说明此时四边形ABCD的形状.
