Cho tứ diện ABCD có AB⊥(BCD) . Trong ΔBCD vẽ các đường cao BE và DF cắt nhau ở O. Trong (ADC) vẽ DK⊥AC tại K. Chứng minh: (ADC)⊥(DFK)