In right triangle ABC, AC = 8, AB = 15, and BC = 17. Square ADEF is inscribed in the square. Find the side length of square ADEF.
The side length is 15/7.
