Chapter 4: Problem 8
Let \(a, b, c \in \mathbf{Z}^{+}\)with \(\operatorname{gcd}(a, b)=1\). If \(a \mid c\) and \(b \mid c\), prove that \(a b \mid c\). Does the result hold if \(\operatorname{gcd}(a, b) \neq 1\) ?
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 4: Problem 8
Let \(a, b, c \in \mathbf{Z}^{+}\)with \(\operatorname{gcd}(a, b)=1\). If \(a \mid c\) and \(b \mid c\), prove that \(a b \mid c\). Does the result hold if \(\operatorname{gcd}(a, b) \neq 1\) ?
All the tools & learning materials you need for study success - in one app.
Get started for free
As in Example \(4.20\) let \(L_{0}, L_{1}, L_{2}, \ldots\) denote the Lucas numbers, where (1) \(L_{0}=2, L_{1}=1\); and (2) \(L_{n+2}=L_{n+1}+\) \(L_{n}\), for \(n \geq 0\). When \(n \geq 1\), prove that $$ L_{1}^{2}+L_{2}^{2}+L_{3}^{2}+\cdots+L_{n}^{2}=L_{n} L_{n+1}-2 $$
Let \(n \in \mathbf{Z}^{+}\)with \(u\) the units digit of \(n\). Prove that \(7 \mid n\) if and only if \(7 \mid\left(\frac{n-u}{10}-2 u\right)\).
Let \(n \in \mathbf{Z}^{+}\)with \(n=r_{k} \cdot 10^{k}+\cdots+r_{2} \cdot 10^{2}+r_{1} \cdot 10+r_{0}\) (the base- 10 representation of \(n\) ). Prove that a) \(2 \mid n\) if and only if \(2 \mid r_{0}\) b) \(4 \mid n\) if and only if \(4 \mid\left(r_{1} \cdot 10+r_{0}\right)\) c) \(8 \mid n\) if and only if \(8 \mid\left(r_{2} \cdot 10^{2}+r_{1} \cdot 10+r_{0}\right)\) State a general theorem suggested by these results.
If \(a, b \in \mathbf{Z}^{+}\), and both are odd, prove that \(2 \mid\left(a^{2}+b^{2}\right)\) but \(4 \chi\left(a^{2}+b^{2}\right)\)
For \(a, b, n \in \mathbf{Z}^{+}\), prove that \(\operatorname{gcd}(n a, n b)=n \operatorname{gcd}(a, b)\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.