求函数解析式及其证明

定义在整数域内自变量X＞－1，3A＋1≠a（a＋1）－a＇＾2，3B＋1≠b（b＋1）－b＇＾2，－1＜a＇＜A，－1＜b＇＜B，求3X＋2＝3A＋1＋3B＋1，求证在定义域内任意3X＋2都可以分解为3A＋1＋3b＋1