Question

mathematica解方程组，结果还是原式子。

Answer 1

首先你要明白，你是要解方程，还是求方程的根。求方程的根，就是求t1，t2，使得t1,t2带入方程后两边相等。
Mathematica中，NSolve一般用来解方程，FindRoot用来求方程的根。数学中确实存在很多方程解不出来的情况，或者说没有求解表达式，但是能用别的方法去求方程的根。你上面给的方程，是多项式和指数函数混合在一起的，这种叫做超越方程，通常是没有求解表达式的。

例如我乱写一个跟你类似的方程：
x = t1 + Exp[t1 + t2] - (1.5 + t1^2) == 0;y = t1*(t2 - 1) + Exp[t2^2 - t1] == 0;

NSolve求不出解来，返回原方程。
NSolve[{x, y}, {t1, t2}]

但是调用求根的函数，可以求出根来。
FindRoot[{x, y}, {t1, 0}, {t2, 0}]

{t1 -> -0.928775, t2 -> 2.31439}