x²+（40—x√3）²=25²
x²+40²-80√3x+3x²=25²
4x²-80√3x+975=0
x=(80√3±60)/8
x=(20√3±15)/2