Если число
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
делится на
![$3$ $3$](https://dxdy-02.korotkov.co.uk/f/5/d/c/5dc642f297e291cfdde8982599601d7e82.png)
, то:
1) Если оно чётно (
![$n=2k$ $n=2k$](https://dxdy-02.korotkov.co.uk/f/5/d/8/5d8c0068642471e99c42369c0ec0423282.png)
,
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
- наибольший собственный делитель), то
![$2k\to 3k$ $2k\to 3k$](https://dxdy-02.korotkov.co.uk/f/d/3/2/d32d92f92bb78c11336d6cba849bae7b82.png)
, количество троек в разложении на простые увеличилось.
2) Если оно нечётно (
![$n=3k$ $n=3k$](https://dxdy-04.korotkov.co.uk/f/b/a/7/ba7735ea5da7025de47378bfd7f26b7682.png)
,
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
- наибольший собственный делитель), то
![$3k\to 4k\to 6k$ $3k\to 4k\to 6k$](https://dxdy-04.korotkov.co.uk/f/b/9/f/b9fc8a7051040eed9b854d37115bf12482.png)
, число стало чётно и количество троек не изменилось, goto 1.
Таким образом, кратное трём может приобрести сколь угодно множителей-троек.
Если исходное число не кратно трём, но чётно, то см. п.1.
Если исходное число не кратно трём и нечётно, то
![$n=sk$ $n=sk$](https://dxdy-04.korotkov.co.uk/f/3/6/1/361a953c9749562db800c9a9a777920282.png)
, где
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
- наибольший собственный делитель, a
![$s$ $s$](https://dxdy-03.korotkov.co.uk/f/6/f/9/6f9bad7347b91ceebebd3ad7e6f6f2d182.png)
- либо нечётное простое, либо совпадает с
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
(если
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
- простое). Тогда за один шаг получаем чётное число
![$(s+1)k$ $(s+1)k$](https://dxdy-01.korotkov.co.uk/f/c/0/7/c07ef176a61da2c12ca426c58bfbd92482.png)
или
![$2n$ $2n$](https://dxdy-01.korotkov.co.uk/f/4/7/c/47c124971e1327d1d3882a141f95face82.png)
, с которым уже разобрались.