第11章 11.18

∣α+β∣2+∣α−β∣2=2(∣α∣2+∣β∣2)|\alpha + \beta|^2 + |\alpha - \beta|^2 = 2(|\alpha|^2 + |\beta|^2)

左辺 = (α+β)(α+β‾)+(α−β)(α−β‾)(\alpha + \beta)(\overline{\alpha + \beta}) + (\alpha - \beta)(\overline{\alpha - \beta})

=αα‾+αβ‾+α‾β+ββ‾+αα‾−αβ‾−α‾β+ββ‾= \alpha\overline{\alpha} + \alpha\overline{\beta} + \overline{\alpha}\beta + \beta\overline{\beta} + \alpha\overline{\alpha} - \alpha\overline{\beta} - \overline{\alpha}\beta + \beta\overline{\beta}

=∣α∣2+∣β∣2+∣α∣2+∣β∣2= |\alpha|^2 + |\beta|^2 + |\alpha|^2 + |\beta|^2

=2(∣α∣2+∣β∣2)== 2(|\alpha|^2 + |\beta|^2) = 右辺

よって与式は成り立つ

解説: r31bn1z