09/03/22 07:14:22
>>843
∠UOV = 120ﾟ なる半直線 OU,OV を考える。 >>792
OU上に OA=a, OB=b なる点A,B をとる。
OV上に OC=c, OD=d なる点C,D をとる。
題意により、2つの線分AD, BC は交わるから、交点を X とする。2つの線分AC, BD は交わらない。
(左辺) = AD + BC = (AX + XD) + （BX +XC) = (AX + XC) + (BX + XD) ≧ AC + BD = (右辺).
[初代スレ.068, 071] の類題ぢゃね？