Theo bất đẳng thức tam giác ta có:

\(OA+OB>AB\)

\(OB+OC>BC\)

\(OC+OD>DC\)

\(OD+OA>AD\)

Cộng vế theo vế thì \(2\left(OA+OB+OC+OD\right)>AB+BC+CA+AD\)

\(\Rightarrow OA+OB+OC+OD>\frac{AB+BC+CA+AD}{2}\) ( 1 )

Theo bất đẳng thức tam giác ta có:

\(AB+BC>CA;BC+CD>BD;CD+DA>CA;DA+AB>BD\)

Cộng vế theo vế ta có:

\(2\left(AB+BC+CD+AD\right)>2\left(CA+BD\right)=2\left(AO+OC+OD+OB\right)\)

\(\Leftrightarrow AB+BC+CD+DA>OA+OB+OC+OD\) ( 2 )

Từ ( 1 ) ; ( 2 ) suy ra đpcm.

Có : \(AB< OA+OB;BC< OB+OC;CD< OC+OD;DA< OD+OA\)

\(P_{ABCD}=2p=AB+BC+CD+DA< 2\left(OA+OB+OC+OD\right)\)

\(\Leftrightarrow\)\(p< OA+OB+OC+OD\)

Lại có : \(OA< AB-OB;OB< BC-OC;OC< CD-OD;OD< DA-OA\)

Cộng vế theo vế từng bđt trên ta được : 

\(OA+OB+OC+OD< AB+BC+CD+DA-\left(OA+OB+OC+OD\right)\)

\(\Leftrightarrow\)\(2\left(OA+OB+OC+OD\right)< AB+BC+CD+DA\) (*) 

Có tiếp -,- : 

\(OA< AB+OB;OA< DA+OD\)\(\Rightarrow\)\(2OA< AB+DA+OB+OD\)

\(OB< AB+OA;OB< BC+OC\)\(\Rightarrow\)\(2OB< AB+BC+OA+OC\)

\(OC< BC+OB;OC< CD+OD\)\(\Rightarrow\)\(2OC< BC+CD+OB+OD\)

\(OD< CD+OC;OD< DA+OA\)\(\Rightarrow\)\(2OD< CD+DA+OC+OA\)

\(\Rightarrow\)\(2\left(OA+OB+OC+OD\right)< 2\left(AB+BC+CD+DA\right)+2\left(OA+OB+OC+OD\right)\)

\(< 2\left(AB+BC+CD+DA\right)+\left(AB+BC+CD+DA\right)\) ( kết hợp với (*) ) 

\(\Rightarrow\)\(2\left(OA+OB+OC+OD\right)< 3\left(AB+BC+CD+DA\right)\)

\(\Leftrightarrow\)\(OA+OB+OC+OD< 3.\frac{AB+BC+CD+DA}{2}=3.\frac{2p}{2}=3p\)

Vậy \(p< OA+OB+OC+OD< 3p\)