# Establishing divisibility by a prime

Mathematics Asked on January 3, 2022

Let $$a,b,c$$ belong to $${0,1,….p-1}$$, where $$p$$ is an odd prime. We need to find the number of triplets $$(a,b,c)$$ such that $$a^2-bc$$ is divisible by $$p$$, but $$a$$ isn’t.

The solution to this problem claims that there are $$(p-1)$$ ways to choose $$a$$, $$(p-1)$$ ways for $$b$$, and for each $$(a,b)$$, there is one value of $$c$$. So, a total of $$(p-1)^2$$ cases.

Now the first two statements make perfect sense: $$a$$ can be anything except $$0$$, since $$a$$ is not divisible by $$p$$. $$b$$ cannot be zero, since then $$a^2-bc=a$$, which can’t be divisible by $$p$$. However, I have no idea why for each $$(a,b)$$ there will always be a value for $$c$$, and not more than $$1$$.

I tried to prove this, but couldn’t get far. I could only establish that $$a^2$$ can be congruent to $${1,4,9,ldots,frac{1}{4}(p-1)^2}$$ mod $$p$$. Combining this with the fact that $$b$$ can be $${1,2,3,ldots,p-1}$$ mod $$p$$, I can’t think of any reasoning that forces $$c$$ to take only a single value for each $$(a,b)$$.

If $$a^2-bc$$ is divisible by $$p$$, then $$a^2-bcequiv0pmod p$$, so $$a^2equiv bcpmod p$$.

Given $$bin{1,...,p-1}$$, there is a unique $$tin {1,...,p-1}$$ such that $$btequiv1bmod p$$;

$$t$$ is the multiplicative inverse modulo $$p$$ of $$b$$.

Then $$ta^2equiv tbcequiv1cequiv cpmod p$$, so $$c$$ is uniquely determined.

Answered by J. W. Tanner on January 3, 2022

## Related Questions

### Binomial conditional on Poisson

0  Asked on November 16, 2021 by linhares

### In infinite dimensions, is it possible that convergence of distances to a sequence always implies convergence of that sequence?

2  Asked on November 16, 2021 by nikhil-sahoo

### How to express birational equivalence of Diophantine equation $x^4+y^4=z^2$ and elliptic curve?

1  Asked on November 16, 2021 by andrew-li

### How to solve these kind of Modular Arithmetics situations?

0  Asked on November 16, 2021 by rubenszinho

### Can you find an invertible submatrix?

1  Asked on November 16, 2021 by user326210

### Bounded linear map which is not continuous

2  Asked on November 16, 2021

### Is $(mathbb{Z}, times)$ also a group?

4  Asked on November 16, 2021

### IMO problems, can someone help me to learn problem solving skills?

0  Asked on November 16, 2021

### Probability that $max(X_1, ldots, X_n) – min(X_1, ldots, X_n) leq 0.5$

3  Asked on November 16, 2021

### Can $y=10^{-x}$ be converted into an equivalent $y=mathrm{e}^{-kx}$?

4  Asked on November 16, 2021

### Solving $left(x-c_1frac{d}{dx}right)^nf(x)=0$ for $f(x)$

3  Asked on November 16, 2021

### What is an intuitive approach to solving $lim_{nrightarrowinfty}biggl(frac{1}{n^2} + frac{2}{n^2} + frac{3}{n^2}+dots+frac{n}{n^2}biggr)$?

11  Asked on November 16, 2021

### Why does the Binomial Theorem use combinations and not permutations for its coefficients?

5  Asked on November 16, 2021 by jor

### The convergence of the improper integral $int_{0}^inftyfrac{sin^2(x)}{x^{5/2}},dx$

3  Asked on November 16, 2021

### Taking the matrix derivative of the product of one matrix and a Hadamard Product.

2  Asked on November 16, 2021

### Is Basic Mathematics by Serge Lang rigorous?

1  Asked on November 16, 2021 by bonsoir

### Variance Estimator in Simple Random Sampling Without Replacement

1  Asked on November 16, 2021 by guilty_scene

### Has anyone attempted solving the Poincaré conjecture using Lie groups?

0  Asked on November 16, 2021 by paul-cusson

### General integral $int_0^{frac{pi}{p}}lntan x ,dx$

3  Asked on November 16, 2021 by naren

### Evaluating $I=oint frac{cos(z)}{z(e^{z}-1)}dz$ along the unit circle

1  Asked on November 16, 2021 by random-name