system: [SYSTEM]

user: 2. 证明正交4球 [ 1 ] 球心间勾股4态 [ 2 ] 的15个外接球 [ 5 ] 半径及其外心坐标同构公式 设：沿用文 [ 3 ] 即：正交4球心为大写： A ， B ， C ， D ：及相对应的球半径为小写： a ， b ， c ， d ； ( A ∈ a ; B ∈ b ; C ∈ c ; D ∈ d ) 正交4球心坐标为： A ( a ， 0 ， 0 ) ; B ( 0 ， b ， 0 ) ; C ( 0 ， 0 ， c ) ; D ( b c t ， a c t ， a b t ) (这里： t = − d 2 v + a b c ， v = a 2 b 2 c 2 + a 2 b 2 d 2 + a 2 c 2 d 2 + b 2 c 2 d 2 = 6 V A B C D ；D坐标在第7象限) 2.1. 一至四维球心间同构的外接球半径平方公式 定义：一至四维球心间外接球半径的平方：等于同态维数与重心球半径 [ 3 ] 之积方与同态维数减2与垂心球半径 [ 4 ] 的积方之差的四分之一。其公式为： ( ℝ O i n ) 2 = 1 4 [ n 2 R G i 2 − ( n − 2 ) 2 r H i 2 ] (1) 这里：字母为各类球半径： ℝ 为外接球；R为重心球；r为垂心球； 下标：同态用 i = A ， B ， C ， D ， ⋯ ；O为外接球；G为重心球；H为垂心球； 右式上标与左式的 n = 1 ， 2 ， 3 ， 4 ， ⋯ 为勾股4态的1至4维。 · 4个一维外接球半径的平方： ( ℝ O A 1 ) 2 = 1 4 [ 1 2 a 2 − ( 1 − 2 ) 2 a 2 ] = 1 4 1 2 ( a 2 − a 2 ) + ( 1 − 1 ) a 2 = 0 因一维重心球半径与垂心球半径等同为4个正交球半径，4个一维外接球半径平方均为0， 即： ( ℝ O A 1 ) 2 = ( ℝ O B 1 ) 2 = ( ℝ O C 1 ) 2 = ( ℝ O D 1 ) 2 = 0 。 · 6个二维外接球半径的平方： ( ℝ O A B 2 ) 2 = 1 4 [ 2 2 × 1 2 2 ( a 2 + b 2 ) − ( 2 − 2 ) 2 a 2 b 2 a 2 + b 2 ] = 1 4 ( a 2 + b 2 ) 6个二维外接球半径与二维重心球半径相同，其平方为： a 2 + b 2 4 ， a 2 + c 2 4 ， a 2 + d 2 4 ， b 2 + c 2 4 ， b 2 + d 2 4 ， c 2 + d 2 4 因此证明其半径的平方可参见文 [ 3 ]。 · 4个三维外接球半径的平方： ( ℝ O A B C 3 ) 2 = 1 4 [ 3 2 × 1 3 2 ( a 2 + b 2 + c 2 ) − ( 3 − 2 ) 2 a 2 b 2 c 2 s A B C 2 ] = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 4个三维外接球半径的平方： ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 ， ( a 2 + b 2 ) ( a 2 + d 2 ) ( b 2 + d 2 ) 4 s A B D 2 ， ( a 2 + c 2 ) ( a 2 + d 2 ) ( c 2 + d 2 ) 4 s A C D 2 ， ( b 2 + c 2 ) ( b 2 + d 2 ) ( c 2 + d 2 ) 4 s B C D 2 ， 这里： s A B C 2 = a 2 b 2 + a 2 c 2 + b 2 c 2 ， s A B D 2 = a 2 b 2 + a 2 d 2 + b 2 d 2 ， s A C D 2 = a 2 c 2 + a 2 d 2 + c 2 d 2 ， s B C D 2 = b 2 c 2 + b 2 d 2 + c 2 d 2 (下同)。 其证明略：因其与三角形的外接圆公式等价。 · 1个四维外接球半径的平方： ( ℝ O 4 ) 2 = 1 4 [ 4 2 × 1 4 2 ( a 2 + b 2 + c 2 + d 2 ) − ( 4 − 2 ) 2 a 2 b 2 c 2 d 2 v 2 ] = 1 4 ( a 2 + b 2 + c 2 + d 2 − 4 a 2 b 2 c 2 d 2 v 2 ) 这里： v 2 = a 2 b 2 c 2 + a 2 b 2 d 2 + a 2 c 2 d 2 + b 2 c 2 d 2 (下同)。 其证明：见文 [ 5 ] 关于一维点态8点共球半径。即：正交4球心构成垂心四面体的外接球的半径。 2.2. 一至四维球心间同构的外心坐标同构公式 定义：一至四维15点外心坐标公式：三个分坐标均为维数 [ 2 ] 与同态重心分坐标 [ 3 ] 积减维数 [ 2 ] 减2与同态垂心分坐标 [ 4 ] 之积的差的二分之一。其公式为： O i n = { x O i = 1 2 [ n x G i − ( n − 2 ) x H i ] y O i = 1 2 [ n y G i − ( n − 2 ) y H i ] z O i = 1 2 [ n z G i − ( n − 2 ) z H i ] (2) 这里字母： O 为外心坐标；x， y， z为分坐标； 下标：同态为 i = A ， B ， C ， D ， ⋯ ；Oi为外心坐标；Gi为垂心坐标；Hi为垂心坐标； 右式上标与左式 n = 1 ， 2 ， 3 ， 4 ， ⋯ 为勾股4态 [ 2 ] 的1至4维； 例： · 4个一维点即正交1球心的外心坐标： O A 1 = { x O A = 1 2 [ 1 × a − ( 1 − 2 ) a ] = 1 2 × 1 ( a − a ) + a = a y O A = 1 2 [ 1 × 0 − ( 1 − 2 ) 0 ] = 1 2 × 1 ( 0 − 0 ) + 0 = 0 z O A = 1 2 [ 1 × 0 − ( 1 − 2 ) 0 ] = 1 2 × 1 ( 0 − 0 ) + 0 = 0 一维外心坐标与正交4球球心坐标共点，同时也与一维重心和垂心坐标共点。 即： O A 1 ( a ， 0 ， 0 ) ， O B 1 ( 0 ， b ， 0 ) ， O C 1 ( 0 ， 0 ， c ) ， O D 1 ( b c t ， a c t ， a b t ) 。 · 6个二维棱即正交2球心连线构成棱的外心坐标： O A B 2 = { x O A B = 1 2 [ 2 × a + 0 2 − ( 2 − 2 ) a b 2 a 2 + b 2 ] = 1 2 × 2 ( a + 0 2 − a b 2 a 2 + b 2 ) + a b 2 a 2 + b 2 = a 2 y O A B = 1 2 [ 2 × 0 + b 2 − ( 2 − 2 ) a 2 b a 2 + b 2 ] = 1 2 × 2 ( 0 + b 2 − a 2 b a 2 + b 2 ) + a 2 b a 2 + b 2 = b 2 z O A B = 1 2 [ 2 × 0 + 0 2 − ( 2 − 2 ) 0 ] = 1 2 × 2 ( 0 + 0 2 − 0 ) + 0 = 0 同理：6个二维外心坐标与同态二维重心坐标共点为： O A B 2 ( a 2 ， b 2 ， 0 ) ; O A C 2 ( 0 ， b 2 ， c 2 ) ; O B C 2 ( 0 ， b 2 ， c 2 ) ; O A D 2 ( a + b c t 2 ， a c t 2 ， a b t 2 ) ; O B D 2 ( b c t 2 ， b + a c t 2 ， a b t 2 ) ; O C D 2 ( b c t 2 ， a c t 2 ， c + a b t 2 ) 其半径平方与二维重心球半径平方共球。其二维外心与二维重心共点，坐标验证见文 [ 3 ]。 · 4个三维面即正交3球心构成三角形的外心坐标： O A B C 3 = { x O A B C = 1 2 [ 3 × a + 0 + 0 3 − ( 3 − 2 ) a b 2 c 2 s A B C 2 ] = 1 2 ( a − a b 2 c 2 s A B C 2 ) = a 3 ( b 2 + c 2 ) 2 s A B C 2 y O A B C = 1 2 [ 3 × 0 + b + 0 3 − ( 3 − 2 ) a 2 b c 2 s A B C 2 ] = 1 2 ( b − a 2 b c 2 s A B C 2 ) = b 3 ( a 2 + c 2 ) 2 s A B C 2 z O A B C = 1 2 [ 3 × 0 + 0 + c 3 − ( 3 − 2 ) a 2 b 2 c s A B C 2 ] = 1 2 ( c − a 2 b 2 c s A B C 2 ) = c 3 ( a 2 + b 2 ) 2 s A B C 2 4个三维面外心坐标为： O A B C 3 ( a 3 ( b 2 + c 2 ) 2 s A B C 2 ， b 3 ( a 2 + c 2 ) 2 s A B C 2 ， c 3 ( a 2 + b 2 ) 2 s A B C 2 ) ； O A B D 3 ( a b 2 t v + ( a + b c t ) s A B D 2 2 s A B D 2 ， a 2 b t v + ( b + a c t ) s A B D 2 2 s A B D 2 ， a b ( a 2 + b 2 ) d 2 t 2 s A B D 2 ) ； O A C D 3 ( a c 2 t v + ( a + b c t ) s A C D 2 2 s A C D 2 ， a c ( a 2 + c 2 ) d 2 t 2 s A C D 2 ， a 2 c t v + ( c + a b t ) s A C D 2 2 s A C D 2 ) ； O B C D 3 ( b c ( b 2 + c 2 ) d 2 t 2 s B C D 2 ， b c 2 t v + ( b + a c t ) s B C D 2 2 s B C D 2 ， b 2 c t v + ( c + a b t ) s B C D 2 2 s B C D 2 ) 这里： s A B C 2 = a 2 b 2 + a 2 c 2 + b 2 c 2 ， s A B D 2 = a 2 b 2 + a 2 d 2 + b 2 d 2 ， s A C D 2 = a 2 c 2 + a 2 d 2 + c 2 d 2 ， s B C D 2 = b 2 c 2 + b 2 d 2 + c 2 d 2 (下同)。 验证：用2点坐标距离公式验证该点为3维外心： 例：三维外心 O A B C 3 与共面的3个正交球球心A、B、C，分别用2点式间距公式计算，结果相同： | A O A B C 3 | 2 = [ a 3 ( b 2 + c 2 ) 2 s A B C 2 − a ] 2 + [ b 3 ( a 2 + c 2 ) 2 s A B C 2 − 0 ] 2 + [ c 3 ( a 2 + b 2 ) 2 s A B C 2 − 0 ] 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 | B O A B C 3 | 2 = [ a 3 ( b 2 + c 2 ) 2 s A B C 2 − 0 ] 2 + [ b 3 ( a 2 + c 2 ) 2 s A B C 2 − b ] 2 + [ c 3 ( a 2 + b 2 ) 2 s A B C 2 − 0 ] 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 | C O A B C 3 | 2 = [ a 3 ( b 2 + c 2 ) 2 s A B C 2 − 0 ] 2 + [ b 3 ( a 2 + c 2 ) 2 s A B C 2 − 0 ] 2 + [ c 3 ( a 2 + b 2 ) 2 s A B C 2 − c ] 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 同理：可验证其余3组均为其3维外心。 · 1个四维体即正交4球心构成垂心四面体的外心坐标： O 4 = { x O = 1 2 [ 4 × a + b c t 4 − ( 4 − 2 ) − a b 2 c 2 t v ] = 1 2 ( a + b c t + 2 a b 2 c 2 t v ) = a v + b c t ( 2 a b c + v ) 2 v y O = 1 2 [ 4 × b + a c t 4 − ( 4 − 2 ) − a 2 b c 2 t v ] = 1 2 ( b + a c t + 2 a 2 b c 2 t v ) = b v + a c t ( 2 a b c + v ) 2 v z O = 1 2 [ 4 × c + a b t 4 − ( 4 − 2 ) − a 2 b 2 c t v ] = 1 2 ( c + a b t + 2 a 2 b 2 c t v ) = c v + a b t ( 2 a b c + v ) 2 v 这里： t = − d 2 a b c + v ； v 2 = a 2 b 2 c 2 + a 2 b 2 d 2 + a 2 c 2 d 2 + b 2 c 2 d 2 (下同)。 验证该4维外心：见文 [ 5 ]。 2.3. 一至四维及其幂集的任意子集外心间距的同构公式 定义：一至四维及其幂集的任意子集外心间距同构公式为：其外心间距的平方等于外接球半径与其幂集的任意一个非空子集的外接球半径的平方差。其公式为： D A | A i ∈ A 2 = | ℝ A n | 2 − | ℝ A i n i | 2 (3) 这里： D 为间距， ℝ 为外接球半径(详见：表1)； 上标：n为勾股4态 [ 2 ] 的1至4维维数，ni为其幂集子集的维数； 下标：A为集，Ai为A集的幂集的任意一项非空子集。 例： · 4组一维点外心的每组非零幂集数为：已知非零幂集数量公式为： x = 2 n − 1 。则一维非空幂集数为： 2 1 − 1 = 1 (1点与集共点)。对于A球外心自身间距套用公式后为： D A | A 2 = | ℝ O A 1 | 2 − | ℝ O A 1 | 2 = 0 − 0 = 0 同理：其余3个一维点外心自身间距均为零。 · 6组二维棱外心的每组非零幂集数为 2 2 − 1 = 3 (3点与集共棱)。即： D A B | A B 2 = | ℝ O A B 2 | 2 − | ℝ O A B 2 | 2 = 1 2 2 ( a 2 + b 2 ) − 1 2 2 ( a 2 + b 2 ) = 0 D A B | A 2 = | ℝ O A B 2 | 2 − | ℝ O A 1 | 2 = 1 2 2 ( a 2 + b 2 ) − 0 = 1 2 2 ( a 2 + b 2 ) D A B | B 2 = | ℝ O A B 2 | 2 − | ℝ O B 1 | 2 = 1 2 2 ( a 2 + b 2 ) − 0 = 1 2 2 ( a 2 + b 2 ) 同理：可得其余5组，每组二维外接球球心与其非零幂集各3个子集外心间距(略)； 验证：因二维棱外心坐标及其半径与二维重心坐标及其半径等价。其验证见文 [ 3 ]。 · 4组三维面外心的每组非零幂集数为 2 3 − 1 = 7 (7点与集共面)。即： D A B C | A B C 2 = | ℝ O A B C 3 | 2 − | ℝ O A B C 3 | 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 − ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 = 0 D A B C | A B 2 = | ℝ O A B C 3 | 2 − | ℝ O A B 2 | 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 − 1 2 2 ( a 2 + b 2 ) = ( a 2 + b 2 ) c 4 4 s A B C 2 D A B C | A C 2 = | ℝ O A B C 3 | 2 − | ℝ O A C 2 | 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 − 1 2 2 ( a 2 + c 2 ) = ( a 2 + c 2 ) b 4 4 s A B C 2 D A B C | B C 2 = | ℝ O A B C 3 | 2 − | ℝ O B C 2 | 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 − 1 2 2 ( b 2 + c 2 ) = ( b 2 + c 2 ) a 4 4 s A B C 2 D A B C | A 2 = | ℝ O A B C 3 | 2 − | ℝ O A 1 | 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 − 0 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 D A B C | B 2 = | ℝ O A B C 3 | 2 − | ℝ O B 1 | 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 − 0 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 D A B C | C 2 = | ℝ O A B C 3 | 2 − | ℝ O C 1 | 2 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 − 0 = ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 同理可得其余3组3维面外心与其非零幂集各7个子集外心间距。 每组与7个子集外心间距关系，可分3类，可分别验证2点间外接球半径的平方差： 一类：自身间距为零； 二类：根据三角形外心到各边的垂线平分各边的定理，符合直角三角形斜边与底边的平方差等于邻边平方； 三类：根据三角形外心到各顶点的间距相等为3维外接球半径。 · 1组四维体外心的非零幂集数为 2 4 − 1 = 15 (15点与集共体)。即： D O | O 2 = | ℝ O 4 | 2 − | ℝ O 4 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 = 0 D O | A B C 2 = | ℝ O 4 | 2 − | ℝ O A B C 3 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 = ( 2 a 2 b 2 c 2 − v 2 ) 2 4 s A B C 2 v 2 D O | A B D 2 = | ℝ O 4 | 2 − | ℝ O A B D 3 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − ( a 2 + b 2 ) ( a 2 + d 2 ) ( b 2 + d 2 ) 4 s A B D 2 = ( 2 a 2 b 2 d 2 − v 2 ) 2 4 s A B D 2 v 2 D O | A C D 2 = | ℝ O 4 | 2 − | ℝ O A C D 3 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − ( a 2 + b 2 ) ( a 2 + d 2 ) ( b 2 + d 2 ) 4 s A C D 2 = ( 2 a 2 c 2 d 2 − v 2 ) 2 4 s A C D 2 v 2 D O | B C D 2 = | ℝ O 4 | 2 − | ℝ O B C D 3 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − ( a 2 + b 2 ) ( a 2 + d 2 ) ( b 2 + d 2 ) 4 s B C D 2 = ( 2 b 2 c 2 d 2 − v 2 ) 2 4 s B C D 2 v 2 D O | A B 2 = | ℝ O 4 | 2 − | ℝ O A B 2 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 1 2 2 ( a 2 + b 2 ) = ( c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | A C 2 = | ℝ O 4 | 2 − | ℝ O A C 2 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 1 2 2 ( a 2 + c 2 ) = ( b 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | A D 2 = | ℝ O 4 | 2 − | ℝ O A D 2 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 1 2 2 ( a 2 + d 2 ) = ( b 2 + c 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | B C 2 = | ℝ O 4 | 2 − | ℝ O B C 2 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 1 2 2 ( b 2 + c 2 ) = ( a 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | B D 2 = | ℝ O 4 | 2 − | ℝ O B D 2 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 1 2 2 ( b 2 + d 2 ) = ( a 2 + c 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | C D 2 = | ℝ O 4 | 2 − | ℝ O C D 2 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 1 2 2 ( c 2 + d 2 ) = ( a 2 + b 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | A 2 = | ℝ O 4 | 2 − | ℝ O A 1 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 0 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | B 2 = | ℝ O 4 | 2 − | ℝ O B 1 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 0 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | C 2 = | ℝ O 4 | 2 − | ℝ O C 1 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 0 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 D O | D 2 = | ℝ O 4 | 2 − | ℝ O D 1 | 2 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 − 0 = ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 上述4维外接球切四面、6棱、4点形成曲率等价。即： 垂心四面体外心到各面的垂线为各面的外心、到各棱的垂线平分各棱的外心、到各正交球心的各点的外心。它们的间距均4维外接球半径与其任一子集外接球半径的平方差。 根据：所设以及公式(1)、公式(2)计算的结果作(表1)如下：并为方便观察作(图1)。 2.4. 所设一至四维各外心坐标及其半径(见表1)，各坐标位置(见图1) 图1. 1至4维15点外心坐标示意图 Table 1 The square of radius of 15 circumscribed spheres in Pythagorean 4-state and the symbol of circumcenter coordinate 序 子集 坐标符号 分坐标X 分坐标Y 分坐标Z 外接球半径符号 外接球半径平方 1 点 A a 0 0 ℝ O A 1 0 2 点 B 0 b 0 ℝ O B 1 0 3 点 C 0 0 c ℝ O C 1 0 4 点 D bct act abt ℝ O D 1 0 5 线 O AB a 2 b 2 0 ℝ O A B 2 1 2 2 ( a 2 + b 2 ) 6 线 O AC a 2 0 c 2 ℝ O A C 2 1 2 2 ( a 2 + c 2 ) 7 线 O BC b 2 c 2 ℝ O B C 2 1 2 2 ( b 2 + c 2 ) 8 线 O AD a + b c t 2 a c t 2 a b t 2 ℝ O A B 2 1 2 2 ( a 2 + d 2 ) 9 线 O BD b c t 2 b + a c t 2 a b t 2 ℝ O B D 2 1 2 2 ( b 2 + d 2 ) 10 线 O CD b c t 2 a c t 2 c + a b t 2 ℝ O C D 2 1 2 2 ( c 2 + d 2 ) 11 面 O ABC a 3 ( b 2 + c 2 ) 2 s A B C 2 b 3 ( a 2 + c 2 ) 2 s A B C 2 c 3 ( a 2 + b 2 ) 2 s A B C 2 ℝ O A B C 3 ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 12 面 O ABD a b 2 t v + ( a + b c t ) s A B D 2 2 s A B D 2 a 2 b t v + ( b + a c t ) s A B D 2 2 s A B D 2 a b ( a 2 + b 2 ) d 2 t 2 s A B D 2 ℝ O A B D 3 ( a 2 + b 2 ) ( a 2 + d 2 ) ( b 2 + d 2 ) 4 s A B D 2 13 面 O ACD a c 2 t v + ( a + b c t ) s A C D 2 2 s A C D 2 a c ( a 2 + c 2 ) d 2 t 2 s A C D 2 a 2 c t v + ( c + a b t ) s A C D 2 2 s A C D 2 ℝ O A C D 3 ( a 2 + c 2 ) ( a 2 + d 2 ) ( c 2 + d 2 ) 4 s A C D 2 14 面 O BCD b c ( b 2 + c 2 ) d 2 t 2 s B C D 2 b c 2 t v + ( b + a c t ) s B C D 2 2 s B C D 2 b 2 c t v + ( c + a b t ) s B C D 2 2 s B C D 2 ℝ O B C D 3 ( b 2 + c 2 ) ( b 2 + d 2 ) ( c 2 + d 2 ) 4 s B C D 2 15 体 O a v + b c t ( 2 a b c + v ) 2 v b v + a c t ( 2 a b c + v ) 2 v c v + a b t ( 2 a b c + v ) 2 v ℝ O 4 ( a 2 + b 2 + c 2 + d 2 ) v 2 − 4 a 2 b 2 c 2 d 2 4 v 2 表1. 勾股4态15个外接球半径的平方及其外心坐标符号 表内：字母：a， b， c， d为正交四球的4个半径； D坐标在第7象限。 t = − d 2 v + a b c ； v = a 2 b 2 c 2 + a 2 b 2 d 2 + a 2 c 2 d 2 + b 2 c 2 d 2 = 6 V A B C D ； s A B C 2 = a 2 b 2 + a 2 c 2 + b 2 c 2 ； s A B D 2 = a 2 b 2 + a 2 d 2 + b 2 d 2 ； s A C D 2 = a 2 c 2 + a 2 d 2 + c 2 d 2 ； s B C D 2 = b 2 c 2 + b 2 d 2 + c 2 d 2 。 2.5. 图1中含有18组4点所围的4边形：均共面、共圆、对角互补符合托勒密定理 上述18组可分两类其中： 2.5.1. 计算证明维数1 (2、2) 3间连线的为：3组/面 × 4面 = 12组 证明A、B、C、O AB 、O AC 、O BC 、O ABC 七点所围的3组四边形，每组有一对角互补均为90度，另一组对角线等长为3维外心至3顶点为外接球半径。因此用托勒密定理：圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。可得3维外心至3顶点为外接球半径的一组方程为： ( a 2 + c 2 ) ( a 2 + b 2 ) ( b 2 + c 2 ) 4 s A B C 2 = { | A O A B C | = | O A C O A B C | | A O A B | + | O A B O A B C | | A O A C | | O A B O A C | | B O A B C | = | O B C O A B C | | B O A B | + | O A B O A B C | | B O B C | | O A B O B C | | C O A B C | = | O B C O A B C | | C O A C | + | O A C O A B C | | C O B C | | O A C O B C | (4) 同理：其余三面可得其余3维外心至3顶点为外接球半径的三组方程为： ( a 2 + b 2 ) ( a 2 + d 2 ) ( b 2 + d 2 ) 4 s A B D 2 = { | A O A B D | = | O A D O A B D | | A O A B | + | O A B O A B D | | A O A D | | O A B O A D | | B O A B D | = | O B D O A B D | | B O A B | + | O A B O A B D | | B O B D | | O A B O B D | | D O A B D | = | O B D O A B D | | D O A D | + | O A D O A B D | | D O B D | | O A D O B D | (5) ( a 2 + c 2 ) ( a 2 + d 2 ) ( c 2 + d 2 ) 4 s A C D 2 = { | A O A C D | = | O A C O A C D | | A O A D | + | O A D O A C D | | A O A C | | O A D O A C | | C O A C D | = | O C D O A C D | | C O A C | + | O A C O A C D | | C O C D | | O A C O C D | | D O A C D | = | O C D O A C D | | D O A D | + | O A D O A C D | | D O C D | | O A D O C D | (6) ( b 2 + c 2 ) ( b 2 + d 2 ) ( c 2 + d 2 ) 4 s B C D 2 = { | B O B C D | = | O B C O B C D | | B O B D | + | O B D O B C D | | B O B C | | O B D O B C | | C O B C D | = | O C D O B C D | | C O B C | + | O B C O B C D | | C O C D | | O B C O C D | | D O B C D | = | O C D O B C D | | D O B D | + | O B D O B C D | | D O C D | | O B D O C D | (7) 上述右侧：分子内2点间距，均可用公式(3)求得，分母因与重心球等价，其重心间距均可用文 [ 3 ] 的距离公式求得，也可用2点坐标的距离公式计算。(展开略) 上述12组四边形，每组有一对角互补均为90度，4点共面共圆，符合对角互补的托勒密定理： 而其中12个棱角均为已知角，其正弦、余弦的代数值见文 [ 6 ]，其3维外心为顶点的角与对棱角为互补角，即π减对棱角即可。因此3维外心为顶点的对角的正弦等于棱角正弦、其余弦等于负棱角余弦。 所设：12个棱角的正弦、余弦代数值符号所设沿用文 [ 6 ]，它们12个对角均交于4个3维外心，分别所设： 例：A点对平面为1面，以3维外心O BCD 为顶点的3钝角为O 1B 、O 1C 、O 1D 依次与对角B 1 、C 1 、D 1 3棱角互补。 · 交于1面的3个棱角B 1 、C 1 、D 1 依次互补对角为O 1B 、O 1C 、O 1D 它们的正弦、余弦为： 见文 [ 6 ] 已知： B 1 = ∠ C B D ， ⇒ cos B 1 = b 2 | B C | | B D | ， ⇒ sin B 1 = s 1 | B C | | B D | ； 其互补对角： O 1 B = ∠ O B C O B C D O B D = π − B 1 ⇒ cos O 1 B = cos ( π − B 1 ) = − cos B 1 = − b 2 | B C | | B D | ， ⇒ sin O 1 B = sin ( π − B 1 ) = sin B 1 = s 1 | B C | | B D | ； 见文 [ 6 ] 已知： C 1 = ∠ B C D ， ⇒ cos C 1 = c 2 | B C | | C D | ， ⇒ sin C 1 = s 1 | B C | | C D | ； 其互补对角： O 1 C = ∠ O B C O B C D O C D = π − C 1 ⇒ cos O 1 C = cos ( π − C 1 ) = − cos C 1 = − c 2 | B C | | C D | ， ⇒ sin O 1 C = sin ( π − C 1 ) = sin C 1 = s 1 | B C | | C D | ； 见文 [ 6 ] 已知： D 1 = ∠ B D C ， ⇒ cos D 1 = d 2 | B D | | C D | ， ⇒ sin D 1 = s 1 | B D | | C D | ； 其互补对角： O 1 D = ∠ O B D O B C D O C D = π − D 1 ⇒ cos O 1 D = cos ( π − D 1 ) = − cos D 1 = − d 2 | B D | | C D | ， ⇒ sin O 1 D = sin ( π − D 1 ) = sin D 1 = s 1 | B D | | C D | ； 同理：根据其它3面如下9个棱角的正弦和余弦，可方便得出其棱角的互补对角的正弦和余弦。 · 交于2面的3个棱角及其互补对角的正弦、余弦为： 见文 [ 6 ] 已知： A 2 = ∠ C A D ， ⇒ cos A 2 = a 2 | A C | | A D | ， ⇒ sin A 2 = s 2 | A C | | A D | ； 其互补对角： O 2 A = ∠ O A C O A C D O A D = π − A 2 ⇒ cos O 2 A = − cos A 2 = − a 2 | A C | | A D | ， ⇒ sin O 2 A = sin A 2 = s 2 | A C | | A D | ； 见文 [ 6 ] 已知： C 2 = ∠ A C D ， ⇒ cos C 2 = c 2 | A C | | C D | ， ⇒ sin C 2 = s 2 | A C | | C D | ； 其互补对角： O 2 C = ∠ O A C O A C D O C D = π − C 2 ⇒ cos O 2 C = − cos C 2 = − c 2 | A C | | C D | ， ⇒ sin O 2 C = sin C 2 = s 2 | A C | | C D | ； 见文 [ 6 ] 已知： D 2 = ∠ A D C ， ⇒ cos D 2 = d 2 | A D | | C D | ， ⇒ sin D 2 = s 2 | A D | | C D | ； 其互补对角： O 2 D = ∠ O A D O A C D O C D = π − D 2 ⇒ cos O 2 D = − cos D 2 = − d 2 | A D | | C D | ， ⇒ sin O 2 D = sin D 2 = s 2 | A D | | C D | ； · 交于3面的3个棱角及其互补对角的正弦、余弦为： 见文 [ 6 ] 已知： A 3 = ∠ B A D ， ⇒ cos A 3 = a 2 | A B | | A D | ， ⇒ sin A 3 = s 3 | A B | | A D | ； 其互补对角： O 3 A = ∠ O A D O A B D O B D = π − A 3 ⇒ cos O 3 A = − cos A 3 = − a 2 | A B | | A D | ， ⇒ sin O 3 A = sin A 3 = s 3 | A B | | A D | ； 见文 [ 6 ] 已知： B 3 = ∠ A B D ， ⇒ cos B 3 = b 2 | A B | | B D | ， ⇒ sin B 3 = s 3 | A B | | B D | ； 其互补对角： O 3 B = ∠ O A B O A B D O B D = π − B 3 ⇒ cos O 3 B = − cos B 3 = − b 2 | A B | | B D | ， ⇒ sin O 3 B = sin B 3 = s 3 | A B | | B D | ； 见文 [ 6 ] 已知： D 3 = ∠ A D B ， ⇒ cos D 3 = d 2 | A D | | B D | ， ⇒ sin D 3 = s 3 | A D | | B D | ； 其互补对角： O 3 D = ∠ O A D O A B D O B D = π − D 3 ⇒ cos O 3 D = − cos D 3 = − d 2 | A D | | B D | ， ⇒ sin O 3 D = sin D 3 = s 3 | A D | | B D | ； · 交于4面的3个棱角及其互补对角的正弦、余弦为： 见文 [ 6 ] 已知： A 4 = ∠ B A C ； ⇒ cos A 4 = a 2 | A B | | A C | ， ⇒ sin A 4 = s 4 | A B | | A C | ； 其互补对角： O 4 A = ∠ O A B O A B C O A C = π − A 4 ⇒ cos O 4 A = − cos A 4 = − a 2 | A B | | A C | ， ⇒ sin O 4 A = sin A 4 = s 4 | A B | | A C | ； 见文 [ 6 ] 已知： B 4 = ∠ A B C ； ⇒ cos B 4 = b 2 | A B | | B C | ， ⇒ sin B 4 = s 4 | A B | | B C | ； 其互补对角： O 4 B = ∠ O A B O A B C O B C = π − B 4 ⇒ cos O 4 B = − cos B 4 = − b 2 | A B | | B C | ， ⇒ sin O 4 B = sin B 4 = s 4 | A B | | B C | ； 见文 [ 6 ] 已知： C 4 = ∠ A C B ； ⇒ cos C 4 = c 2 | A C | | C B | ， ⇒ sin C 4 = s 4 | A C | | C B | ； 其互补对角： O 4 C = ∠ O A C O A B C O B C = π − C 4 ⇒ cos O 4 C = − cos C 4 = − c 2 | A C | | C B | ， ⇒ sin O 4 C = sin C 4 = s 4 | A C | | C B | ； 2.5.2. 计算证明维数2 (3、3) 4间连线的为：1组/棱 × 6棱 = 6组 证明：AB棱中点垂直的O AB 、O ABC 、O ABD 、O四点所围四边形，且4点共面共圆，其中以3维外心为顶点的对角均为90度，用托勒密定理：圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积，可得一组方程组： | O O A B | | O A B C O A B D | = | O A B O A B D | | O O A B C | + | O A B O A B C | | O O A B D | (8) 同理可得其它5组托勒密定理的方程组： | O O A C | | O A B C O A C D | = | O A C O A B C | | O O A C D | + | O A C O A C D | | O O A B C | | O O A D | | O A B D O A C D | = | O A D O A B D | | O O A C D | + | O A D O A C D | | O O A B D | | O O B C | | O A B C O B C D | = | O B C O A B C | | O O B C D | + | O B C O B C D | | O O A B C | | O O B D | | O A B D O B C D | = | O B D O A B D | | O O B C D | + | O B D O B C D | | O O A B D | | O O C D | | O A C D O B C D | = | O C D O A C D | | O O B C D | + | O C D O B C D | | O O A C D | 上述右侧3维外心2点的距离需用坐标距离公式计算外，其余均可用公式(3)求得。(展开略) 通过公式(3)也证明了4维外心O与4个面的垂线为4面的3维外心O ABC 、O ABD 、O ACD 、O BCD ，因此上式6组四边形在以3维外心为顶点的对角均为90度，符合托勒密定理。 另一组互补对角，交于2维外心与3维外心连线的夹角与垂心四面体的两面角等价，它们的正弦、余弦的代数值均已知见文 [ 6 ]，它们交于CD、BD、BC、AD、AC、AB六棱的6个面角符号为 α 12 、 α 13 、 α 14 、 α 23 、 α 24 、 α 34 ，与顶点交于4维外心O与3维外心垂直连线的6个互补对角依次符号为：O 12 、O 13 、O 14 、O 23 、O 24 、O 34 。因此，互补对角的正弦与面角相同，互补对角的余弦为面角余弦的负值。证明如下： · 根据已知垂直交于CD棱的面角，解顶点位于O外心的互补对角的正弦、余弦代数值为： 证明：O、O ACD 、O BCD 、O CD 4点共面：利用平面方程即： 0 = | x − x 1 y − y 1 z − z 1 x 2 − x 1 y 2 − y 1 z 2 − z 1 x 3 − x 1 y 3 − y 1 z 3 − z 1 | = | x O − x O C D y O − y O C D z O − z O C D x O A C D − x O C D y O A C D − y O C D z O A C D − z O C D x O B C D − x O C D y O B C D − y O C D z O B C D − z O C D | ⇒ 代 入 坐 标 = | a v + b c t ( 2 a b c + v ) 2 v − b c t 2 b v + a c t ( 2 a b c + v ) 2 v − a c t 2 c v + a b t ( 2 a b c + v ) 2 v − c + a b t 2 a c 2 t v + ( a + b c t ) s A C D 2 2 s A C D 2 − b c t 2 a c ( a 2 + c 2 ) d 2 t 2 s A C D 2 − a c t 2 a 2 c t v + ( c + a b t ) s A C D 2 2 s A C D 2 − c + a b t 2 b c ( b 2 + c 2 ) d 2 t 2 s B C D 2 − b c t 2 b c 2 t v + ( b + a c t ) s B C D 2 2 s B C D 2 − a c t 2 b 2 c t v + ( c + a b t ) s B C D 2 2 s B C D 2 − c + a b t 2 | = a 3 b 3 c d 2 ( c 2 + d 2 ) ( v 2 − v 2 ) 4 v s A C D 2 s B C D 2 ( a b c + v ) = 0 (同理可证其余5组与棱垂直的4点共面。) 见文 [ 6 ] 已知： α 12 = ∠ A H C D B = ∠ O A C D O C D O B C D ， ⇒ cos α 12 = c 2 d 2 s 1 s 2 ， ⇒ sin α 12 = | C D | v s 1 s 2 ， 其互补对角： O 12 = ∠ O A C D O O B C D = π − α 12 ⇒ cos O 12 = cos ( π − α 12 ) = − cos α 12 = − c 2 d 2 s 1 s 2 ； ⇒ sin O 12 = sin ( π − α 12 ) = sin α 12 = | C D | v s 1 s 2 · 根据已知垂直交于BD棱的面角，解顶点位于O外心的互补对角的正弦、余弦代数值为： 见文 [ 6 ] 已知： α 13 = ∠ A H B D C = ∠ O A B D O B D O B C D ， ⇒ cos α 13 = b 2 d 2 s 1 s 3 ， ⇒ sin α 13 = | B D | v s 1 s 3 ； 其互补对角： O 13 = ∠ O A B D O O B C D = π − α 13 ⇒ cos O 13 = cos ( π − α 13 ) = − cos α 13 = − b 2 d 2 s 1 s 3 ； ⇒ sin O 13 = sin ( π − α 13 ) = sin α 13 = | B D | v s 1 s 3 · 根据已知垂直交于BC棱的面角，解顶点位于O外心的互补对角的正弦、余弦代数值为： 见文 [ 6 ] 已知： α 14 = ∠ A H B C D = ∠ O A B C O B C O B C D ， ⇒ cos α 14 = b 2 c 2 s 1 s 4 ， ⇒ sin α 14 = | B C | v s 1 s 4 ； 其互补对角： O 14 = ∠ O A B C O O B C D = π − α 14 ⇒ cos O 14 = cos ( π − α 14 ) = − cos α 14 = − b 2 c 2 s 1 s 4 ； ⇒ sin O 14 = sin ( π − α 14 ) = sin α 14 = | B C | v s 1 s 4 · 根据已知垂直交于AD棱的面角，解顶点位于O外心的互补对角的正弦、余弦代数值为： 见文 [ 6 ] 已知： α 23 = ∠ B H A D C = ∠ O A B D O A D O A C D ， ⇒ cos α 23 = a 2 d 2 s 2 s 3 ， ⇒ sin α 23 = | A D | v s 2 s 3 ； 其互补对角： O 23 = ∠ O A B D O O A C D = π − α 23 ⇒ cos O 23 = cos ( π − α 23 ) = − cos α 23 = − a 2 d 2 s 2 s 3 ； ⇒ sin O 23 = sin ( π − α 23 ) = sin α 23 = | A D | v s 2 s 3 · 根据已知垂直交于AC棱的面角，解顶点位于O外心的互补对角的正弦、余弦代数值为： 见文 [ 6 ] 已知： α 24 = ∠ B H A C D = ∠ O A B C O A C O A C D ， ⇒ cos α 24 = a 2 c 2 s 2 s 4 ， ⇒ sin α 24 = | A C | v s 2 s 4 ； 其互补对角： O 24 = ∠ O A B C O O A C D = π − α 24 ⇒ cos O 24 = cos ( π − α 24 ) = − cos α 24 = − a 2 c 2 s 2 s 4 ； ⇒ sin O 24 = sin ( π − α 24 ) = sin α 24 = | A C | v s 2 s 4 · 根据已知垂直交于AB棱的面角，解顶点位于O外心的互补对角的正弦、余弦代数值为： 见文 [ 6 ] 已知： α 34 = ∠ C H A B D = ∠ O A B C O A B O A B D ， ⇒ cos α 34 = a 2 b 2 s 3 s 4 ， ⇒ sin α 34 = | A B | v s 3 s 4 ； 其互补对角： O 34 = ∠ O A B C O O A B D = π − α 34 ⇒ cos O 34 = cos ( π − α 34 ) = − cos α 34 = − a 2 b 2 s 3 s 4 ； ⇒ sin O 34 = sin ( π − α 34 ) = sin α 34 = | A B | v s 3 s 4