91Ó°ÊÓ

Integer parity refers to the attribute of an integer being even or odd. An even number is any integer that can be divided by 2 without a remainder; this includes numbers like 2, 4, 6, and so on. Conversely, an odd number is an integer that, when divided by 2, leaves a remainder of 1; examples are 1, 3, 5, etc.

In the context of our exercise, understanding parity is crucial because it helps us determine the divisibility of an expression like \(a^2 - 1\). Given the expression \(a^2 - 1\) is even, we use the concept of parity to deduce further divisibility properties. Given that an odd number squared still results in an odd number, we infer that for \(a^2 - 1\) to be even, \(a\) must be odd (since subtracting one from an odd number results in an even number).

The difference of squares is a mathematical expression that describes the difference between the squares of two numbers. It is represented as \(a^2 - b^2\), which can be factored into \((a + b)(a - b)\).

For our exercise, the difference of squares comes into play when factoring \(a^2 - 1\) into \((a + 1)(a - 1)\). This form is revealing because it simplifies the exploration of the number's divisibility properties, in particular by 4. The factored form helps us see that the evenness of the expression \(a^2 - 1\) suggests that both \(a + 1\) and \(a - 1\) must be even if \(a\) is odd, leading us to further analyze their divisibility by 2 and ultimately by 4.

Divisibility by 4 is a property of numbers where a given number can be evenly divided by 4 with no remainder. To determine if a number is divisible by 4, one can check if the last two digits of the number form a number that is divisible by 4.

When proving that \(a^2 - 1\) is divisible by 4 if it is even, we look at the factorization \((a + 1)(a - 1)\). If both factors are even, as implied when \(a\) is odd, each can be expressed as 2 times another integer, say \(2m\) and \(2n\) respectively. Multiplying these together yields \(4(mn)\), showing that the original expression is indeed divisible by four, satisfying the conditions of the exercise.

Even and odd integers are foundational concepts in arithmetic and number theory. An integer is even if it is a multiple of 2, such as ...-4, -2, 0, 2, 4, ..., and it is odd if it is one more or one less than an even number, such as ...-3, -1, 1, 3, 5, ... .

In our exercise, we use the properties of even and odd integers to understand the behavior of the expression \(a^2 - 1\). An integral part of the proof is recognizing that the difference between an even and odd integer is always even, as is the sum. Thus, if \(a\) is odd, \(a + 1\) and \(a - 1\) are consecutive even integers, whose multiplication (being a difference of squares) must be divisible by 4. This characteristic is essential for demonstrating the desired proof in the exercise.