Chứng minh AE vuông góc với EF

Để tính tanADF, ta cần tìm giá trị của góc ADF.

Vì AE là phân giác của góc DAF, nên ta có:

m(góc DAE) = m(góc EAF) = m(góc FAD) = x (giả sử)

Vì ABCD là hình vuông, nên ta có:

m(góc DAB) = 90°

Vì AE là phân giác của góc DAF, nên ta có:

m(góc DAE) + m(góc EAF) + m(góc FAD) = 180°

x + x + 90° = 180°

2x + 90° = 180°

2x = 180° - 90°

2x = 90°

x = 45°

Vậy, m(góc ADF) = x = 45°.

Để tính tanADF, ta sử dụng công thức:

tanADF = tan(m(góc ADF))

tanADF = tan(45°)

Với 45° là góc đặc biệt, ta có:

tan(45°) = 1

Vậy, tanADF = 1.