方程5^x+12^x=13^x的解集