Докажите, что из любых 9 натуральных чисел можно выбрать два разность, которых делится на 8.

решенние и доказательства могут быть такими 9-1=8/8=1

1)y=-6+2x       5x-2(-6+2x)=13       5x+12-4x=13         1x+12=13         x=13-12           x=1       y-2*1=-6       y=-4   2) y-2x=-6/-5       5x-2y=13/2               -5y+10x=30               10x-4y=26               1y=4           4-2x=-6           2x=-6-4             x=-10 как графический не знаю          

  4 /   2         2         /atan2(-im(m), -re(m))\       4 /   2         2         /atan2(-im(m), -re(m))\

      \/ 3 *\/   im (m) + re (m) *cos||   i*\/ 3 *\/   im (m) + re (m) *sin||

                                    \           2           /                                   \           2           /

n1 = - -

                                3                                                         3                            

                                                                                 

      4 /   2         2         /atan2(-im(m), -re(m))\       4 /   2         2         /atan2(-im(m), -re(m))\

    \/ 3 *\/   im (m) + re (m) *cos||   i*\/ 3 *\/   im (m) + re (m) *sin||

                                  \           2           /                                   \           2           /

n2 = +

                              3                                                         3                            

                /     /                                   \\               /     /                                   \\

            /                       2                         2     |     |im(m)   \/ 3 *re(m)   re(m)   \/ 3 *im(m)||           /                       2                         2     |     |im(m)   \/ 3 *re(m)   re(m)   \/ 3 *im(m)||

          /   /                 \     /                 \       |atan2| - + ||         /   /                 \     /                 \       |atan2| - + ||

          /   |im(m)   \/ 3 *re(m)|     |re(m)   \/ 3 *im(m)|       |     \   6           6         6           6     /|         /   |im(m)   \/ 3 *re(m)|     |re(m)   \/ 3 *im(m)|       |     \   6           6         6           6     /|

n3 = - 4 /     | - |   + | + |   *cos|| - i*4 /     | - |   + | + |   *sin||

      \/     \   6           6     /     \   6           6     /       \                       2                       /     \/     \   6           6     /     \   6           6     /       \                       2                       /

              /     /                                   \\               /     /                                   \\

          /                       2                         2     |     |im(m)   \/ 3 *re(m)   re(m)   \/ 3 *im(m)||           /                       2                         2     |     |im(m)   \/ 3 *re(m)   re(m)   \/ 3 *im(m)||

        /   /                 \     /                 \       |atan2| - + ||         /   /                 \     /                 \       |atan2| - + ||

        /   |im(m)   \/ 3 *re(m)|     |re(m)   \/ 3 *im(m)|       |     \   6           6         6           6     /|         /   |im(m)   \/ 3 *re(m)|     |re(m)   \/ 3 *im(m)|       |     \   6           6         6           6     /|

n4 = 4 /     | - |   + | + |   *cos|| + i*4 /     | - |   + | + |   *sin||

    \/     \   6           6     /     \   6           6     /       \                       2                       /     \/     \   6           6     /     \   6           6     /       \                       2                       /

                /     /                                   \\               /     /                                   \\

            /                       2                         2     |     |im(m)   \/ 3 *re(m)   re(m)   \/ 3 *im(m)||           /                       2                         2     |     |im(m)   \/ 3 *re(m)   re(m)   \/ 3 *im(m)||

          /   /                 \     /                 \       |atan2| + - ||         /   /                 \     /                 \       |atan2| + - ||

          /   |im(m)   \/ 3 *re(m)|     |re(m)   \/ 3 *im(m)|       |     \   6           6         6           6     /|         /   |im(m)   \/ 3 *re(m)|     |re(m)   \/ 3 *im(m)|       |     \   6           6         6           6     /|

n5 = - 4 /     | + |   + | - |   *cos|| - i*4 /     | + |   + | - |   *sin||

      \/     \   6           6     /     \   6           6     /       \                       2                       /     \/     \   6           6     /     \   6           6     /       \                       2                       /

              /     /                                   \\               /     /                                   \\

          /                       2                         2     |     |im(m)   \/ 3 *re(m)   re(m)   \/ 3 *im(m)||           /                       2                         2     |     |im(m)   \/ 3 *re(m)   re(m)   \/ 3 *im(m)||

        /   /                 \     /                 \       |atan2| + - ||         /   /                 \     /                 \       |atan2| + - ||

        /   |im(m)   \/ 3 *re(m)|     |re(m)   \/ 3 *im(m)|       |     \   6           6         6           6     /|         /   |im(m)   \/ 3 *re(m)|     |re(m)   \/ 3 *im(m)|       |     \   6           6         6           6     /|

n6 = 4 /     | + |   + | - |   *cos|| + i*4 /     | + |   + | - |   *sin||

    \/     \   6           6     /     \   6           6     /       \                       2                       /     \/     \   6           6     /     \   6           6     /       \                       2                       /