Cho tứ giác ABCD và một điểm O ở bên trong tứ giác. gọi S là diện tích tứ giác ABCD. Chứng minh rằng : \(OA^2+OB^2+OC^2+OD^2\ge2S\)
Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
![](https://rs.olm.vn/images/avt/0.png?1311)
![](https://rs.olm.vn/images/avt/0.png?1311)
Hạ CH vuông góc với OB tại H. Theo quan hệ đường xiên hình chiếu:
\(CH\le OC\Leftrightarrow CH.OB\le OC.OB\Leftrightarrow2.S_{BOC}\le OC.OB\)(Do \(S_{BOC}=\frac{CH.OB}{2}\))
Áp dụng BĐT Cauchy, ta có: \(OC.OB\le\frac{OC^2+OB^2}{2}\)
\(\Rightarrow2.S_{BOC}\le\frac{OC^2+OB^2}{2}\left(1\right)\). Chứng minh tương tự ta được:
\(2.S_{AOB}\le\frac{OA^2+OB^2}{2}\left(2\right);2.S_{DOC}\le\frac{OD^2+OC^2}{2}\left(3\right);2.S_{AOD}\le\frac{OA^2+OD^2}{2}\left(4\right)\)
Cộng (1); (2); (3) và (4) theo vế:
\(2.\left(S_{BOC}+S_{AOB}+S_{DOC}+S_{AOD}\right)\le\frac{2.\left(OA^2+OB^2+OC^2+OD^2\right)}{2}\)
\(\Rightarrow2S\le OA^2+OB^2+OC^2+OD^2\)=> ĐPCM.
\(2.S_{BOC}\le OC.OB\). Dấu "=" xảy ra <=> OC vuông góc với OB
\(OC.OB\le\frac{OC^2+OB^2}{2}\). Dấu "=" xảy ra <=> OC=OB
Suy ra \(2.S_{BOC}\le\frac{OC^2+OB^2}{2}\). Dấu "=" xảy ra <=> \(\Delta\)BOC vuông cân tại O
Tương tự với các tam giác AOB; AOD; DOC.
Vậy dấu "=" xảy ra <=> Tứ giác ABCD là hình vuông và O là tâm của hình vuông này.
![](https://rs.olm.vn/images/avt/0.png?1311)
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.
![](https://rs.olm.vn/images/avt/0.png?1311)
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\)
dùng bất đẳng thức cauchy