阅读理解：对于任意正实数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的形状．