# 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

### Is this the right way of solving $frac{d}{dx}(sin(x)cdot x^2)$

1  Asked on November 1, 2021

### If$|f(x)-f(y)|le (x-y)^2$, prove that $f$ is constant

3  Asked on November 1, 2021 by user31415

### How to evaluate $int _0^{infty }frac{ln left(x^3+1right)}{left(x^2+1right)^2}:dx$ without complex analysis

2  Asked on November 1, 2021 by user809806

### Given an $ntimes ntimes n$ cube, what is the largest number of $1times 1times 1$ blocks that a plane can cut through?

5  Asked on November 1, 2021 by maomao

### Does the center of a perfect group not contain all elements of prime order?

3  Asked on November 1, 2021

### Intuition on spectral theorem

3  Asked on November 1, 2021 by eureka

### Question about finding roots of a polynomial and studying the nature

1  Asked on November 1, 2021 by user801681

### Integrate $frac{theta sin theta}{1+cos^2 theta}$ with respect to $theta$

4  Asked on November 1, 2021 by user768934

### Zeno’s Achilles & Tortoise – Where exactly is the proof wrong?

18  Asked on November 1, 2021 by aman_cc

### Is it possible to justify these approximations about prime numbers?

3  Asked on November 1, 2021 by claude-leibovici

### Impossible to pack Circles without gaps

1  Asked on November 1, 2021

### Is there a generalization of the helix from $mathbb{R}^3$ to $mathbb{R}^4$?

2  Asked on November 1, 2021 by kdbanman

### How to solve this problem using set theory?

3  Asked on November 1, 2021 by hugseirvak

### Column Space vs Span and minimum size of a set of vectors to guarantee a vector is in span?

2  Asked on November 1, 2021 by hazim

### Rational number and irrational number

2  Asked on November 1, 2021 by user579861

### “Periodicity” of the Wiener integral?

1  Asked on November 1, 2021 by ttl

### {$v,f(v),f^2(v),ldots,f^{n-1}(v)$} is a basis of $V$ if the minimal polynomial of $f$ is equal to the characteristic polynomial of $f$

1  Asked on November 1, 2021 by kufs

### If a non-constant function is continuous wrt two different topologies, can anything be said about how these two topologies are related?

1  Asked on November 1, 2021

### Prove $A setminus (A setminus (A setminus B)) = A setminus B.$

2  Asked on November 1, 2021 by hk1510