>>699
内積の計算など、もっと基本的なところを紙と鉛筆を使って計算練習しておかないと、
この先読み進めることは出来ないんじゃないかな。
以下はただの計算だよ。

↑x_0'=↑x_1+ ((↑x_0-↑x_1,↑a)/(↑a,↑a))・↑a　=↑x_1- ((↑x_1-↑x_0,↑a)/(↑a,↑a))・↑a　
の両辺から↑x_0を減じて、↑x_1-↑x_0=↑b、　とおくと
↑x_0'-↑x_0=↑b-((↑b,↑a)/(↑a,↑a))・↑a　　(↑b,↑a)/(↑a,↑a)＝Ａ　とおくと
|↑x_0'-↑x_0|^2=(↑x_0'-↑x_0,↑x_0'-↑x_0)=(↑b-A・↑a , ↑b-A・↑a )=（↑b,↑b）-2A(↑b,↑a)+A^2(↑a,↑a)
A(↑a,↑a)=(↑b,↑a)であるから、A^2(↑a,↑a)=A(↑b,↑a)であり、結局
|↑x_0'-↑x_0|^2=（↑b,↑b）-2A(↑b,↑a)+A(↑b,↑a)=(↑b,↑b)-A(↑b,↑a)=(↑b,↑b)-((↑b,↑a)^2)/(↑a,↑a)
=((↑b,↑b)(↑a,↑a)-(↑b,↑a)^2)/(↑a,↑a)。
従って、|↑x_0'-↑x_0|=(√((↑b,↑b)(↑a,↑a)-(↑b,↑a)^2))/|↑a|
あとは、↑bを↑x_1-↑x_0　に戻せば>699　の式がでる。