已知㏒(x²+4)+㏒a(1+y²)=㏒a 5+㏒a(2xy—1),求㏒4