>>451 >>513
B を原点として、A,P,Q,R の位置ベクトルを a,p,q,r とする。
PR の中点の位置ベクトルを s とする。
B を中心とした θ の回転、L についての反転の１次変換をそれぞれ X,Y とする。

q = Yp,
r-a = X^2(q-a)
より
s = (p+r)/2 = {X^2(Yp-a)+a+p}/2
Ya = -a を使って
s = (X^2Y+E)(a+p)/2

∴ X^(-1)s = {XY+X^(-1)}(a+p)/2,
YX^(-1)s = {YXY+YX^(-1)}(a+p)/2

YXY=X^(-1), XY=YX^(-1) は明らかなので
∴ YX^(-1)s = X^(-1)s
この式の意味は PR の中点が m 上にあるということ。