What exactly is the meaning of the variables in an equation? That’s probably not a good way to write the question I’m trying to ask, but take the equation

$$x^2 = 4$$

Does the $x$ represent all values in the domain, and is the equation is asking us to find which values of $x$ the equation is true for?

Or is $x^2 = 4$ always true, and are we just looking for what values $x$ represents.

  • 2
    $\begingroup$ Closely related: math.stackexchange.com/questions/2738360/… $\endgroup$ May 29, 2019 at 22:57
  • 1
    $\begingroup$ It really depends on the context. If we have a proof that says "fix $x$ as a real number that satisfies $x^2=4$" then we think of $x$ as representing a particular number that does not change until we are done with the proof. If we say "consider the equation $x^2=4$" or "consider the equation $x^2=-3$" we likely want to find one or all values of $x$ that satisfy the equation (if any). If we say "define the function $f(x)=\sin(x)$" it means that $x$ represents the argument of the function, we can put any real number there to get the corresponding function value. $\endgroup$
    – Michael
    May 29, 2019 at 22:59
  • $\begingroup$ Is there a real difference between those two interpretations? $\endgroup$ May 29, 2019 at 22:59
  • $\begingroup$ Another example is when we say $\int_0^1 x^2dx=1/3$, in that case $x$ is just a dummy index used to represent the integration. $\endgroup$
    – Michael
    May 29, 2019 at 23:07
  • $\begingroup$ Its more interesting to ask why did mathematicians continue with using what appears to be a "loose/confusing terminology". $\endgroup$
    – NoChance
    May 30, 2019 at 1:51

3 Answers 3


The equal sign has (at least) two meanings. In math we get the meaning from context. In computer science, the variations in meaning can be denoted "=", or ":=" or some such.

One meaning is the "equals of identity." If I write

$$\sin^2x +\cos^2 x = 1$$

I mean that it's true for every value of $x$.

The other meaning is "conditional equality". The equation is a condition and we want to know when it is true and when it isn't.

$$x^2 = 4$$

is a conditional equality. It's true only under the condition that $x =2$ or $-2$.

  • $\begingroup$ This is a good point, and I neglected mentioning this in my example (an oversight). I hope that you don't mind that I edited the end of mine to briefly mention the case of functional equality, citing your post? I need to wait 20 more minutes, then I'll upvote your post! $\endgroup$
    – cmk
    May 29, 2019 at 23:38

In the context you presented:

You're looking for the values of $x$ that make the equation true. It's not going to be true for all $x$ (take $x=1$). You could view this as finding the intersections of the graphs of the left and right sides. That is, you can plot the left-hand side and the right-hand side, and solutions (values of $x$ that your equation true) correspond to where these lines intersect. In your example, you'll find that these lines intersect at two points, $(2,4)$ and $(-2,4)$. This contrasts with the concept of a function, where we assign, to each value of $x$, another number $f(x).$ As an example, take $f(x)=x^2-4.$ This is an assignment of a value of $x$ to another number $x^2-4.$ Note that the values where this is zero are exactly the values of $x$ that satisfy $x^2=4.$ The distinction between a function and an equation is an important one to make (and can sometimes become more confusing when you introduce implicit equations), but they can be related in the manner I did above. You can also have equality of functions, in which case you have $f(x)=g(x)$ for all $x$. The other post by M. Goddard presents an example of something like that ($\sin^2x+\cos^2x=1$). Discernment between all of these cases can be gained from context, which takes experience!


Short answer :

  • "x²= 4" is a conditional equation : "if x= ..... then x²= 4"

  • " x+y = y+x " is an identity ( unconditionnal equation, true for all possible values of x and y )

  • in " the set of all x such that x²=4 " the expression " x²=4 " is a rule or a "law" that defines an object, here a set. Same thing in : " the curve ( set of points (x,y) such that x²=4 " ( that is a parabola with vertex (-4, 0) )

As such an expression like this : "x² = 4" is an open sentence. An open sentence as such is not a proposition, it has no truth value. The reason why it does not have a truth vale ( true or false) is that it does not have a complete meaning.

You can produce a true or false statement by completing its meaning in different ways ( using quantification ) .

  • For all x ( belonging to R) : x² = 4 ( FALSE)

  • The exists an x ( belonging to R) such that : x² = 4. ( True)

  • For all x ( belonging to R) : [ x² = 4 iff (x = 2 OR x = -2) ] . ( True)

  • For all x ( belonging to R) : x² = 4 iff x = 2 . ( False)

  • For all x (belonging to R) : if x = 2 then x² = 4 . ( True)

  • For all x ( belonging to R) : x² is not equal to 4. ( False)

When we solve an equation, the implicit context is :

           There is (at least) an x such that : x² = 4. 

This is not an open sentence: it is a complete sentence and a true one.

Your job is now to find which possible values of the unknown x makes the statement true.

Note : The truth of " there is at least an x such that..." is only presupposed, but sometimes we discover that this presupposition was wrong. Suppose I am given the equation :

                               x+1 = x 

I will reason like this :

(1) if x+1 = x then (x+1) - x = x - x

(2) if (x+1) - x = x - x then 1 = O

(3) but it is false that : 1=0

(4) therefore : It is false that there is an x such that : x+1 = x

Some open sentences, called " identities, are true for all the possible values of their variables. This is the reason why identities are often stated without quantifiers. But rigorously we should write :

     For all a & for all b ( belonging to R) : (a+b)² = a² + b²+ 2ab. 

To come closer to you question, I think it can be understood in the following way : is x an unknown or a variable?

If the expression " x² = 2 " is considered as an open sentence, x is an unknown, and the question is : what values of x have to be substituted for x to make the open sentence true?

But sometimes, the expression " x²= 4 " can be considered as a sort of "law" defining a set, a law that is supposed to be " always true" for all the elements of a set, and your job is to find which set corresponds to this law. This set can be a set of numbers , or a set of ordered pairs ( a relation, even a function).

For example, I can define a set like this.

S = { x belonging to R | x² = 4 }

The "law" : x² = 4 is , by definition, true of all the elements of S= { -2, 2 }.

I can also say, in coordinate geometry :

T = { (x, y) | x² = 4 }

T is the set of all points ( x,y) such that ( whatever y might be) : x²=4.

You can use a graphing calculator to see which curve this law ( x² = 4 ) defines.

When x is considered as a "law" or a defining formula ( for a set, a relation, a function) x is considered as a variable ( not as an unknown).

Note : you might ask, what about the alledged "law" : x+1 = x. Is it really a law defining an object, since there is no x such that : x+1 = x.

In fact, this law defines an object that is simply : the Empty Set

         { x | x+1 = x }= {    } 
  • 1
    $\begingroup$ What is the difference between an unknown and a variable? $\endgroup$
    – Frasch
    Jun 1, 2019 at 14:09
  • 1
    $\begingroup$ In " 3x+3 = 9" the letter x is used an an unknown : it is understood that the letter x represents a certain number that is not knon to you and that you have to discover. Same thing in " x² = 9". But when you say " the finction f from R to R is the function such that f(x) = 3x+3" you let x range over the whole domain ( R) , you are not looking for a particular value of x, you define all the pairs (x, y) such that y = 3x+3. $\endgroup$
    – user655689
    Jun 1, 2019 at 14:20
  • 1
    $\begingroup$ @Frasch.In other words, in front of an equation the question " what is THE value of x?" is relevant. But when x is used as a variable, the question is meaningless. $\endgroup$
    – user655689
    Jun 1, 2019 at 14:20
  • 1
    $\begingroup$ @Fransch. You may have a look at <math.stackexchange.com/questions/3247602/…> $\endgroup$
    – user655689
    Jun 1, 2019 at 14:42
  • 1
    $\begingroup$ @Frasch. I found this in Wikipedia ( At : " variable") "An unknown is a variable in an equation which has to be solved for.". so the general term is " variable" and "unknown" refers to the special use one makes of a variable in an equation. $\endgroup$
    – user655689
    Jun 1, 2019 at 15:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.