2010-04-30 入れ子 球 原点Oを中心としたk次元の単位球Aがある Aの表面の1点と Aの表面の任意の点とを考える 今、OQ上に点Q'をとり、OQ'の長さを、ただし、は角POQとする ベクトルの内積からであるので Q'がどのような図形になるかを考える のとき、 Qがとなるようなとき、 OPの中点をP'とすると、 P'Q'の距離は 整理して、 つまり、P'を中心とする半径の多次元球(で、それは原点とPとを通る)。