Chứng minh A'C vuông góc (BC'D)

Ta có: A'C→ = (1; 1; -1)

BC'→ = (0; 1; 1)

BD→ = B'D'→ = (-1; 1; 0)

do đó A'C→.BA'→ = 0 và A'C→.BD→ = 0

Từ đó suy ra A'C ⊥ (BC'D)