hpas 2021 MATHS p1

HPAS 2021 Mathematics Optional Paper-1: Complete Solutions

Welcome to the comprehensive solution guide for the Himachal Pradesh Administrative Service (HPAS) 2021 Mathematics Optional Paper-1. This resource provides detailed, step-by-step solutions designed specifically for civil service aspirants to master the core mathematical concepts and methodologies required for the exam.

Whether you are revising key theorems, practicing previous year questions, or mastering advanced analytical geometry and calculus, these carefully structured solutions will help streamline your preparation. Use the index below to jump directly to specific questions and topics.

HPAS 2021 Maths Optional Paper-1 Question 1(a)

Show that two finite-dimensional vector spaces over a field F are isomorphic if and only if they have the same dimension.

Solution:

Theorem: Isomorphism of Finite-Dimensional Vector Spaces

Statement: Let V and W be finite-dimensional vector spaces over a field F. Then V \cong W (they are isomorphic) if and only if \dim(V) = \dim(W).


Part 1: If V \cong W, then \dim(V) = \dim(W)

Suppose T: V \to W is an isomorphism (a bijective linear transformation). Let \{v_1, v_2, \dots, v_n\} be a basis for V, where n = \dim(V).

Since T is bijective, it maps the basis of V to a basis of W. Specifically, \{T(v_1), T(v_2), \dots, T(v_n)\} must be linearly independent and span W.

Since W has a basis consisting of n vectors, by definition, \dim(W) = n. Thus, \dim(V) = \dim(W).


Part 2: If \dim(V) = \dim(W), then V \cong W

Suppose \dim(V) = \dim(W) = n. Let B_V = \{v_1, \dots, v_n\} be a basis for V and B_W = \{w_1, \dots, w_n\} be a basis for W.

Define a linear transformation T: V \to W by mapping the basis of V to the basis of W:

T(v_i) = w_i \quad \text{for } i = 1, 2, \dots, n

We must show T is an isomorphism:

  • Injectivity (Kernel is trivial): If T(\sum a_i v_i) = 0, then \sum a_i w_i = 0. Because \{w_1, \dots, w_n\} is a basis, all a_i = 0. Thus, \ker(T) = \{0\}.
  • Surjectivity: Since T maps a basis of V to a spanning set of W, the image of T is W.

Since T is both injective and surjective, it is a bijective linear transformation (an isomorphism).


Final Conclusion:

We have shown that isomorphism implies equality of dimensions, and equality of dimensions implies the existence of an isomorphism. Hence, V \cong W \iff \dim(V) = \dim(W).

HPAS 2021 Maths Optional Paper-1 Question 1(b)

Determine the directional derivative of the function f(x,y,z) = 4e^{2x-y+z} at the point (1, 1, 1) in the direction towards the point (-3, 5, 6).

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 1(c)

Show that the tangent planes at the extremities of any diameter of an ellipsoid are parallel.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 1(d)

Solve the ordinary differential equation xp^2 - yp - y = 0, where p = dy/dx.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 1(e)

Determine the value of the integral:

\int_{0}^{2a} \int_{0}^{\sqrt{2ay-y^2}} dx \,dy

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 2(a)

Let V be a non-zero inner product space of dimension n. Show that V has an orthonormal basis.

Solution:

Theorem: Existence of an Orthonormal Basis

Statement: Every finite-dimensional inner product space V possesses an orthonormal basis. This can be proven by taking an arbitrary basis \{u_1, u_2, \dots, u_n\} and applying the Gram-Schmidt process to transform it into an orthonormal set \{e_1, e_2, \dots, e_n\}.


Step 1: Start with an arbitrary basis

Since V is an n-dimensional vector space, it must have a basis S = \{u_1, u_2, \dots, u_n\}. Our goal is to transform these linearly independent vectors into an orthonormal set \{e_1, e_2, \dots, e_n\} that spans the same space.


Step 2: The Gram-Schmidt Orthonormalization Process

We construct the orthonormal basis \{e_1, \dots, e_n\} step-by-step:

First, create an orthogonal set \{v_1, \dots, v_n\}:

  • v_1 = u_1
  • v_2 = u_2 - \text{proj}_{v_1}(u_2) = u_2 - \frac{\langle u_2, v_1 \rangle}{\langle v_1, v_1 \rangle} v_1
  • v_k = u_k - \sum_{j=1}^{k-1} \frac{\langle u_k, v_j \rangle}{\langle v_j, v_j \rangle} v_j

Second, normalize the vectors to create the orthonormal set \{e_1, \dots, e_n\}:

We divide each orthogonal vector v_i by its norm \|v_i\| = \sqrt{\langle v_i, v_i \rangle}:

e_i = \frac{v_i}{\|v_i\|} \quad \text{for } i = 1, 2, \dots, n

Step 3: Verify the Properties

By the construction above:

  1. Orthogonality: By the projection subtractions in the Gram-Schmidt process, each v_k is orthogonal to all preceding v_j (j < k), implying \langle e_i, e_j \rangle = 0 for i \neq j.
  2. Normalization: By construction, \|e_i\| = \frac{\|v_i\|}{\|v_i\|} = 1.
  3. Spanning: Since each e_i is a linear combination of the original basis vectors u_i, and the set is linearly independent (as an orthonormal set in an n-dimensional space), it must span V.

Final Conclusion:

Since the resulting set \{e_1, e_2, \dots, e_n\} is orthonormal and consists of n vectors in an n-dimensional space, it forms an orthonormal basis for V.

Hence Proved.

HPAS 2021 Maths Optional Paper-1 Question 2(b)

Let V be the space of all real-valued continuous functions. Define T: V \to V by:

(Tf)(x) = \int_{0}^{x} f(t) dt

Show that T has no eigenvalues.

Solution:

Here is the step-by-step proof to show that the linear operator T has no eigenvalues.

Understanding the Setup

By definition, a real number \lambda is an eigenvalue of the linear operator T if there exists a non-zero function f \in V (meaning f(x) is not the zero function) such that:

Tf = \lambda f

Given the definition of T, this means we are looking for a non-zero continuous function f(x) and a scalar \lambda that satisfy the following equation for all real numbers x:

\int_0^x f(t)dt = \lambda f(x)

To prove that T has no eigenvalues, we will assume such an eigenvalue \lambda exists and show that it always forces f(x) to be the zero function, which contradicts the definition of an eigenvector/eigenfunction. We can evaluate this in two distinct cases: \lambda = 0 and \lambda \neq 0.


Case 1: Assume \lambda = 0

If \lambda = 0, our equation becomes:

\int_0^x f(t)dt = 0 \cdot f(x) \int_0^x f(t)dt = 0

This must hold true for all values of x. If we differentiate both sides with respect to x using the Fundamental Theorem of Calculus, we get:

\frac{d}{dx} \left( \int_0^x f(t)dt \right) = \frac{d}{dx}(0) f(x) = 0

Since f(x) must be the zero function for all x, there is no non-zero eigenfunction. Therefore, 0 is not an eigenvalue.


Case 2: Assume \lambda \neq 0

If \lambda \neq 0, we have:

\lambda f(x) = \int_0^x f(t)dt

Because f(t) is given as a continuous function, the Fundamental Theorem of Calculus tells us that its definite integral \int_0^x f(t)dt is differentiable with respect to x.

Since the right side of the equation is differentiable, the left side, \lambda f(x), must also be differentiable. This implies that f(x) itself is differentiable.

Since f(x) is differentiable, we can differentiate both sides of the original equation with respect to x:

\lambda f'(x) = f(x)

Since \lambda \neq 0, we can divide by \lambda:

f'(x) = \frac{1}{\lambda} f(x)

This is a separable first-order linear ordinary differential equation. The general solution to f'(x) = k f(x) is known to be:

f(x) = C e^{\frac{x}{\lambda}}

where C is some constant.

To find C, we need an initial condition. We can find this by evaluating our original integral equation at x = 0:

\lambda f(0) = \int_0^0 f(t)dt

Because the integral from 0 to 0 is 0, we get:

\lambda f(0) = 0

Since we are in the case where \lambda \neq 0, it must be that:

f(0) = 0

Now, substitute x = 0 into our general solution f(x) = C e^{\frac{x}{\lambda}}:

f(0) = C e^{\frac{0}{\lambda}} 0 = C e^0 0 = C \cdot 1 C = 0

If C = 0, then substituting it back into the general solution yields:

f(x) = 0 \cdot e^{\frac{x}{\lambda}} = 0

Once again, f(x) is forced to be the zero function for all x. Therefore, there are no non-zero eigenfunctions for \lambda \neq 0.


Conclusion

In both possible cases (\lambda = 0 and \lambda \neq 0), the only function that satisfies the eigenvalue equation Tf = \lambda f is the zero function, f(x) = 0. Since eigenvectors must, by definition, be non-zero, the operator T has no eigenvalues in the space of real-valued continuous functions.

HPAS 2021 Maths Optional Paper-1 Question 3(a)

Show that the equation ax^2+by^2+cz^2+2ux+2vy+2wz+d=0 represents a cone if:

\frac{u^2}{a} + \frac{v^2}{b} + \frac{w^2}{c} = d

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 3(b)

Find the maximum and minimum values of u^2+v^2+w^2 subject to the conditions \frac{u^2}{4} + \frac{v^2}{5} + \frac{w^2}{25} = 1 and w=u+v.

Solution:

Standard Result: Method of Lagrange Multipliers

Statement: To find the extrema of an objective function f(u,v,w) subject to two constraints g(u,v,w) = 0 and h(u,v,w) = 0, we form the Lagrangian function L = f - \lambda g - 2\mu h (using 2\mu for algebraic convenience). The critical points satisfy the system of equations formed by setting the partial derivatives of L with respect to u, v, w to zero.


Step 1: Set up the Lagrangian

Let the objective function be f = u^2 + v^2 + w^2.
Let the constraints be g = \frac{u^2}{4} + \frac{v^2}{5} + \frac{w^2}{25} - 1 = 0 and h = u + v - w = 0.

The Lagrangian is:
L = (u^2 + v^2 + w^2) - \lambda\left(\frac{u^2}{4} + \frac{v^2}{5} + \frac{w^2}{25} - 1\right) - 2\mu(u + v - w)

Set the partial derivatives of L to zero:

  • \frac{\partial L}{\partial u} = 2u - \frac{2\lambda u}{4} - 2\mu = 0 \implies u\left(1 - \frac{\lambda}{4}\right) = \mu
  • \frac{\partial L}{\partial v} = 2v - \frac{2\lambda v}{5} - 2\mu = 0 \implies v\left(1 - \frac{\lambda}{5}\right) = \mu
  • \frac{\partial L}{\partial w} = 2w - \frac{2\lambda w}{25} + 2\mu = 0 \implies w\left(1 - \frac{\lambda}{25}\right) = -\mu

Step 2: Establish the relationship between f and \lambda

Multiply the first equation by u, the second by v, and the third by w:

u^2 - \lambda\frac{u^2}{4} = \mu u v^2 - \lambda\frac{v^2}{5} = \mu v w^2 - \lambda\frac{w^2}{25} = -\mu w

Add these three equations together:

(u^2 + v^2 + w^2) - \lambda\left(\frac{u^2}{4} + \frac{v^2}{5} + \frac{w^2}{25}\right) = \mu(u + v - w)

Substitute the given constraints \frac{u^2}{4} + \frac{v^2}{5} + \frac{w^2}{25} = 1 and u + v - w = 0:

f - \lambda(1) = \mu(0) \implies f = \lambda

This reveals a crucial property: The extreme values of the function f are exactly the values of the Lagrange multiplier \lambda.


Step 3: Solve for \lambda

From the equations in Step 1, express u, v, and w in terms of \mu and \lambda:

u = \frac{4\mu}{4-\lambda}, \quad v = \frac{5\mu}{5-\lambda}, \quad w = \frac{-25\mu}{25-\lambda}

Substitute these into the linear constraint u + v - w = 0:

\frac{4\mu}{4-\lambda} + \frac{5\mu}{5-\lambda} - \left(\frac{-25\mu}{25-\lambda}\right) = 0

Since \mu \neq 0 (otherwise u=v=w=0, which violates the ellipsoid constraint), we can divide the entire equation by \mu:

\frac{4}{4-\lambda} + \frac{5}{5-\lambda} + \frac{25}{25-\lambda} = 0

Multiply through by the common denominator (4-\lambda)(5-\lambda)(25-\lambda):

4(5-\lambda)(25-\lambda) + 5(4-\lambda)(25-\lambda) + 25(4-\lambda)(5-\lambda) = 0

Expand the terms:

4(125 - 30\lambda + \lambda^2) + 5(100 - 29\lambda + \lambda^2) + 25(20 - 9\lambda + \lambda^2) = 0 (500 - 120\lambda + 4\lambda^2) + (500 - 145\lambda + 5\lambda^2) + (500 - 225\lambda + 25\lambda^2) = 0

Combine like terms to form a quadratic equation in \lambda:

34\lambda^2 - 490\lambda + 1500 = 0

Divide by 2 to simplify:

17\lambda^2 - 245\lambda + 750 = 0

Step 4: Find the roots of the quadratic equation

Use the quadratic formula \lambda = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}:

\lambda = \frac{245 \pm \sqrt{(-245)^2 - 4(17)(750)}}{2(17)} \lambda = \frac{245 \pm \sqrt{60025 - 51000}}{34} = \frac{245 \pm \sqrt{9025}}{34}

Since \sqrt{9025} = 95, the roots are:

\lambda_1 = \frac{245 + 95}{34} = \frac{340}{34} = 10 \lambda_2 = \frac{245 - 95}{34} = \frac{150}{34} = \frac{75}{17}

Final Answer:

Since f = \lambda, the extreme values of u^2+v^2+w^2 are exactly the roots we found:

  • Maximum Value: 10
  • Minimum Value: \frac{75}{17}

HPAS 2021 Maths Optional Paper-1 Question 3(c)

Using the concept of Gamma and Beta functions, show that:

\int_{0}^{\pi/2} \sqrt{\tan x} \,dx = \frac{\pi}{\sqrt{2}}

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 4(a)

Find the directional derivative of f(x,y) = x^2y^3 + xy at the point (2,1) in the direction of a unit vector which makes an angle of \pi/3 with the x-axis.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 4(b)

Show that a function f defined on the real line \mathbb{R} is continuous if and only if for each open set G in \mathbb{R}, f^{-1}(G) is an open set in \mathbb{R}.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 4(c)

Test the convergence of the integral:

\int_{0}^{4} \frac{\sin^2 x}{\sqrt{x}(x-1)} dx

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 5(a)

Show that the smallest root of the equation J_0(x)=0 lies in the interval (2, \sqrt{8}), where J_0(x) is the Bessel’s function of order zero.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 5(b)

Solve the ordinary differential equation:

\{x^2D^2 - (2m-1)xD + (m^2+n^2)\}y = n^2x^m \log x

where D=d/dx.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 5(c)

Find the series solution near x=0 of the differential equation:

x(1-x)\frac{d^2y}{dx^2} + (1-x)\frac{dy}{dx} - y = 0

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 6(a)

Show that the radius of curvature R at any point (r, \theta) on the curve r^2 = a^2 \sec(2\theta) is proportional to r^3.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 6(b)

Evaluate \int_C (x+y)dx - x^2dy + (y+z)dz, where C is the curve defined by x^2=4y, z=x, and 0 \le x \le 2.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 6(c)

Verify Stokes’s theorem for the vector field \vec{v} = (3x-y)\mathbf{i} - 2yz^2\mathbf{j} - 2y^2z\mathbf{k}, where S is the surface of the sphere x^2+y^2+z^2=16 and z > 0.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 7(a)

Determine the center and radius of the circle in which the sphere x^2+y^2+z^2+2x-2y-4z-19=0 is cut by the plane x+2y+2z+7=0.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 7(b)

Three forces act perpendicular to the sides of a triangle at their middle points and are proportional to the sides. Show that they are in equilibrium.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 7(c)

Show that the only law for a central attraction, for which the velocity in a circle at any distance is equal to the velocity acquired in falling from infinity to that distance, is that of the inverse cube.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 8(a)

The resultant of two forces acts along a line perpendicular to one force and is in magnitude half the other. Compute the angle between the forces.

Solution:

Enter solution here

HPAS 2021 Maths Optional Paper-1 Question 8(b)

A particle of mass m is attached to a light wire which is stretched tightly between two fixed points with a tension T. If a and b are the distances of the particle from the two ends, then show that the period of the small transverse oscillation of m is 2\pi\sqrt{\frac{mab}{T(a+b)}}.

Solution:

Enter solution here

Leave a Comment