Find a: Solve Discrete Math Problem with a & x Intergers

AI Thread Summary
The problem involves finding integer values for a and x, given the conditions a > 1 and that a divides both 11x + 3 and 55x + 52. The discussion highlights the approach of expressing the equations in terms of integers p and q, leading to the equations 11x + 3 = pa and 55x + 52 = qa. By manipulating these equations, the user eliminates x and derives the relationship 37 = (q - 5p)a. Since 37 is a prime number, the only possible values for a are its divisors, which leads to the conclusion that a must be 37.
boiseneon
Messages
2
Reaction score
0
ok the problem is

Given that a and x are intergers, a>1, a|(11x+3), a|(55x+52), find a.

I am not sure how to even start this one to find a...any help please :cry:
 
Physics news on Phys.org
There are integers p, q such that

11x + 3 = pa,
55x + 52 = qa.

Try eliminating x...
 
ok how do I eliminate x??
 
I am not at all familiar with number theory but I think got the answer:
First of all we have a>1>0 and x>0

11x+3=pa<=>55x+15=5pa (1)
55x+52=qa (2)

(2)-(1)=>37=(q-5p)a
q,p are natural numbers
So a|37 and 37 is a prime=> ...
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top