分式的定义说分母中含有字母,前提是不是应该是最简分式?

是的,
你自己看看这个问题,
(a-b)(a+b)/(a+b)
如果
a+b=0
该式无意义；
如果
a+b=/=0
该式=a-b
只是这个问题有点怪异.
所以,未必是最简分式.
但一定能化成最简分式.