Chứng minh DK là đường cao

Để chứng minh DK là đường cao trong tam giác DEF, ta làm theo các bước sau:

### Giả thiết
- Tam giác DEF là tam giác cân tại D, tức là DF = DE.
- DK là phân giác của góc EDF.

### Kết luận
- Chứng minh DK là đường cao, tức là DK vuông góc với EF.

### Chứng minh

1. **DK là trung tuyến**:
- Trong tam giác cân DEF, đường phân giác DK cũng là trung tuyến.
- Bởi vì trong tam giác cân, phân giác kẻ từ đỉnh tới cạnh đối diện cũng chia cạnh đó thành hai đoạn bằng nhau.

2. **DK là đường cao**:
- Do DK là trung tuyến kẻ từ đỉnh đến cạnh EF, mà EF là đáy tam giác DEF.
- Với tam giác DEF là cân tại D, cạnh EF sẽ vuông góc với DK, tức là DK chính là đường cao.

### Kết luận
Do đó, DK là đường cao ứng với cạnh EF.

Thí dụ cụ thể hơn có thể sử dụng các định lý liên quan đến tam giác cân và tính chất của phân giác để củng cố chứng minh.