Aを原点とし、u=AB, v=AD, w=AE とおく。直方体なので、これらは互いに垂直である。a=AB, b=AD, c=AE とすれば、頂点の位置ベクトルは AC=u+v,AF=u+w,AH=v+w,AG=u+v+w.
(1) 線分 CE 上の点 X を AX=(1−t)(u+v)+tw(0≦t≦1) と表す。一方、三角形 AFH 上の点は AX=λ(u+w)+μ(v+w),λ,μ≧0,λ+μ≦1 と表せる。係数を比較すると λ=1−t,μ=1−t,t=λ+μ であるから、t=32、λ=μ=31 となる。これは三角形内の点の条件も満たし、 AJ=31(AF+AH). したがって、J は三角形 AFH の3頂点 A,F,H の位置ベクトルの平均に一致し、その重心である。
(2) 線分 CE 上の点を同様に AX=(1−t)(u+v)+tw とおく。三角形 BDG 上の点は AX=λu+μv+ν(u+v+w),λ,μ,ν≧0,λ+μ+ν=1 と表せる。係数比較から λ+ν=1−t,μ+ν=1−t,ν=t なので、λ=μ=1−2t。さらに λ+μ+ν=1 より 2−3t=1、すなわち t=31 である。このとき λ=μ=ν=31 だから AK=31(AB+AD+AG)=31(2u+2v+w).
j=AJ=31(u+v+2w)、k=AK=31(2u+2v+w)、s=AC=u+v とし、T=a2+b2 とおく。u,v,w の直交性から ∣j∣2j⋅kw⋅j=9T+4c2,∣k∣2=94T+c2,=92(T+c2),∣w∣2=c2,=32c2,∣s∣2=T,s⋅k=32T. 2つのベクトル x,y を辺とする三角形の面積は、内積と sin2θ+cos2θ=1 から 21∣x∣2∣y∣2−(x⋅y)2 と表せる。これを各三角形に適用すると Area(△AEJ)Area(△AJK)Area(△ACK)=21c29T+4c2−(32c2)2=6cT,=2181(T+4c2)(4T+c2)−4(T+c2)2=6cT,=21T94T+c2−(32T)2=6cT. ここで (T+4c2)(4T+c2)−4(T+c2)2=9Tc2 を用いた。また、c=AE、T=AC である。よって Area(△AEJ)=Area(△AJK)=Area(△ACK)=6AE⋅AC.