Class 12 Maths, Worked in Full Past papersGet updates
CBSE Sample Paper 2026-27 · Section D · 5 marks

Q32: Is (a,b)R(c,d)⇔a2+d2=b2+c2(a, b)R(c, d) \Leftrightarrow a^2 + d^2 = b^2 + c^2 an equivalence relation; or is y=x2+5y = x^2 + 5 injective, surjective

The question

(a) Let A=N×NA = N \times N⁠, where NN is the set of natural numbers and a relation RR is defined on AA such that (a,b)R(c,d)(a, b)R(c, d) if and only if a2+d2=b2+c2a^2 + d^2 = b^2 + c^2⁠. Check whether RR is an equivalence relation or not?

OR

(b) A relation R:(−∞,∞)→[0,∞)R: (-\infty, \infty) \to [0, \infty) is defined as R={(x,y):y=x2+5}R = \{(x, y) : y = x^2 + 5\}

Draw its graph and check whether it is a function or not.

If the given relation is a function, then examine whether the function is injective, and whether it is surjective or not.

For Visually Impaired:

A relation R:(−∞,∞)→[0,∞)R: (-\infty, \infty) \to [0, \infty) is defined as R={(x,y):y=x2+7}R = \{(x, y) : y = x^2 + 7\}⁠.

Check whether it is a function or not. If the given relation is a function, then examine whether the function is injective, surjective, or both, and conclude whether it is bijective or not.

Exam answer

(a)

Reflexive: Let (p,q)∈A=N×N(p, q) \in A = N \times N⁠.

Then p2+q2=q2+p2p^2 + q^2 = q^2 + p^2⁠, so (p,q)R(p,q)(p, q)R(p, q) for all (p,q)∈N×N(p, q) \in N \times N⁠.

Why?

Reflexive means every element is related to itself. Read the rule with (a,b)=(p,q)(a, b) = (p, q) and (c,d)=(p,q)(c, d) = (p, q)⁠: we need

p2+q2=q2+p2p^2 + q^2 = q^2 + p^2

That is true for all p,qp, q⁠, because addition can be done in any order.

⇒R\Rightarrow R is a reflexive relation.

Symmetric: Let (p,q),(r,s)∈A(p, q), (r, s) \in A with (p,q)R(r,s)(p, q)R(r, s)⁠.

⇒p2+s2=q2+r2⇒r2+q2=s2+p2⇒(r,s)R(p,q)\begin{aligned} &\Rightarrow p^2 + s^2 = q^2 + r^2 \\ &\Rightarrow r^2 + q^2 = s^2 + p^2 \\ &\Rightarrow (r, s)R(p, q) \end{aligned}
Why?

Symmetric means: if (p,q)R(r,s)(p, q)R(r, s)⁠, then (r,s)R(p,q)(r, s)R(p, q)⁠.

The rule for (a,b)R(c,d)(a, b)R(c, d) is a2+d2=b2+c2a^2 + d^2 = b^2 + c^2⁠. For (r,s)R(p,q)(r, s)R(p, q)⁠, put a=ra = r⁠, b=sb = s⁠, c=pc = p⁠, d=qd = q⁠:

r2+q2=s2+p2r^2 + q^2 = s^2 + p^2

This is the given equation with its two sides swapped and each side reordered.

p2+s2=q2+r2q2+r2=p2+s2(swap sides)r2+q2=s2+p2(reorder)\begin{aligned} p^2 + s^2 &= q^2 + r^2 \\ q^2 + r^2 &= p^2 + s^2 \quad \text{(swap sides)} \\ r^2 + q^2 &= s^2 + p^2 \quad \text{(reorder)} \end{aligned}

Thus, RR is a symmetric relation.

Transitive: Let (p,q),(r,s),(u,v)∈A(p, q), (r, s), (u, v) \in A with (p,q)R(r,s)(p, q)R(r, s) and (r,s)R(u,v)(r, s)R(u, v)⁠.

p2+s2=q2+r2…(i)p^2 + s^2 = q^2 + r^2 \quad\ldots(\text{i}) r2+v2=s2+u2…(ii)r^2 + v^2 = s^2 + u^2 \quad\ldots(\text{ii})
Why?

Transitive means: if the first pair is related to the second, and the second to the third, then the first is related to the third.

Write out both given relations from the rule. The target is (p,q)R(u,v)(p, q)R(u, v)⁠, that is p2+v2=q2+u2p^2 + v^2 = q^2 + u^2⁠.

Adding (i) and (ii),

p2+s2+r2+v2=q2+r2+s2+u2⇒p2+v2=q2+u2⇒(p,q)R(u,v)\begin{aligned} &p^2 + s^2 + r^2 + v^2 \\ &\quad = q^2 + r^2 + s^2 + u^2 \\ &\Rightarrow p^2 + v^2 = q^2 + u^2 \\ &\Rightarrow (p, q)R(u, v) \end{aligned}
Why?

The middle pair's terms r2r^2 and s2s^2 appear on both sides after adding. Subtract r2+s2r^2 + s^2 from both sides, and only the target equation is left.

Left: p2+s2+r2+v2−(r2+s2)=p2+v2Right: q2+r2+s2+u2−(r2+s2)=q2+u2\begin{aligned} &\text{Left: } p^2 + s^2 + r^2 + v^2 \\ &\quad - (r^2 + s^2) = p^2 + v^2 \\[4pt] &\text{Right: } q^2 + r^2 + s^2 + u^2 \\ &\quad - (r^2 + s^2) = q^2 + u^2 \end{aligned}

Thus, RR is a transitive relation.

So, RR is reflexive, symmetric and transitive. Hence RR is an equivalence relation.

Why?

An equivalence relation is one that is reflexive, symmetric and transitive, all three. Always write the conclusion line in words.

Another way to see it: the rule is the same as a2−b2=c2−d2a^2 - b^2 = c^2 - d^2⁠. So R relates (a,b)(a, b) and (c,d)(c, d) exactly when a2−b2a^2 - b^2 and c2−d2c^2 - d^2 are equal.

(b)

Graph of y=x2+5y = x^2 + 5⁠: a parabola opening upwards with vertex (0,5)(0, 5)⁠.

Why?

y=x2+5y = x^2 + 5 is the parabola y=x2y = x^2 moved up by 5. To draw it, plot a few points:

x=0⇒y=0+5=5x=±1⇒y=1+5=6x=±2⇒y=4+5=9x=±3⇒y=9+5=14\begin{aligned} x = 0 &\Rightarrow y = 0 + 5 = 5 \\ x = \pm 1 &\Rightarrow y = 1 + 5 = 6 \\ x = \pm 2 &\Rightarrow y = 4 + 5 = 9 \\ x = \pm 3 &\Rightarrow y = 9 + 5 = 14 \end{aligned}

(xx and −x-x have the same square, for example (−2)2=4=22(-2)^2 = 4 = 2^2⁠.)

−4 −3 −2 −1 1 2 3 4 10 15 20 X Y O (0, 5) y = x² + 5
The graph of y=x2+5y = x^2 + 5⁠, drawn through (±1,6)(\pm 1, 6)⁠, (±2,9)(\pm 2, 9)⁠, (±3,14)(\pm 3, 14) and (±4,21)(\pm 4, 21)⁠.

Yes, RR is a function, as the graph shows that every element of (−∞,∞)(-\infty, \infty) has a unique image in [0,∞)[0, \infty)⁠.

Why?

A relation is a function when every element of the domain has exactly one image in the co-domain.

On the graph: every vertical line meets the curve exactly once. Each image x2+5x^2 + 5 is at least 5, so it lies in [0,∞)[0, \infty)⁠.

Let f:(−∞,∞)→[0,∞)f: (-\infty, \infty) \to [0, \infty)⁠, f(x)=x2+5f(x) = x^2 + 5⁠.

Injective: f(−1)=(−1)2+5=6f(-1) = (-1)^2 + 5 = 6 and f(1)=12+5=6f(1) = 1^2 + 5 = 6⁠.

So f(−1)=f(1)f(-1) = f(1) with −1≠1-1 \ne 1⁠. Thus ff is many-one, so not injective.

Why?

Injective (one-one) means different inputs always give different outputs. To show a function is not injective, one counterexample is enough: two different inputs with the same output.

On the graph, the horizontal line y=6y = 6 meets the curve twice.

Surjective: Range of f=[5,∞)≠f = [5, \infty) \ne co-domain [0,∞)[0, \infty)⁠.

Why?

Surjective (onto) means the range is the whole co-domain.

Since x2≥0x^2 \ge 0⁠, x2+5≥5x^2 + 5 \ge 5⁠. So a number such as 2 in the co-domain is never an output: x2+5=2x^2 + 5 = 2 needs x2=−3x^2 = -3⁠, which has no real solution.

x2+5=2x2=2−5=−3\begin{aligned} x^2 + 5 &= 2 \\ x^2 &= 2 - 5 = -3 \end{aligned}

A square is never negative, so there is no such real xx⁠.

So, ff is not surjective.

For Visually Impaired

For every element aa of (−∞,∞)(-\infty, \infty)⁠, a2∈[0,∞)a^2 \in [0, \infty)⁠, so a2+7∈[7,∞)a^2 + 7 \in [7, \infty)⁠. Hence every element of (−∞,∞)(-\infty, \infty) has a unique image in [0,∞)[0, \infty)⁠.

Why?

Each real aa gives one value a2+7a^2 + 7⁠, and that value is at least 7, so it is in the co-domain [0,∞)[0, \infty)⁠. That is what "function" requires.

So f:(−∞,∞)→[0,∞)f: (-\infty, \infty) \to [0, \infty)⁠, f(x)=x2+7f(x) = x^2 + 7 is a function.

Injective: f(−1)=(−1)2+7=8f(-1) = (-1)^2 + 7 = 8 and f(1)=12+7=8f(1) = 1^2 + 7 = 8⁠.

So f(−1)=f(1)f(-1) = f(1) with −1≠1-1 \ne 1⁠. Thus ff is many-one, so not injective.

Why?

As before, xx and −x-x have the same square, so one pair such as −1-1 and 11 shows two inputs with the same output.

Surjective: Range of f=[7,∞)≠f = [7, \infty) \ne co-domain [0,∞)[0, \infty)⁠. So, it is not surjective.

Why?

Since x2+7≥7x^2 + 7 \ge 7⁠, the numbers from 0 up to (but not including) 7 are never outputs.

For example, take 0 in the co-domain:

x2+7=0x2=0−7=−7\begin{aligned} x^2 + 7 &= 0 \\ x^2 &= 0 - 7 = -7 \end{aligned}

No real square is negative, so 0 has no pre-image.

Bijective means injective and surjective both. Failing either one is enough to be not bijective.

∴ f(x)\therefore\ f(x) is neither injective nor surjective, and hence not bijective.

Where this comes from

Chapter 1, Relations and Functions: Equivalence relation; injective and surjective.

Question type: (a) Show that a relation is an equivalence relation; (b) Not one-one or not onto

How to spot it: click to see

(a) Type 3. Show that a relation is an equivalence relation

Spot it: the words "is an equivalence relation", often with "2 divides a−ba - b" or "∣a−b∣|a - b| is even".

Here: The rule is a2+d2=b2+c2a^2 + d^2 = b^2 + c^2 on pairs. For transitive, add the two given equations: r2r^2 and s2s^2 cancel, leaving p2+v2=q2+u2p^2 + v^2 = q^2 + u^2⁠.

(b) Type 6. Not one-one or not onto: one example is enough

Spot it: functions such as x2x^2⁠, ∣x∣|x| or [x][x] on R\R⁠, where two inputs share an output, or some numbers are never reached.

Here: x2+5x^2 + 5 on all reals: f(−1)=f(1)=6f(-1) = f(1) = 6⁠, so it is not one-one. And x2+5≥5x^2 + 5 \ge 5⁠, so 2 is never reached, and it is not onto.

Found an error?

Tell us if something on this page is wrong or unclear. Send feedback on this question →