Cho tứ diện ABCD có AB vuông góc (BCD). DF là đường cao tam giác BCD. Trong (ADC), vẽ DK vuông góc AC tại K. Chứng minh (ADC) vuông góc (DFK)