轴测投影基本定理的计算理论和方法
摘要：波克-许华尔兹定理是轴测投影的基本定理。本文研究了轴测投影基本定理的计算问题，给出了从投影图形计算空间四面体位置及运动参数的计算方法和公式；同时给出了从空间四面体计算投影图形位置及运动参数的计算方法和公式，据此建立了新的、含有定量关系的轴测投影基本定理。
关键词：四面体；投影变换；旋转
中图分类号：th126
on the calculation of fundamental
theorem of axonometric projection
chu jun zhang guimei
（dept.of applied engineering, nanchang insititute of aeronautical technology）
abstract:some researches concerning the calculation of fundamental theorem of axonometric projection have done in this paper.
the method for calculating the location and motion parameter of tetrahedron based on its projection as well as the method for calculating the location and motion parameter of the projection figure according to the tetrahedron have been offered.based on such calculations and methods,a new fundamental theorem of axonmetric projection containing quantitative relation has been established.
key words:tetrahedron,projective transformations,spining
前言
波克-许华尔兹定理是轴测投影的基本定理，无论对轴测投影理论，还是对轴测投影理论的应用，该定理都有重要的意义。
波克-许华尔兹定理为（简称，波-许定理①）：
任何一个非蜕化的*四点形，都可以看作是一个形状已定的四面体的轴测投影。
所谓*四点形是指由四个一般位置的点（顶点）及六条顶点连线所构成的图形。四个顶点都不在同一直线上的四点形称为非蜕化四点形。
叶玉驹等著的《高等画法几何学》中将波克-许华尔兹定理叙述为（简称波-许定理②）：
任何一个四面体都可以轴测投影为一个形状已定的非蜕化四点形。
上述两种说法的区别是，前一种是将四面体作相似变换，而后一种是将非蜕化四点形作相似变换，文献［1］事实上证明的是后者，再根据相似变换原理推论出前者。
从定性角度看，上述两种说法并没有本质的区别，但从定量角度看，上述两种说法并不一致。事实上，波克-许华尔兹定理只涉及到定性的一面，没有涉及定量这一方面。研究轴测投影基本定理定量问题即其计算理论是本文研究的问题。
轴测投影基本定理的计算理论将为计算机理解轴测投影图提供zui基本的理论依据。在机器人视觉、几何造型、计算机动画制作等方面有重要的应用价值。
1 本文研究的问题
本文研究的主要问题有两个，一个为波-许定理①的计算理论，另一个为波-许定理②的计算理论。
几何模型图
波-许定理①的计算问题为：将四面体abcd（上图）作空间刚体运动变换和相似变换，使其到达位置a′b′c′d′，并使四面体a′b′c′d′在某投影方向下的轴测投影为*四点形abcd。具体计算问题为：已知四面体abcd和*四点形abcd，求刚体运动参数和相似变换系数。
波-许定理②的计算问题为：将*四点形abcd作空间刚体运动变换和相似变换，使其达到位置a′b′c′d′，并使四面体abcd在某投影方向下的轴测投影为*四点形a′b′c′d′。具体计算问题为：已知四面体abcd和*四点形abcd，求刚体运动参数和相似变换系数。
空间刚体运动一般可分解为旋转运动和平移运动。对轴测投影来说，刚体平移运动参数并不能*确定，附加其它约束后，平移运动参数比较容易获得，为此本文重点研究刚体旋转运动参数的计算问题。设刚体旋转运动的变换矩阵为：
若求出矩阵r，则可方便地求得各分解方式下的刚体旋转运动参数。
基于上述考虑，不妨设
a（0，0，0），b（x1，0，0），c（x2，y2，0），d（x3，y3，z3）
a（0,0,0）,b（x1,0,0）,c（x2,y2,0）,d（x3,y3,0）
且相似变换系数为k。
2 波-许定理计算理论和方法
2.1 波-许定理①
在这种情况下，*四点形abcd不动，因此投影方向不能平行于abcd所在的平面，即平面z=0，故可设投影方向为v（l,m,1）。
四面体abcd在空间旋转运动r和相似变换作用下到达位置a′b′c′d′。此时点b′，c′，d′应分别位于过点b,c,d且平行于投影方向v的直线上，据此可得：
kx1r11-x1=kx1lr31
r21=mr31
k（x2r11+y2r12）-x2=kl（x2r31+y2r32）
k（x2r21+y2r22）-y2=km（x2r31+y2r32）
k（x3r11+y3r12+z3r13）-x3=kl（x3r31+y3r32+z3r33）
k（x3r21+y3r22+z3r13）-y3=km（x3r31+y3r32+z3r33）
整理上述式子可得：
k（r11-lr31）=a1（3-1）
r21-mr31=0（3-2）
k（r12-lr32）=a2（3-3）
k（r22-mr32）=a3（3-4）
k（r13-lr33）=a4（3-5）
k（r23-mr33）=a5（3-6）
其中
利用式（3-1）（3-3）（3-5）可得：
k（1+l2）=a12+a22+a42（3-8）
利用式（3-2）（3-4）（3-6）可得：
k2（1+m2）=a32+a52（3-9）
利用式（3-1～6）可得：
k2lm=a2a3+a4a5（3-10）
从式（3-8～10）可求得：
（3-11）
其中
b1=a2a3+a4a5
b2=a12+a22+a42
b3=a32+a52 （3-12）
从而可求得：
（3-13）
求得相似变换系数k和投影方向v（l,m,1）后，利用式（3-1）（3-2）及r112+r212+r312=1即可求得旋转矩阵r中的元素（r11,r21,r31）,再利用（3-3～6）及
即可求出旋转矩阵r中的其它元素，从而可求出四面体a′b′c′d′的位置。
从上可以看出，相似变换系数k有两解，其值相等，符号相反。投影方向v（l,m,1）也有两解，这两解关于投影平面（即abcd所在的平面）对称，从而可以看出旋转矩阵r将有八解。即四面体a′b′c′d′的位置将有八个位置。
基于上述分析和求解，从定性和定量两方面考虑，波-许定理①应补充为：
任何一个非蜕化的*四点形，都可以看作是一个形状已定的四面体的投影。相似变换系数有两解，其值相等符号相反；投影方向也有两解，这两解对称于投影平面；变换后的四面体有八个位置。
2.2 波许定理②
设投影方向为v（l,m,n,）。
在这种情况下，*四点形a′b′c′d′的六条也是四面体abcd各棱边的轴测投影。因此，应用两个字母来表示两条对角边的交点（如对角边a′d′和b′c′的交点为e′（f′），e′的对应点e属于棱边ad，f′的对应点f属于bc，由于三点的简比在轴测投影及空间刚体运动和相似变换下是不变的，故可以根据下列条件求得从e（f）求得四面体abcd上棱边ad和bc上相对应的点e和f。
（aed）=a′e′d′）=（aed）
（bfc）=（b′f′c′）=（bfc）
设e（x4,y4,z4）,f（x5,y5,z5）,则投影方向v：
（4-1）
依据点b′,c′,d′,应分别位于过点b，c，d，且平行于投影方向v的直线上，可得
klx1r31-knx1r11+nx1=0
kmx1r31-knx1r21=0
klx2y31+knx2r11-kny2r12+nx2=0
kmx2r31+kly2r32-knx2r21-kny2r22+ny2=0
klx3r31+kly3r32-knx3r11-kny3r12+nx3-lz3=0
kmx3r31+kmy3r32-knx3r21-kny3r22+ny3-mz3=0
经整理可得：
（4-2）
其中
a1=lx1a2=mx1a3=lx2a4=mx2a5=lx3
a6=mx3a7=ly2a8=my2a9=ly3a10=my3
b1=nx1b2=nx2b3=nx3b4=ny2b5=ny3
c1=nx1c2=nx2c3=ny2c4=nx3-lz3c5=ny3-mz3
在式（4-2）中，若将kr11,kr12,kr21,kr22,kr31,kr32看作未知数，则利用式（4-2）可*确定上述未知数值。利用旋转矩阵r的正交性质，则可得
（4-3）
从而可求得旋转矩阵r中的元素（r11,r21,r31,r12,r22,r32）。再利用
（4-4）
可求得旋转矩阵r中的其它三个元素。
从上可以看出，投影方向v（l,m,n）仅有一解，而相似变换系数k有两解，其值相等符号相反，从而旋转矩阵r也有两解，即*四点形a′b′c′d′有两个位置。
基于上述分析和求解，从定性和定量两方面考虑，波-许定理②应补充为：任何一个四面体都有可以轴测投影为一个形状已定的非蜕化四点形。投影方向仅有一解，相似变换系数有两解，其值相等符号相反；变换后的*四点形有两个位置。
3 结束语
本文研究了轴测投影基本定理的计算问题，给出了波-许定理①和定理②的计算理论和计算公式，据此建立了含有定量关系的轴测投影基本定理。指出从定性的角度看，波-许定理①定理②并无本质的区别，但从定量的角度看，这两个定理存在着明显的差别，即波-许定理①有八个解而波-许定理②仅有两个解。
本文的研究是对轴测投影理论的补充，同时也有一定的应用价值。如应用于从轴测图构造物体的三维信息将会为物体的几何造型计算机动画的制作提供理论依据和方法。
不锈钢滤芯的使用寿命怎么样？
复合二氧化氯发生器技术参数
关于冷冻干燥机的三大注意事项
在线pH仪P532
阻燃性能测试仪技术参数
轴测投影基本定理的计算理论和方法
盐雾试验箱使用与操作方法
旋塞阀的安装注意事项
初效、中效、高效空气过滤器的工作原理
选择磁力钻须看钻孔数量和精度
26孔鸡蛋肉汉堡在新疆博乐有卖吗？什么价位呢？
专业的橡塑保温板厂家
500立方米/天生活污水处理设备装置
建筑工地洗车台报价/洗轮机环保设备
原油含水低温制冷循环冷却器 使用说明书
滚板式铝塑泡罩包装机的故障分析
XK3190-C8电子控制仪表，可控制性电子秤，带电流信号输出电子台秤，带电流性号输出电子台称
ZR-KFFRP高温电缆有这四个显著特征
有效提高钢制拖链工作效率的三大注意事项
化工车间再生铝废气净化特点
关键词：四面体；投影变换；旋转
中图分类号：th126
on the calculation of fundamental
theorem of axonometric projection
chu jun zhang guimei
（dept.of applied engineering, nanchang insititute of aeronautical technology）
abstract:some researches concerning the calculation of fundamental theorem of axonometric projection have done in this paper.
the method for calculating the location and motion parameter of tetrahedron based on its projection as well as the method for calculating the location and motion parameter of the projection figure according to the tetrahedron have been offered.based on such calculations and methods,a new fundamental theorem of axonmetric projection containing quantitative relation has been established.
key words:tetrahedron,projective transformations,spining
前言
波克-许华尔兹定理是轴测投影的基本定理，无论对轴测投影理论，还是对轴测投影理论的应用，该定理都有重要的意义。
波克-许华尔兹定理为（简称，波-许定理①）：
任何一个非蜕化的*四点形，都可以看作是一个形状已定的四面体的轴测投影。
所谓*四点形是指由四个一般位置的点（顶点）及六条顶点连线所构成的图形。四个顶点都不在同一直线上的四点形称为非蜕化四点形。
叶玉驹等著的《高等画法几何学》中将波克-许华尔兹定理叙述为（简称波-许定理②）：
任何一个四面体都可以轴测投影为一个形状已定的非蜕化四点形。
上述两种说法的区别是，前一种是将四面体作相似变换，而后一种是将非蜕化四点形作相似变换，文献［1］事实上证明的是后者，再根据相似变换原理推论出前者。
从定性角度看，上述两种说法并没有本质的区别，但从定量角度看，上述两种说法并不一致。事实上，波克-许华尔兹定理只涉及到定性的一面，没有涉及定量这一方面。研究轴测投影基本定理定量问题即其计算理论是本文研究的问题。
轴测投影基本定理的计算理论将为计算机理解轴测投影图提供zui基本的理论依据。在机器人视觉、几何造型、计算机动画制作等方面有重要的应用价值。
1 本文研究的问题
本文研究的主要问题有两个，一个为波-许定理①的计算理论，另一个为波-许定理②的计算理论。
几何模型图
波-许定理①的计算问题为：将四面体abcd（上图）作空间刚体运动变换和相似变换，使其到达位置a′b′c′d′，并使四面体a′b′c′d′在某投影方向下的轴测投影为*四点形abcd。具体计算问题为：已知四面体abcd和*四点形abcd，求刚体运动参数和相似变换系数。
波-许定理②的计算问题为：将*四点形abcd作空间刚体运动变换和相似变换，使其达到位置a′b′c′d′，并使四面体abcd在某投影方向下的轴测投影为*四点形a′b′c′d′。具体计算问题为：已知四面体abcd和*四点形abcd，求刚体运动参数和相似变换系数。
空间刚体运动一般可分解为旋转运动和平移运动。对轴测投影来说，刚体平移运动参数并不能*确定，附加其它约束后，平移运动参数比较容易获得，为此本文重点研究刚体旋转运动参数的计算问题。设刚体旋转运动的变换矩阵为：
若求出矩阵r，则可方便地求得各分解方式下的刚体旋转运动参数。
基于上述考虑，不妨设
a（0，0，0），b（x1，0，0），c（x2，y2，0），d（x3，y3，z3）
a（0,0,0）,b（x1,0,0）,c（x2,y2,0）,d（x3,y3,0）
且相似变换系数为k。
2 波-许定理计算理论和方法
2.1 波-许定理①
在这种情况下，*四点形abcd不动，因此投影方向不能平行于abcd所在的平面，即平面z=0，故可设投影方向为v（l,m,1）。
四面体abcd在空间旋转运动r和相似变换作用下到达位置a′b′c′d′。此时点b′，c′，d′应分别位于过点b,c,d且平行于投影方向v的直线上，据此可得：
kx1r11-x1=kx1lr31
r21=mr31
k（x2r11+y2r12）-x2=kl（x2r31+y2r32）
k（x2r21+y2r22）-y2=km（x2r31+y2r32）
k（x3r11+y3r12+z3r13）-x3=kl（x3r31+y3r32+z3r33）
k（x3r21+y3r22+z3r13）-y3=km（x3r31+y3r32+z3r33）
整理上述式子可得：
k（r11-lr31）=a1（3-1）
r21-mr31=0（3-2）
k（r12-lr32）=a2（3-3）
k（r22-mr32）=a3（3-4）
k（r13-lr33）=a4（3-5）
k（r23-mr33）=a5（3-6）
其中
利用式（3-1）（3-3）（3-5）可得：
k（1+l2）=a12+a22+a42（3-8）
利用式（3-2）（3-4）（3-6）可得：
k2（1+m2）=a32+a52（3-9）
利用式（3-1～6）可得：
k2lm=a2a3+a4a5（3-10）
从式（3-8～10）可求得：
（3-11）
其中
b1=a2a3+a4a5
b2=a12+a22+a42
b3=a32+a52 （3-12）
从而可求得：
（3-13）
求得相似变换系数k和投影方向v（l,m,1）后，利用式（3-1）（3-2）及r112+r212+r312=1即可求得旋转矩阵r中的元素（r11,r21,r31）,再利用（3-3～6）及
即可求出旋转矩阵r中的其它元素，从而可求出四面体a′b′c′d′的位置。
从上可以看出，相似变换系数k有两解，其值相等，符号相反。投影方向v（l,m,1）也有两解，这两解关于投影平面（即abcd所在的平面）对称，从而可以看出旋转矩阵r将有八解。即四面体a′b′c′d′的位置将有八个位置。
基于上述分析和求解，从定性和定量两方面考虑，波-许定理①应补充为：
任何一个非蜕化的*四点形，都可以看作是一个形状已定的四面体的投影。相似变换系数有两解，其值相等符号相反；投影方向也有两解，这两解对称于投影平面；变换后的四面体有八个位置。
2.2 波许定理②
设投影方向为v（l,m,n,）。
在这种情况下，*四点形a′b′c′d′的六条也是四面体abcd各棱边的轴测投影。因此，应用两个字母来表示两条对角边的交点（如对角边a′d′和b′c′的交点为e′（f′），e′的对应点e属于棱边ad，f′的对应点f属于bc，由于三点的简比在轴测投影及空间刚体运动和相似变换下是不变的，故可以根据下列条件求得从e（f）求得四面体abcd上棱边ad和bc上相对应的点e和f。
（aed）=a′e′d′）=（aed）
（bfc）=（b′f′c′）=（bfc）
设e（x4,y4,z4）,f（x5,y5,z5）,则投影方向v：
（4-1）
依据点b′,c′,d′,应分别位于过点b，c，d，且平行于投影方向v的直线上，可得
klx1r31-knx1r11+nx1=0
kmx1r31-knx1r21=0
klx2y31+knx2r11-kny2r12+nx2=0
kmx2r31+kly2r32-knx2r21-kny2r22+ny2=0
klx3r31+kly3r32-knx3r11-kny3r12+nx3-lz3=0
kmx3r31+kmy3r32-knx3r21-kny3r22+ny3-mz3=0
经整理可得：
（4-2）
其中
a1=lx1a2=mx1a3=lx2a4=mx2a5=lx3
a6=mx3a7=ly2a8=my2a9=ly3a10=my3
b1=nx1b2=nx2b3=nx3b4=ny2b5=ny3
c1=nx1c2=nx2c3=ny2c4=nx3-lz3c5=ny3-mz3
在式（4-2）中，若将kr11,kr12,kr21,kr22,kr31,kr32看作未知数，则利用式（4-2）可*确定上述未知数值。利用旋转矩阵r的正交性质，则可得
（4-3）
从而可求得旋转矩阵r中的元素（r11,r21,r31,r12,r22,r32）。再利用
（4-4）
可求得旋转矩阵r中的其它三个元素。
从上可以看出，投影方向v（l,m,n）仅有一解，而相似变换系数k有两解，其值相等符号相反，从而旋转矩阵r也有两解，即*四点形a′b′c′d′有两个位置。
基于上述分析和求解，从定性和定量两方面考虑，波-许定理②应补充为：任何一个四面体都有可以轴测投影为一个形状已定的非蜕化四点形。投影方向仅有一解，相似变换系数有两解，其值相等符号相反；变换后的*四点形有两个位置。
3 结束语
本文研究了轴测投影基本定理的计算问题，给出了波-许定理①和定理②的计算理论和计算公式，据此建立了含有定量关系的轴测投影基本定理。指出从定性的角度看，波-许定理①定理②并无本质的区别，但从定量的角度看，这两个定理存在着明显的差别，即波-许定理①有八个解而波-许定理②仅有两个解。
本文的研究是对轴测投影理论的补充，同时也有一定的应用价值。如应用于从轴测图构造物体的三维信息将会为物体的几何造型计算机动画的制作提供理论依据和方法。
不锈钢滤芯的使用寿命怎么样？
复合二氧化氯发生器技术参数
关于冷冻干燥机的三大注意事项
在线pH仪P532
阻燃性能测试仪技术参数
轴测投影基本定理的计算理论和方法
盐雾试验箱使用与操作方法
旋塞阀的安装注意事项
初效、中效、高效空气过滤器的工作原理
选择磁力钻须看钻孔数量和精度
26孔鸡蛋肉汉堡在新疆博乐有卖吗？什么价位呢？
专业的橡塑保温板厂家
500立方米/天生活污水处理设备装置
建筑工地洗车台报价/洗轮机环保设备
原油含水低温制冷循环冷却器 使用说明书
滚板式铝塑泡罩包装机的故障分析
XK3190-C8电子控制仪表，可控制性电子秤，带电流信号输出电子台秤，带电流性号输出电子台称
ZR-KFFRP高温电缆有这四个显著特征
有效提高钢制拖链工作效率的三大注意事项
化工车间再生铝废气净化特点