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 of the square is 150/13.
