Prove Integer Expression: a(a^2 + a)/3 is an Integer

Click For Summary

Homework Help Overview

The discussion revolves around proving that the expression \(\frac{a(a^2 + a)}{3}\) is an integer for all integers \(a \geq 1\). Participants explore the validity of this claim and the implications of integer properties.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Some participants attempt to apply the division algorithm to express \(a(a^2 + a)\) in the form \(3q + r\) and analyze the possible values of \(r\). Others question the initial claim by providing counterexamples, such as \(a = 1\), which yields a non-integer result. There are also corrections made regarding the expression under consideration, shifting the focus to \(\frac{a^3 - a}{3}\) and suggesting factoring as a potential approach.

Discussion Status

The discussion is ongoing, with participants providing corrections and exploring different interpretations of the problem. Some guidance has been offered regarding the need for clarity in variable definitions and the implications of remainders in the context of divisibility.

Contextual Notes

There are indications of confusion regarding the original expression and its validity for all integers, as well as the introduction of new variables without sufficient explanation. The discussion reflects a mix of attempts to clarify the mathematical reasoning and address assumptions about integer properties.

Ed Aboud
Messages
200
Reaction score
0

Homework Statement



Prove that the expression [tex]\frac{a(a^2 + a)}{3}[/tex] is an integer for all integers [tex]\geq 1[/tex]

Homework Equations


The Attempt at a Solution



[tex]a(a^2 + a ) = 3q + r[/tex]

r can be:

[tex]r = 0,1,2[/tex]

for r = 0

[tex]\frac{a(a^2 + a)}{3} = q[/tex]

q is an integer by the division algorithm.

When I try this attempt with 3q+1 and 3q+2 I can't get it to work.

Thanks in advance.

Homework Statement


Homework Equations


The Attempt at a Solution

 
Physics news on Phys.org
This is not true for all positive integers. For example, setting a = 1 gives 2/3.
 
Sorry there is a correction [tex]\frac{a^3 -a}{3}[/tex]
 
Ed Aboud said:
Sorry there is a correction [tex]\frac{a^3 -a}{3}[/tex]

You might want to factor [itex]a^3 -a[/itex], and show that for all integers [itex]a\geq1[/itex], one of the factors will be divisible by 3.
 
Ed Aboud said:

The Attempt at a Solution



[tex]a^3 - a = 3q + r[/tex]

r can be:

[tex]r = 0,1,2[/tex]

for r = 0

[tex]\frac{a^3 - a}{3} = q[/tex]

q is an integer by the division algorithm.
Where did q and r come from? :confused: Whenever you introduce new variables, you need to say what they are, and why they should have the properties you say they have. You need to say something like "By the division algorithm, we can select integers q and r such that a^3 - a = 3q + r, where 0 <= r < 3". If you don't explain the introduction of new variables, then your work is just nonsense.

Yes, I was able to figure out what you meant, but that's irrelevant; it would be completely analogous to saying "me food want" in your English classes.

When I try this attempt with 3q+1 and 3q+2 I can't get it to work.
Of course not. If r=1 or r=2, then (a^3-a)/3 is not an integer. That's what 'remainder' means, right? And r is supposed to be a remainder?
 
Fermat's little theorem: a^2 Mod 3 = 1 if a is not a multiple of 3. So we always have that a^3 = a Mod 3.
 

Similar threads

Replies
27
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
6
Views
2K
Replies
9
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
2K
Replies
6
Views
3K