是。恒等式就是无论其变量如何取值的情况下，等式永远成立的算式。“圆的a1+a3=a2+a4”其中变量a无论取何值，等式都成立，因此，圆的a1+a3=a2+a4是恒等式。