元祖ワシ的日記

\[ \alpha_{0} = \left(-1 + \sqrt{17}\right)/2 \] \[ \alpha_{1} = \left(-1 - \sqrt{17}\right)/2 \] \[ \beta_{0} = \left(\alpha_{0} + \sqrt{\alpha_{0}^2 +4}\right)/2 \] \[ \beta_{1} = \left(\alpha_{1} + \sqrt{\alpha_{1}^2 +4}\right)/2 \] \[ \gamma_{0} = \left(\beta_{0} + \sqrt{\beta_{0}^2 - 4\beta_{1}}\right)/2 \] \[ \delta_{0} = \left(\gamma_{0} + \sqrt{\gamma_{0}^2 - 4}\right)/2 \] \[ \delta_{0}^{17} = 1 \]