Rectangle \(ABCD\) contains a point \(X\) such that \(AX=1, BX=7, CX=8\). Find \(DX\).
BC = sqrt(82 - 72) = √15
DX = sqrt(15 + 1)
