若O是四边形ABCD对角线的交点，且OA＝OB＝OC＝OD，则四边形ABCD是

[　　]

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