顶点x3除2等于棱长