X
x,y∈K
(φ(x), φ(y)) = |K| +
X
x,y∈K,x6=y
(φ(x), φ(y)) ≤ |K| + |K|(|K| −1)
n − 2d
n
,
(φ(x), φ(y)) = 1 x = y (φ(x), φ(y)) =
1
n
(n −
2d(x, y)) ≤
1
n
(n − 2d) x 6= y
|K| + |K|(|K| − 1)
n − 2d
n
≥ 0.
2d−n > 0
n−2d = 0 K
0
K
K 1
|K|
2
K K
0
K
K
0
K
00
K
00
d
n
00
= n − 1 2d − n
00
> 0
K
00
|K| ≤ 2|K
00
|
K
K
00
n
00
= n − 1
|K
00
| − |K
00
|(|K
00
| − 1)
n
00
− 2d
n
00
= 0,
|K
00
| =
|K|
2
= n
X
x,y∈K
00
(φ(x), φ(y)) = n +
X
x,y∈K
00
,x6=y
(φ(x), φ(y)) = n −n(n −1)
1
n − 1
= 0.
(φ(x), φ(y)) ≤ 0 (φ(x), φ(y)) = 0 x, y ∈
K
00
, x 6= y. ¤
K m n = 2
m
− 1
B
H
2
m−1
K