修正と補足
6/18
2020-06-15-non-euclid-b.mp4 (2番目の番組). 7:16 頃. $a = \frac{p^2-p'^2+q^2-q'^2}{2(p-p')}$. 分母の 2 が抜けています.
上半空間と上半平面は同じ意味で使ってます.