Aritaborian, В качестве m и n взял пи и e
Код:
RSolve[{
h1[a1, a2, a3, b1, b2, b3] == a1 b1 + a2 b2 + a3 y1[b1, b2, b3],
h2[a1, a2, a3, b1, b2, b3] == a1 b2 + a2 b1 + a3 y2[b1, b2, b3],
h3[a1, a2, a3, b1, b2, b3] == a1 b3 + a2 b3 + a3 y3[b1, b2, b3],
h1[a1 + \[Pi], a2 + \[Pi], a3 + \[Pi], b1 + E, b2 + E, b3 + E] ==
h1[a1, a2, a3, b1, b2, b3] + z[a1, a2, a3, b1, b2, b3, \[Pi], E],
h2[a1 + \[Pi], a2 + \[Pi], a3 + \[Pi], b1 + E, b2 + E, b3 + E] ==
h2[a1, a2, a3, b1, b2, b3] + z[a1, a2, a3, b1, b2, b3, \[Pi], E],
h3[a1 + \[Pi], a2 + \[Pi], a3 + \[Pi], b1 + E, b2 + E, b3 + E] ==
h3[a1, a2, a3, b1, b2, b3] + z[a1, a2, a3, b1, b2, b3, \[Pi], E]},
{h1[a1, a2, a3, b1, b2, b3], h2[a1, a2, a3, b1, b2, b3],
h3[a1, a2, a3, b1, b2, b3]}, {a1, a2, a3, b1, b2, b3}]
В ответ возвращает то же самое. Просто не считает и всё.
А как в вольфрам корректно указать, что y1, y2, y3 - линейно независимы - не знаю даже :(