初等幾何的証明もありますが、複素平面を利用して|x|+|y|≧|x+y|を使って|α-β||γーδ|+|αーδ||βーγ|≧|(α-β)(γーδ)+(αーδ)(βーγ)|=|αγ-αδーβγ+βδ+αβーαγーδβ+δγ|=|αβーαδ+δγーβγ|=|α(βーδ)+γ(δーβ)|=|(αーγ)(βーδ)|=|αーγ||βーδよって、与式が示された。12:17...引用して返信編集・削除(未編集)最初の式が、間違えてました。したトレミーの不等式でした。等式の部分が不足してます。投稿前にプレビューを確認ご利用のブラウザはJavaScriptが実行できません。この掲示板に投稿するには、JavaScriptが実行できるブラウザでアクセスする必要があります。