观察下列两个等式：2﹣＝2×+1，5﹣＝5×+1，给出定义如下
我们称使等式a﹣b＝ab+1成立的一对有理数“a，b”为共生有理数对”，记为（a，b）
（1）通过计算判断数对“﹣2，1”，“4，”是不是“共生有理数对”；
（2）若（6，a）是“共生有理数对”，求a的值；
（3）若（m，n）是“共生有理数对”，则“﹣n，﹣m”　  　“共生有理数对”（填“是”或“不是”），并说明理由；
（4）若（m，n）是“共生有理数对”（其中n≠1），直接用含n的代数式表示m.

对于两数a和b，给定一种运算 “⊕”：a⊕b=a+b-ab，则在下列等式中：①a⊕b=b⊕a；②a⊕0=a；③(a⊕b) ⊕c= a⊕(b⊕c) 正确的有___________ (填序号)

某中学数学兴趣小组在一次课外学习与探究中遇到一些新的数学符号，他们将其中某些材料摘录如下：对于三个实数，用表示这三个数的平均数，用表示这三个数中的最小的数，例如，，.请结合上述材料，解决下列问题：
（1）① ，
② .
（2）若，求的值；

先阅读下列材料，再解答后面的问题
材料：一般地，n个相同的因数相乘： 记为．如2³=8，此时，3叫做以2为底8的对数，记为(即) ．一般地，若(a＞0且a≠1，b＞0) ，则n叫做以为底b的对数，记为（即）.如，则4叫做以3为底81的对数，记为（即）．
问题：
1.计算以下各对数的值：log₂4= log₂16= log₂64=
2.观察(1)中三数4、16、64之间满足怎样的关系式？log₂4、log₂16、log₂64之间又满足怎样的关系式？
3.由(2)的结果，你能归纳出一个一般性的结论吗？ log_am+log_an= (a>0且a≠1，m>0，n>0)
根据幂的运算法则：aⁿ·a^m=a^n+m以及对数的含义证明上述结论

定义：若△ABC中，其中一个内角是另一个内角的一半，则称△ABC为“半角三角形”．根据此定义，完成下面各题：

（1）若△ABC为半角三角形，且∠A＝90°，则△ABC中其余两个角的度数为　  　；
（2）若△ABC是半角三角形，且∠C＝40°，则∠B　  　；
（3）如图，在四边形ABCD中，AB∥CD，AD∥BC，∠C＝72°，点E在边CD上，以BE为折痕，将△BCE向上翻折，点C恰好落在AD边上的点F，若BF⊥AD，则△EDF是半角三角形吗？若是，请说明理由．