两个平行平面A和B,三角形DEF、D'E'F'分别在A和B内,DD'、EE'、FF'共点于O 　　三角形DEO和三角形D'E'O中DE||DE,DEO=D'E'O,EDO=E'D'O,两三角形相似DE/D'E'=OE/OE'=OF/OF' 　　同理FE/F'E'=OE/OE' 　　DF/D'F'=OF/OF'=OE/OE' 　　三角形DEF、D'E'F'中,DE/D'E'=EF/E'F'=DF/D'F' 　　cosDEF=(DE^2+EF^2-DF^2)/(2DEEF) 　　cosD'E'F'=(D'E'^2+E'F'^2-D'F'^2)/(2D'E'E'F') 　　cosDEF=cosD'E'F' 　　角DEF=角D'E'F' 　　同理角EFD=角E'F'D' 　　三角形DEF和D'E'F'相似