Является ли равенство a^5+a^7=a^12 тождеством?

Нет! Если бы было умножение, то тогда бы все свелось к тождеству, при умножении степени сложились, в данном случае сложение, вы не имеете права складывать степени чисел