Propositions and their Converses

Vocabulary flashcards covering mathematical logic, propositions, converses, counterexamples, factor properties, geometric theorems, and quadrilateral classifications from Ganita Manjari Grade 9.

Proposition

A mathematical statement that is either true or false.

Converse

The proposition of the form 'if $Y$ then $X$' formed by reversing the premise and conclusion of a proposition of the form 'if $X$ then $Y$'.

Counterexample

A specific instance or situation that contradicts a stated proposition, thereby demonstrating that the proposition is false.

'X implies Y'

An alternative formulation that is used interchangeably with the conditional statement 'if $X$ then $Y$' (also expressed as '$Y$ when $X$').

Factor-Partner Pair

A pair of factors of a given number whose product yields that number, such as $(5, 7)$ for $35$, or $(1, 12)$, $(2, 6)$, and $(3, 4)$ for $12$.

Odd Number of Factors Property

The property establishing that a positive integer $n$ is a perfect square if and only if it has an odd number of factors, caused by the existence of exactly one factor-partner pair with repeating factors $(f, f)$.

Euler's Counterexample to Fermat's Claim

The counterexample that disproved Fermat's claim (that all numbers of the form $2^{2^n} + 1$ are prime) by demonstrating that $2^{2^5} + 1$ is a composite number.

Baudhāyana-Pythagoras Theorem

The geometric theorem stating that if $a$, $b$, and $c$ are the sidelengths of a triangle, and the triangle is right-angled, then $a^2 + b^2 = c^2$.

Converse of the Baudhāyana-Pythagoras Theorem

The theorem stating that if $a$, $b$, and $c$ are sidelengths of a triangle such that $a^2 + b^2 = c^2$, then the triangle is right-angled; proved by constructing a right triangle $\Delta XYZ$ with perpendicular sides $a$ and $b$ and applying the SSS congruence criterion.

Incentre

The internal point of a triangle where the bisectors of the angles meet (denoted as $I$).

Prime-Generating Expressions

Algebraic forms conjectured to generate only primes (such as $4n^2 + 1$, $n^2 + n + 11$, or $4^n + 3$), which can be disproven using counterexamples since no neat formulas are known to yield solely prime numbers.

Triangle Congruence and Area Relation

The mathematical principle that if two triangles are congruent, then they have the same area, whereas the converse is false because two non-congruent triangles can have identical areas.

Diagonal Property of Quadrilateral Type Q

The mathematical problem analyzing whether having diagonals of equal length is a necessary property ('if of type $Q$, then equal diagonals') or a sufficient condition ('if equal diagonals, then of type $Q$') when constructing quadrilaterals using two sticks.