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