恒等式结论

引理: ∑ ϵ k ∈ { − 1 , 1 } , 1 ≤ k ≤ n ( ∑ k = 1 n ϵ k a k ) 2 = 2 n ∑ k = 1 n a k 2 \sum_{\epsilon_k\in \{-1,1\},1\le k\le n}(\sum^n_{k=1}\epsilon_ka_k)^2=2^n\sum^n_{k=1}a_k^2 ϵk{1,1},1kn(k=1nϵkak)2=2nk=1nak2
证明: n = 1 时, L H S = 2 a 1 2 , R H S = 2 a 1 2 ,成立 n=1时,LHS=2a_1^2,RHS=2a_1^2,成立 n=1时,LHS=2a12RHS=2a12,成立
设 n 时成立,证明 n + 1 时情况: 设n时成立,证明n+1时情况: n时成立,证明n+1时情况:
∑ ϵ k ∈ { − 1 , 1 } , 1 ≤ k ≤ n + 1 ( ∑ k = 1 n + 1 ϵ k a k ) 2 \sum_{\epsilon_k\in \{-1,1\},1\le k\le n+1}(\sum^{n+1}_{k=1}\epsilon_ka_k)^2 ϵk{1,1},1kn+1(k=1n+1ϵkak)2
= ∑ ϵ k ∈ { − 1 , 1 } , 1 ≤ k ≤ n + 1 ( ( ∑ k = 1 n ϵ k a k ) 2 + 2 ( ∑ k = 1 n ϵ k a k ) ∗ ϵ n + 1 a n + 1 + a n + 1 2 ) =\sum_{\epsilon_k\in \{-1,1\},1\le k\le n+1}((\sum^n_{k=1}\epsilon_ka_k)^2+2(\sum^n_{k=1}\epsilon_ka_k)*\epsilon_{n+1}a_{n+1}+a_{n+1}^2) =ϵk{1,1},1kn+1((k=1nϵkak)2+2(k=1nϵkak)ϵn+1an+1+an+12)
= 2 ∑ ϵ k ∈ { − 1 , 1 } , 1 ≤ k ≤ n + 2 ∑ ϵ n + 1 ∈ { − 1 , 1 } ϵ n + 1 a n + 1 ∑ ϵ k ∈ { − 1 , 1 } , 1 ≤ k ≤ n ϵ k a k + 2 n + 1 × a n + 1 2 =2\sum_{\epsilon_k\in \{-1,1\},1\le k\le n}+2\sum_{\epsilon_{n+1}\in\{-1,1\}}\epsilon_{n+1}a_{n+1}\sum_{\epsilon_k\in \{-1,1\},1\le k\le n}\epsilon_ka_k+2^{n+1}\times a_{n+1}^2 =2ϵk{1,1},1kn+2ϵn+1{1,1}ϵn+1an+1ϵk{1,1},1knϵkak+2n+1×an+12
= 2 n + 1 ∑ k = 1 n a k 2 + 2 n + 1 × a n + 1 2 = R H S       证毕 =2^{n+1}\sum^n_{k=1}a_k^2+2^{n+1}\times a_{n+1}^2=RHS \ \ \ \ \ \ 证毕 =2n+1k=1nak2+2n+1×an+12=RHS      证毕

相关推荐

  1. 恒等式结论

    2024-07-20 15:50:02       24 阅读
  2. 演绎推理三段论(大前提、小前提、结论

    2024-07-20 15:50:02       33 阅读
  3. 关于 LayoutInflater.inflate 的取值结论

    2024-07-20 15:50:02       26 阅读
  4. Linux 目录结构结构

    2024-07-20 15:50:02       57 阅读
  5. 数据库结构

    2024-07-20 15:50:02       59 阅读

最近更新

  1. docker php8.1+nginx base 镜像 dockerfile 配置

    2024-07-20 15:50:02       123 阅读
  2. Could not load dynamic library ‘cudart64_100.dll‘

    2024-07-20 15:50:02       131 阅读
  3. 在Django里面运行非项目文件

    2024-07-20 15:50:02       109 阅读
  4. Python语言-面向对象

    2024-07-20 15:50:02       117 阅读

热门阅读

  1. Https post 请求时绕过证书验证方案

    2024-07-20 15:50:02       28 阅读
  2. 素数极差

    2024-07-20 15:50:02       23 阅读
  3. 数据结构——栈

    2024-07-20 15:50:02       26 阅读
  4. 量化交易对短期收益的提升效果

    2024-07-20 15:50:02       24 阅读
  5. ArcGIS Pro SDK (九)几何 9 立方贝塞尔线段

    2024-07-20 15:50:02       26 阅读
  6. glibc: getifaddrs_internal 占用大量cpu

    2024-07-20 15:50:02       24 阅读
  7. 【关于使用swoole的知识点整理】

    2024-07-20 15:50:02       22 阅读
  8. 弹框管理类demo

    2024-07-20 15:50:02       25 阅读
  9. 单机 Redission 存在的问题以及怎么解决

    2024-07-20 15:50:02       26 阅读