91Ó°ÊÓ

Numbers can either be odd or even, and this characteristic is essential in discrete mathematics for solving various problems. An even number is one that can be divided by 2 without encountering a remainder. Mathematically, even numbers take the form of \(2k\), where \(k\) is an integer. In contrast, odd numbers cannot be evenly divided by 2, and they are generally represented as \(2k + 1\). This is also with \(k\) as an integer.
To differentiate with an example:

• The number 8 is even because it can be expressed as \(2 \times 4 = 8\).
• On the other hand, 11 is odd since it fits the form \(2 \times 5 + 1 = 11\).

This representation makes it easy to work with numbers in proofs and guarantees logical consistency during operations like addition and multiplication of integers.

Integer representation is a way to express numbers, particularly to analyze their characteristics or perform calculations. In the context of odd and even numbers, integers are usually placed within specific forms to simplify understanding.
For instance, an integer can be broadly represented as \( a = 2k \) if it is even, or \( a = 2k+1 \) if it is odd. This formula-based form helps in visualizing and mathematically manipulating integers in problem-solving.
When adding integers, especially odd ones, it's helpful to rewrite them in terms of their fundamental components. Consider a sum of odd integers: \[ (2k_1 + 1) + (2k_2 + 1) + ... + (2k_n + 1) \].
By bringing similar components together, one can efficiently solve equations and verify properties like evenness or oddness.

Proof techniques are indispensable tools in mathematics to establish the veracity of statements. One common method is mathematical induction, but with simpler properties like even and odd numbers, direct proof is often utilized.
In our context, when tasked with proving the sum of \(n\) odd integers is even if and only if \(n\) is even, a direct method is applied:

• Each odd integer \(2k+1\) is summed up, and the terms are rearranged to isolate the even components.
• For example, the sum \((2k_1 + 1) + (2k_2 + 1) + ... + (2k_n + 1)\) is transformed into \(2(k_1 + k_2 + ... + k_n) + n\).
• This explicitly shows an even part \(2(k_1 + k_2 + ... + k_n)\) plus the constant \(n\).

The clarity provided by such direct proofs forms a direct path to understanding why the sum is even only when \(n\) is even.
Proofs illuminate how the logical structure of math upholds certain truths.