Cho hình hộp thoi ABCD.A'B'C'D' có tất cả các cạnh bằng a

Trước hết dễ thấy tứ giác A'B'CD là hình bình hành, ngoài ra B′C = a = CD nên nó là hình thoi. Ta chứng minh hình thoi A'B'CD là hình vuông. Ta có:

Vậy tứ giác A’B’CD là hình vuông.