ä¸ç»´çæ¯ï¼ (a1*a2+b1*b2+c1*c2)^2 <= (a1^2+b1^2+c1^2)(a2^2+b2^2+c2^2ï¼
æ¯è¥¿ä¸çå¼å¯ä»¥ç¨åéæ¥è¯æ
æ¯è¥¿ä¸çå¼çä¸è¬è¯æ³æ以ä¸å ç§ï¼â â Cauchyä¸çå¼çå½¢å¼ååæ³å°±æ¯ï¼è®°ä¸¤åæ°åå«æ¯ai, biï¼åæ (âai^2) * (âbi^2) ⥠(âai * bi)^2. æ们令 f(x) = â(ai + x * bi)^2 = (âbi^2) * x^2 + 2 * (âai * bi) * x + (âai^2) åæ们ç¥éææ f(x) ⥠0. ç¨
äºæ¬¡å½æ°æ å®æ ¹æåªæä¸ä¸ªå®æ ¹çæ¡ä»¶ï¼å°±æ Î = 4 * (âai * bi)^2 - 4 * (âai^2) * (âbi^2) ⤠0. äºæ¯ç§»é¡¹å¾å°ç»è®ºã â â¡ç¨åéæ¥è¯. m=(a1,a2....an) n=(b1,b2....bn) mn=a1b1+a2b2+....+anbn=(a1^+a2^+....+an^)^1/2ä¹ä»¥(b1^+b2^+....+bn^)^1/2ä¹ä»¥cosXï¼ å 为cosXå°äºçäº0ï¼æ以ï¼a1b1+a2b2+....+anbnå°äºçäºa1^+a2^+....+an^)^1/2ä¹ä»¥(b1^+b2^+....+bn^)^1/2 è¿å°±è¯æäºä¸çå¼ï¼æ¯è¥¿ä¸çå¼è¿æå¾å¤ç§ï¼è¿éåªå两ç§è¾å¸¸ç¨çè¯æ³ï¼