如图，在直角坐标系中，正方形的中心在原点O，且正方形的一组对边与x轴平行，点P（3a，a）是反比例函数（k＞0）的图象上与正方形的一个交点．若图中阴影部分的面积等于9，则这个反比例函数的解析式为　  ▲ 　．