4
Explanation:
hmm 2 + 2 can be written as 1 + 1 + 1 + 1. This is equivalent to 1(4). Since 1 * 4 = 4 our answer is 4.
That's a pretty straightforward way of solving. Now to something more theoretical:
Here is something I found on Qoura. Remember! I didn't come up with this, but it's a really cool explanation:
The set of integers is an (infinite) group with respect to addition. Since 2 is an integer, the sum of 2 and 2 must also be an integer. Suppose, for the sake of contradiction, that 2 + 2 < 4. We have 2 > 0. Adding two to both sides, we get 2+2 > 0+2. Since 0 is the identity element for addition, we have 2 + 2 > 2. Hence 2 < 2 + 2 < 4 so 2 + 2 must equal 3. Since 3 is prime, by Fermatβs Little Theorem we have the following for a β Z +: a ^3β1 β‘ 1 (mod 3) a^3β1 β‘ 1 (mod 2 + 2) But a^3β1 = a^3/a = a Γ a Γ a/ a = a Γ a and, for a = 2, 2 Γ 2 β‘ 0 (mod 2 + 2) since, by the definition of multiplication, 2 Γ 2 = 2 + 2. So, we have 2^3β1 β‘ 0 (mod 2 + 2) 2^2+2β1 β‘ 0 (mod 2 + 2) This is a contradiction to Fermatβs Little Theorem, so 2 + 2 must not be prime. But 3 is prime. Hence 2+2 must not equal 3, and therefore 2+2 β₯ 4. It remains to show that 2 + 2 is not greater than 4.
To prove this we need the following lemma:
Lemma. βa β Z, if a > 4, βb β Z such that b > 0 and a β 2 = 2 + b. If a were a solution to the equation 2 + 2 = a, then we would have a β 2 = 2 + 0. The lemma states that this cannot hold for any a > 4, and so a = 4, as desired.
The proof is by induction over a. Our base case is a = 5. Let 5β2 = 2+b. Five is the 5th Fibonacci number, and 2 is the 3rd Fibonacci number. Therefore, by the definition of Fibonacci numbers, 5 β 2 must be the 4th Fibonacci number. Letting fi denote the ith Fibonacci number, then we have fi β fiβ1 > 0 for iβ 2, because f2 β f1 = f0 and f0 = 0, but f1 = 1, and the Fibonacci sequence is non decreasing. Hence (5 β 2) β 2 > 0. Now, suppose that βb β Z such that b > 0 and (k β 1) β 2 = 2 + b. We need to prove that, for some bβ > 0, k β 2 = 2 + bβ . Our inductive hypothesis is equivalent to: k β 1 β 2 = 2 + b
k β 1 β 2 + 1 = 2 + b + 1
k β 2 = 2 + (b + 1)
Since 1 > 0 and b > 0, we have (b + 1) > 0. Thus, letting bβ = b + 1, we have a nonnegative solution to k β 2 = 2 + bβ , as desired. By Lemma , it is not the case that 2 + 2 > 4. Hence 2 + 2 β€ 4. We also have 2 + 2 β₯ 4.
Therefore, 2 + 2 = 4