http://p.pita.st/?m=kd5oz0k8

この図で
AB↑⊥AD↑⊥n↑(n↑は単位ベクトル)
のとき底面ABCD*|n↑・AE↑|で体積が出せるのは何かの公式ですか?