[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 90 KB, 645x729, retarded wojak.png [View same] [iqdb] [saucenao] [google]
9421200 No.9421200 [Reply] [Original]

if an integer is divisible by a and by b, is it always divisible by ab?

>> No.9421202

>>9421200
>if an integer is divisible by a and by b, is it always divisible by ab?
No.

>> No.9421203

>>9421200
Hey, brainlet
2|4
4|4
8|4 ?!

>> No.9421208

>>9421200

No. ab could be too large.

12 is divisible by 3 & 3, but it is not divisible by 9.

12 is divisible by 6 and 3, but it is not divisible by 18.

You can define ab in such a way that it could be made true. Something along the lines of prime factorization theorem.

>> No.9421213
File: 8 KB, 211x239, 1515191967585.png [View same] [iqdb] [saucenao] [google]
9421213

Why is it that [math] 2|a^2 \Rightarrow 2|a [/math]? It's something to do with 2 being prime.
It's the one thing about the proof of the irrationality of [math]sqrt{2}[/math] that I don't understand.

>> No.9421215

>>9421213
[math]\sqrt{2}[/math]*

>> No.9421231

>>9421213
>Why is it that 2|a2⇒2|a?
https://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic

>> No.9421245

>>9421213
if 2 is prime and 2 divides a^2, then in the prime decomposition of a^2 there has to be at least one 2. But given that there is no prime whose square is 2, then there's at least two 2s in the prime decomposition of a^2 (in fact, an even amount). Then in the prime decomposition of a, where you divide all the prime powers in the decomposition of a^2 by 2, there is at least one 2.
qed

>> No.9421254

>>9421200
the integer is divisible by gcd(a,b) and ab divides lcm(a,b)

>> No.9421267

>>9421245
>But given that there is no prime whose square is 2
Prove it.

>> No.9421280

>>9421200
https://en.wikipedia.org/wiki/P-adic_number

a divides c if and only if for all p prime integer, Vp(a) <= Vp(c).

Vp(ab) = Vp(a) + Vp(b)

Therefore no.

>> No.9421320

as long as ab doesn't equal 0, yes.

Some people in this thread find it difficult to not breathe manually.

>> No.9421347 [DELETED] 
File: 211 KB, 450x325, 1486411817225.png [View same] [iqdb] [saucenao] [google]
9421347

What function describes the frequency of [math]Cos(x^2x!)[/math]? I am stuck. I have never tried finding the frequency of a function that wasn't first-order before.

>> No.9421352

>>9421347
>the frequency
What are you talking about?
Your shit isn't periodic

>> No.9421389
File: 736 KB, 1080x1080, Screenshot_2017-12-30-16-57-48-1.png [View same] [iqdb] [saucenao] [google]
9421389

>>9421203
>No
>4÷8 = NaN
>12÷9 = NaN

>> No.9421399

>>9421389
>hurr i dont know how to divide
Okay imagine a thing. You cut the thing in two with 1 cut. You now have two things.
1 ÷ 1 = 2

>> No.9421403

>>9421320
4 is divisible by 4 and by 2, but not by 8.

Think before you insult everyone else. OP's statement is only true if a and b are coprime (a proof of this is left as an exercise to the poster).

>> No.9421404

>>9421399
b8

one divided into 2 things is 2 things
1÷2 = 2

>> No.9421406
File: 94 KB, 866x900, 1512784797225.png [View same] [iqdb] [saucenao] [google]
9421406

>>9421403
>4 is not divisible by 8

>> No.9421411

>>9421406
a * 8 = 4

What integer a makes this equality true?

>> No.9421412

>>9421200
2 is divisible by 2 and 2, but not by 4...

>> No.9421418
File: 5 KB, 250x174, brainlets....jpg [View same] [iqdb] [saucenao] [google]
9421418

>>9421411
Nothing implied A and B had to be integers

>> No.9421427

>>9421418
Back to poorly trolling leddit.
https://www.reddit.com/r/xkcd/comments/7mvjyl/xkcd_1935_2018/drx2z9d/

>> No.9421453

>>9421267
Let p be a prime with p^2 = 2. Since 1^2 = 1 and 2^2 = 4, then in particular 1<p<2. But there are not integers between 1 and 2. Contradiction

>> No.9421468

>>9421200
suffices to show one example

24 is divisible by 3, 6, 2 and probs more but not by 3*6=18

>> No.9421483
File: 713 KB, 512x768, 1514317516287.png [View same] [iqdb] [saucenao] [google]
9421483

>>9421427
>browsing reddit

>> No.9421642

>>9421200
WLOG, let [math] s,\ a,\ b \in \mathbb{Z_{+}} [/math] with s divisible by a and b, i.e. [math] \exists s_a,\ s_b \in \mathbb{Z} [/math] such that:
[math] s = as_a [/math]
[math] s = bs_b [/math]
[math] s^2 = abs_as_b [/math]
then
[math] \frac{s^2}{s_as_b} = ab [/math]
suppose now that ab divides s, i.e.
[math] \frac{s}{ab} = \frac{s_as_b}{s} \in \mathbb{Z} [/math]
then [math] \exists x,y \in \mathbb{Z} [/math] such that [math] s_b = x\frac{s}{s_a} =
xa [/math], and similarly [math] s_a = yb [/math].
but [math] aby = as_a = s = bs_b = abx [/math] so [math] x = y [/math].

it is easy to see that this is true if and only if x = 1, so s is divisible by the product of two of its divisors if and only if it is the product of those divisors.

>> No.9421650

>>9421642
2 of those lines (about s^2) are redundant but whatever.

>> No.9421676

>>9421642
2,3,6,12

>> No.9421680

>>9421411
dubs

>> No.9421688
File: 4 KB, 183x275, brainlet.png [View same] [iqdb] [saucenao] [google]
9421688

yall are trying way too hard

if x is divisible by a, x = ai
if x is divisible by b, x = bj
when x is divisible by both
x/(a*b) = x/(x/i * x/j) = x/(x^2/ij) = ij/x

so OPs statement is only true if x divides the product of the multiplier things

28 is divisible by 7 and by 14 but 28 doesnt divide 4*2

28 is divisible by 7 and 2 and divides 4*14

>> No.9421695

>>9421200
>220
>a:5
>b:10
>ab:50
Nope

>> No.9423173

>>9421403
OP's statement isn't only true for coprime a & b. For example, 8 is divisible by a = 2, b = 4, ab=8.

>> No.9423404

>>9423173
\thread