# Condition for an equation to be an identity

For some equation to be an identity, should the LHS and RHS have same domain (given equality holds for all values of x). For example, are both of these an identity: $$1.\ \sec^2(\theta)-\tan^2(\theta)=1$$ $$2.\ \sec^2(\theta)=1+\tan^2(\theta)?$$

Are there any other conditions for the equation to be called an identity?

• Correct. See Identity (mathematics): "an identity between two expressions $A$ and $B$ (which might contain some variables) produce the same value for all values of the variables within a certain range of validity." Example: $(a+b)^2=(a^2+2ab+b^2)$ that holds for every value of $a,b$. Sep 25, 2020 at 13:26

• Are there any authoritative sources to confirm this statement? Does that mean that $\sqrt{-x^2} \equiv x$ is a valid identity on real numbers? The intersection of domains is {0} where LHS and RHS "agree". What about $\sqrt{-1 - x^2} \equiv 1.2345$? The intersection of domains is ∅, therefore LHS and RHS agree for all possible values of x (none). So we have then $\sqrt{-x^2} \equiv x$ and $\sqrt{-x^2} \equiv \frac{1}{x}$ but not $x \equiv \frac{1}{x}$, weird. I don't see any value in identities which are defined this way. Jun 5, 2023 at 11:03
• @il--ya : Of sources that are careful in their definitions, some require that the intersection of domains is nonempty and some do not. There are all sorts of "stupid" identities. I think my favorite (?) stupid identity is (on the reals) $\frac{\mathrm{d}}{\mathrm{d}x} \mathrm{arctanh}\, x = \frac{\mathrm{d}}{\mathrm{d}x} \mathrm{arccoth}\, x$ (vacuous because their domains, $|x| < 1$ and $|x| > 1$, respectively, have empty intersection, so there is no witness to failure of identity). Jun 7, 2023 at 21:02