对x，y定义一种新运算T，规定：T（x，y）=（其中a、b均为非零常数），这里等式右边是通常的四则运算，例如：T（0，1）==b．
（1）已知T（1，-1）=-2，T（4，2）=1．
①求a，b的值；
②若关于m的不等式组恰好有3个整数解，求实数p的取值范围；
（2）若T（x，y）=T（y，x）对任意实数x，y都成立（这里T（x，y）和T（y，x）均有意义），则a，b应满足怎样的关系式？