Isosceles正交注记 (2002年)

在实赋范线性空间E（dimE≥2）中证明：当E中向量x，y线性无关，且‖x≥‖y‖>0时，存在唯一的a∈R使得‖x+ ‖=‖x- ‖即在x与y生成的平面上x Isosceles正交且只正交于一个范数是‖y‖的向量。