阅读以下材料：
对数的创始人是苏格兰数学家纳皮尔（J．Nplcr，1550﹣1617年），纳皮尔发明对数是在指数书写方式之前，直到18世纪瑞士数学家欧拉（Evlcr，1707﹣1783年）才发现指数与对数之间的联系．
对数的定义：一般地，若（且），那么叫做以为底的对数，记作，比如指数式可以转化为对数式，对数式，可以转化为指数式．
我们根据对数的定义可得到对数的一个性质：
（，，，），理由如下：
设，，则，，
∴，由对数的定义得
又∵
∴
根据阅读材料，解决以下问题：
（1）将指数式转化为对数式________；
（2）求证：（，，，）
（3）拓展运用：计算________．

一般情况下，不成立，但是，有些数可以使它成立，例如，m＝n＝0，我们称使得成立的一对数m、n为“相伴数对”，记作（m，n），如果（m，3）是“相伴数对”那么m的值是_____；小明发现（x，y）是“相伴数对”，则式子的值是_____．

现定义运算“★”，对于任意实数，，都有★，如：3★5＝3²－3×3＋5，若★，则实数的值是______．

对于有理数a,b，定义一种新运算※,即a※b=3a+3b,则式子（x+y）※(x-y)化简后得到_________

阅读下列运算程序，探究其运算规律：m△n=a，且m△(n+x)=a－x，(m+x)△n= a+3x，若1△1=-2，则1△2=_________，2△1=_________，20△19=_________．