Geometry Basics – Advanced Study Notes
For the Madhya Pradesh Patwari / Lekhpal Quantitative Aptitude Exam
(MIT‑Level, First Principles, Rigorous Reasoning, Edge‑Cases & a Challenging Problem)
1. Overview
- Purpose: Provide a solid, theorem‑driven foundation on planar and spatial geometry that can be applied to quantitative aptitude questions.
- Audience: Candidates preparing for the Patwari / Lekhpal exam who need a deep, rigorous understanding of geometry.
- Structure:
- Axioms & Definitions
- Fundamental Theorems (Euclidean plane & 3‑D space)
- Coordinate Geometry – analytic proofs & applications
- Edge‑Cases & Common Pitfalls
- Practice Problems & Solutions
- A Challenging Problem (with full solution)
2. Axioms & Basic Definitions
| Symbol | Meaning | Remark |
|---|---|---|
| (P,Q,R,\dots) | Points in (\mathbb{R}^2) or (\mathbb{R}^3) | Generic points |
| (\overline{PQ}) | Line segment joining (P,Q) | Length ( |
| (\angle PQR) | Angle with vertex (Q) | Measured in degrees or radians |
| (\triangle PQR) | Triangle with vertices (P,Q,R) | Non‑degenerate if area (>0) |
| (C(P,r)) | Circle centered at (P) with radius (r>0) |
2.1 Euclidean Axioms (Hilbert’s Axioms – simplified)
- Incidence: Through any two distinct points there is exactly one line.
- Order: Three distinct points on a line can be ordered; one lies between the other two.
- Congruence: Two segments have the same length iff they are congruent.
- Parallelism: Given a line (l) and a point (P) not on (l), there is exactly one line through (P) parallel to (l).
- Continuity: The set of points on any line is isomorphic to (\mathbb{R}).
- Axiom of Completeness: Every bounded non‑empty set of points has a least upper bound (used to justify limits in coordinate geometry).
Note: For quantitative aptitude, we rarely need to prove these axioms; they provide the logical backdrop for all theorems that follow.
3. Fundamental Theorems & Proofs
3.1 Triangle Inequality (Strict & Non‑Strict)
Theorem: For any triangle (\triangle ABC), [ AB + BC > AC,\quad AB + AC > BC,\quad AC + BC > AB. ]
Proof (First Principles)
Assume (AB+BC \le AC). Place (A,B,C) on a line with (B) between (A) and (C). Then (AB+BC = AC), contradicting the assumption that (A,B,C) form a non‑degenerate triangle. Hence the inequality is strict.
Edge‑Case: If (A,B,C) are collinear, the inequality becomes an equality, forming a degenerate triangle. In aptitude problems, such configurations usually signal a trick (e.g., “area = 0”).
3.2 Pythagorean Theorem (Right Triangle)
Theorem: In a right triangle with legs (a,b) and hypotenuse (c), [ a^2+b^2=c^2. ]
Proof (Euclidean Geometry)
Construct squares on each side; show that the area of the square on the hypotenuse equals the sum of the other two squares via a partition argument (classical Euclid, Book 1, Prop. 47).
Rigorous Analytic Proof: Let (\triangle ABC) be right at (C). Assign coordinates (C=(0,0), A=(a,0), B=(0,b)). Then [ c^2 = |AB|^2 = (a-0)^2+(0-b)^2 = a^2+b^2. ]
3.3 Circle Geometry
3.3.1 Tangent–Radius Perpendicularity
Theorem: If (\ell) is tangent to circle (C(O,r)) at point (T), then (\overline{OT}\perp \ell).
Proof: Suppose not; reflect (T) across (\ell) to (T'). Both (T,T') lie on circle, so (|T'T|=0) contradicting distinctness.
3.3.2 Chord Theorem (Equal Chords Subtend Equal Angles)
Theorem: In the same circle, if two chords subtend equal central angles, they have equal lengths.
Proof: Let chords (AB) and (CD) subtend (\angle AOB=\angle COD). By symmetry, consider the isosceles triangles (OAB) and (OCD); equal central angles imply equal base angles and thus equal chords.
3.4 Coordinate Geometry Foundations
3.4.1 Distance Formula
Given points (P(x_1,y_1)) and (Q(x_2,y_2)), [ |PQ|=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}. ]
Derivation: From the Pythagorean theorem applied to the right triangle formed by horizontal and vertical differences.
3.4.2 Midpoint Formula
[ M!\left(\frac{x_1+x_2}{2},\frac{y_1+y_2}{2}\right