梯形蝴蝶定理(Butterfly Theorem)是数学中的一个定理，它与向量和张量有关。该定理是由德国数学家Ernst Eduard Kühner在1906年首次提出的。
梯形蝴蝶定理描述了两个向量的内积之间的关系。具体来说，如果有两个三维向量a和b,它们的长度分别为l1和l2,夹角为θ，则有：
<a,b> = ∫∫∫ a(x,y,z) b(u,v,w) dxdydw
其中，<a,b>表示向量a和b的内积，x、y、z和u、v、w是坐标轴上的单位向量。这个式子可以用来计算任意两个三维向量的内积。
梯形蝴蝶定理也可以推广到更高维的情况。例如，对于四维向量a和b,它们的长度分别为l1、l2、l3和l4,夹角为θ，则有：
<a,b> = ∫∫∫∫ a(x_1,y_1,z_1,t_1) b(x_2,y_2,z_2,t_2) dx_{11}dy_{11}dz_{11}dlt_{11} + ∫∫∫∫ a(x_1,y_1,z_1,t_1) b(x_2,y_2,z_2,t_2) dx_{12}dy_{12}dz_{12}du_{12}dv_{12}dw_{12} + ... + ∫∫∫∫ a(x_1,y_1,z_1,t_1) b(x_2,y_2,z_2,t_2) dx_{22}dy_{22}dz_{22}du_{22}dv_{22}dw_{22}
其中，dx、dy、dz和du、dv、dw是坐标轴上的单位向量。这个式子可以用来计算任意两个四维向量的内积。
