作三角形ABO使 向量OA = a 向量OB = b
以AB为直径作圆M并取圆上任意一点C
则不妨取 c = OC 必有 (a-c)(b-c)=AC*BC=0
此时圆M半径为R=|AB|/2=√2/2 且|OM|=1
则|d|≤|d-c|+|c|≤|d-c|+|OM|+R=2 +√2 /2
