متفاوتة بطليموس

متفاوتة بطليموس تهم المسافات بين أربع نقط من فضاء تآلفي إقليدي.

نص المتفاوتة

متفاوتة بطليموس - لتكن A و B و C و D أربع نقط في فضاء تآلفي إقليدي. إذن،

${\displaystyle AB.CD\leq AC.BD+AD.BC}$

تستنتج هذه المتفاوتة مباشرة من المتفاوتة المثلثية بالتفاف.

البرهان

لتكن d c b المتجهات AC AB و AD.

حساب فوري يعطي:

${\displaystyle {\left\|{\frac {b}{\|b\|^{2}}}-{\frac {c}{\|c\|^{2}}}\right\|}^{2}={\frac {1}{\|b\|^{2}}}-2{\frac {<b|c>}{\|b\|^{2}\|c\|^{2}}}+{\frac {1}{\|c\|^{2}}}={\frac {\|b-c\|^{2}}{\|b\|^{2}\|c\|^{2}}}}$

${\displaystyle \left\|{\frac {b}{\|b\|^{2}}}-{\frac {c}{\|c\|^{2}}}\right\|={\frac {\|b-c\|}{\|b\|.\|c\|}}}$

لنطبق المتفاوتة المثلثية ل${\displaystyle {\frac {b}{\lVert b\rVert ^{2}}}}$ ،${\displaystyle {\frac {c}{\lVert c\rVert ^{2}}}}$ ،${\displaystyle {\frac {d}{\lVert d\rVert ^{2}}}}$:

${\displaystyle {\frac {\lVert d-c\rVert }{{\lVert c\rVert }.{\lVert d\rVert }}}\leq {\frac {\lVert d-b\rVert }{{\lVert b\rVert }.{\lVert d\rVert }}}+{\frac {\lVert b-c\rVert }{{\lVert b\rVert }.{\lVert c\rVert }}}}$

لنضرب هذه المتفاوتة ب${\displaystyle :{{\lVert b\rVert }.{\lVert c\rVert }.{\lVert d\rVert }}}$

${\displaystyle {\lVert b\rVert }.{\lVert d-c\rVert }\leq {\lVert c\rVert }.{\lVert d-b\rVert }+{\lVert d\rVert }.{\lVert b-c\rVert }}$

و منه المتفاوتة المطلوبة !

مراجع

• بوابة رياضيات
• بوابة هندسة رياضية