Any integer of the form ## 8^n+1 ##, where n##\geq##1, is composite?

Click For Summary

Homework Help Overview

The discussion revolves around the nature of integers of the form \(8^n + 1\) for \(n \geq 1\), specifically whether they are composite. Participants explore mathematical reasoning related to factorization and divisibility.

Discussion Character

  • Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Some participants discuss the factorization of \(8^n + 1\) and its implications for compositeness. Others question the process of division related to the factors identified, seeking clarification on the steps involved.

Discussion Status

The discussion includes attempts to validate the claim of compositeness through various mathematical approaches. Participants are engaging with the reasoning presented and exploring further calculations without reaching a definitive consensus.

Contextual Notes

Participants are working under the assumption that \(n\) is an integer greater than or equal to 1, and there is an exploration of the implications of this constraint on the problem at hand.

Math100
Messages
823
Reaction score
234
Homework Statement
Establish the following statement:
Any integer of the form ## 8^n+1 ##, where n##\geq##1, is composite.
[Hint: ## 2^n+1\mid 2^{3n} +1 ##.]
Relevant Equations
None.
Proof:

Suppose ##a=8^n+1 ## for some ##a \in\mathbb{Z}## such that n##\geq##1.
Then we have ##a=8^n+1 ##
=## (2^3)^n+1 ##
=## (2^n+1)(2^{2n} -2^n+1) ##.
This means ## 2^n+1\mid 2^{3n} +1 ##.
Since ##2^n+1>1## and ##2^{2n} -2^n+1>1## for all n##\geq##1,
it follows that ##8^n+1## is composite.
Therefore, any integer of the form ##8^n+1 ##, where n##\geq##1, is composite.
 
Last edited:
  • Like
Likes   Reactions: fresh_42
Physics news on Phys.org
Correct. You should begin with the next chapter.
 
  • Like
Likes   Reactions: Math100
E.g. you have been told that ##(2^n+1)\,|\,(2^{3n}+1)## and your calculation shows how. Now, can you also divide ##(2^{3n}+1) \, : \,(2^{n}+1) = ## by long division?
 
  • Like
Likes   Reactions: Math100
It's ## 2^{2n} +1-2^n ##.
 
Let ##m = 2^n##, so that ##a = m^3 + 1##. By the remainder theorem ##m + 1## is a factor of ##m^3 + 1##. Also, for ##m > 1## we have ##m^3 +1 \ne m + 1##, so the other factor cannot be ##1##. Hence ##a## is composite for ##n \ge 1##.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
Replies
7
Views
4K
  • · Replies 30 ·
2
Replies
30
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 12 ·
Replies
12
Views
6K
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K