CEMC Banner

2026 Galois Contest
Solutions
(Grade 10)

Wednesday, April 1, 2026
(in North America and South America)

Thursday, April 2, 2026
(outside of North American and South America)

©2026 University of Waterloo


    1. The three smallest prime numbers are \(2\), \(3\) and \(5\). Their product is \(2\times3\times5=30\).

    2. Each prime number is a positive integer, and so \(\dfrac{c-3}{4}\) cannot be a prime number unless \(c>3\).
      The value of \(\dfrac{c-3}{4}\) is an integer exactly when \(c-3\) is divisible by \(4\).
      The values of \(c\) for which \(4\leq c\leq 20\) and \(c-3\) is divisible by \(4\) are \(7\), \(11\), \(15\), and \(19\).
      When \(c\) is equal to \(7\) and \(19\), the values of \(\dfrac{c-3}{4}\) are \(1\) and \(4\), respectively. Each of these is not a prime number.
      When \(c=11\), the value of expression is \(\dfrac{11-3}{4}=2\), which is a prime number.
      When \(c=15\), the value of expression is \(\dfrac{15-3}{4}=3\), which is a prime number.
      Thus, the two possible values of the integer \(c\) are \(11\) and \(15\).

    3. Factoring the given expression, we get \(21d-77=7(3d-11)\).
      For all integers \(d\), the value of \(3d-11\) is equal to an integer, and so \(7(3d-11)\) is the product of two integers, \(7\) and \(3d-11\).
      A prime number is positive and cannot be written as a product of two integers both greater than \(1\), so \(3d-11=1\).
      If \(3d-11=1\), then \(3d=12\), and so \(d=4\).
      The only integer \(d\) with \(1\leq d \leq10\) for which \(21d-77\) is a prime number is \(d=4\), and the prime number is \(21(4)-77=7\).

      We can confirm that if \(d<4\), \(3d-11\) is negative and so \(7(3d-11)\) is not prime. Further, if \(d>4\), \(3d-11\geq3(5)-11=4\) and so \(7(3d-11)\) is the product of two integers, both greater than \(1\), and thus is also not prime.

    1. Since \(B(2,1)\) and \(C(6,1)\) lie along the same horizontal line, then \(BC=6-2=4\), which is the positive difference between their \(x\)-coordinates.
      Suppose \(G\) is the point that lies on \(BC\) vertically below \(A(3,4)\).
      Then \(G\) has the same \(x\)-coordinate as \(A(3,4)\) and the same \(y\)-coordinate as \(B(2,1)\) and \(C(6,1)\), and thus has coordinates \((3,1)\). Since \(A(3,4)\) and \(G(3,1)\) lie along the same vertical line, then \(AG=4-1=3\), the positive difference between their \(y\)-coordinates.
      The area of \(\triangle ABC\) is \(\dfrac12\times (BC)\times (AG)=\dfrac12\times 4\times 3=6\).

    2. The reflection of the point \((x,y)\) in the \(y\)-axis is the point \((-x,y)\).
      Thus, the reflection of \(B(2,1)\) in the \(y\)-axis is \(D(-2,1)\).
      Using \(G(3,1)\) from part (a), we get \(DC=6-(-2)=8\), \(AG=3\), and so the area of \(\triangle ADC\) is \(\dfrac12\times (DC)\times (AG)=\dfrac12\times 8\times 3=12\).

    3. Point \(A(3,4)\) lies \(4-(-2)=6\) units vertically above the line \(y=-2\).
      So, the reflection of \(A\) in the line \(y=-2\) lies \(6\) units vertically below the line \(y=-2\), and thus has coordinates \(E(3,-2-6)\) or \(E(3,-8)\).
      We may once again use \(G(3,1)\) from part (a) since \(G\) lies on \(BC\) and lies on the vertical line through \(E(3,-8)\). Doing so, we get \(EG=1-(-8)=9\) and \(BC=4\).
      Thus, the area of \(\triangle EBC\) is \(\dfrac12\times (BC)\times (EG)=\dfrac12\times 4\times 9=18\).

    4. Using \(G(3,1)\) from part (a), \(\triangle FBC\) has base \(BC=4\), height \(FG\), and area \(12\).
      Since the area of \(\triangle FBC\) is \(\dfrac12\times(BC)\times(FG)=12\), then \(2\times (FG)=12\), and so the triangle has height \(FG=6\).
      With \(FG=6\) and \(F\) vertically above \(G(3,1)\), we determine that \(F\) has coordinates \((3,1+6)=(3,7)\).
      With \(FG=6\) and \(F\) vertically below \(G(3,1)\), we determine that \(F\) has coordinates \((3,1-6)=(3,-5)\).

      Since \(F\) is the image of the point \(A(3,4)\) after it is reflected in the horizontal line \(y=k\), then the distance from the line to \(F\) is equal to the distance from the line to \(A\).
      This tells us that \(k\) is equal to the average of the \(y\)-coordinates of \(F\) and \(A\).
      The average of the \(y\)-coordinates of \(F(3,7)\) and \(A(3,4)\) is \(\dfrac{7+4}{2}=\dfrac{11}{2}\).
      The average of the \(y\)-coordinates of \(F(3,-5)\) and \(A(3,4)\) is \(\dfrac{-5+4}{2}=-\dfrac{1}{2}\).
      The two values of \(k\) for which the area of \(\triangle FBC\) is \(12\) are \(k=\dfrac{11}{2}\) and \(k=-\dfrac12\).

    1. Since we are given that the cycle length for the units digits of powers of \(3\) is equal to \(4\), and \(43=4\times10+3\), the units digit of \(3^{43}\) is equal to the units digit of \(3^3\), which is \(7\).

    2. Each integer multiple of \(10\) has units digit \(0\), and so we begin by determining the repeating sequence of units digits for powers of \(4\) and \(8\).

      • \(4^1=4, 4^2=16, 4^3=64, \dots\)

      • \(8^1=8, 8^2=64, 8^3=512, 8^4=4096, 8^5=32\,768, \dots\)

      For powers of \(4\), the consecutive units digits that repeat are \(4\), \(6\), with cycle length \(2\).
      For powers of \(8\), the consecutive units digits that repeat are \(8\), \(4\), \(2\), \(6\), with cycle length \(4\).
      We can determine the units digit of \(4^j+8^j\) by adding the corresponding units digits of the individual powers of \(4\) and \(8\), and then taking the units digit of that sum.
      Thus, the units digits of \(4^j+8^j\) are the units digits of \(4+8=12\), \(6+4=10\), \(4+2=6\), \(6+6=12\), which are \(2\), \(0\), \(6\), \(2\), and this sequence continues to repeat with cycle length \(4\).
      So, \(4^j+8^j\) is a multiple of \(10\) (has units digit \(0\)) once every \(4\) consecutive values of \(j\).
      Since \(2026=4\times 506 +2\), and \(0\) is the second digit in the repeating sequence \(2\), \(0\), \(6\), \(2\), then the number of integers \(j\) with \(1\leq j\leq 2026\) for which \(4^j+8^j\) is a multiple of \(10\) is \(506+1=507\).

    3. For \(2^k\), the consecutive units digits that repeat are \(2\), \(4\), \(8\), \(6\), with cycle length \(4\).
      For \(3^k\), the consecutive units digits that repeat are \(3\), \(9\), \(7\), \(1\), with cycle length \(4\).
      Similar to how we worked with \(4^j+8^j\) in part (b), the consecutive units digits of \(2^k+3^k\) that repeat are \(5\), \(3\), \(5\), \(7\), with cycle length \(4\).

      For \(8^k\), the consecutive units digits that repeat are \(8\), \(4\), \(2\), \(6\), with cycle length \(4\).
      When \(k\) is even, that is when \(k=2m\) for positive integers \(m\), \(2026k=2026\times2m=4052m\).
      Since \(4052=4\times1013\), then \(4052m\) is a multiple of \(4\), and so \(2026k\) is a multiple of \(4\) for all even integers \(k\).
      Thus for all even integers \(k\), the units digit of \(8^{2026k}\) is \(6\) (the fourth units digit in the repeating sequence \(8\), \(4\), \(2\), \(6\)).
      When \(k\) is odd, that is, when \(k=2m+1\) for positive integers \(m\), we get the following equivalent equations \[\begin{align*} 2026k&=2026\times(2m+1)\\ &=4052m+2026\\ &=4052m+2024+2\\ &=4\times1013m+4\times506+2\\ &=4(1013m+506)+2\end{align*}\] So, \(2026k\) is \(2\) more than a multiple of \(4\) for all odd integers \(k\).
      Thus for all odd integers \(k\), the units digit of \(8^{2026k}\) is \(4\) (the second units digit in the repeating sequence \(8\), \(4\), \(2\), \(6\)).

      For \(9^k\), the consecutive units digits that repeat are \(9\), \(1\) with cycle length \(2\).
      Thus when \(k\) is odd, the units digit of \(9^k\) is \(9\), and when \(k\) is even, the units digit is \(1\).
      For all integers \(k\), \(2026k\) is an even integer, and so the units digit of \(9^{2026k}\) is \(1\) for all integers \(k\).

      Summarizing, we determined that the units digit of \(8^{2026k}\) is \(4\) when \(k\) is odd, and is \(6\) when \(k\) is even. Also, the units digit of \(9^{2026k}\) is \(1\) for all integers \(k\).
      Therefore, \(8^{2026k}+9^{2026k}\) has consecutive units digits \(4+1=5\) and \(6+1=7\) that repeat with cycle length \(2\).
      Recall that \(2^k+3^k\) has consecutive units digits \(5\), \(3\), \(5\), \(7\) that repeat with cycle length \(4\).
      Thus, \(2^k+3^k\) and \(8^{2026k}+9^{2026k}\) have the same units digit, \(5\), for all odd values of \(k\). Also, \(2^k+3^k\) and \(8^{2026k}+9^{2026k}\) have the same units digit, \(7\), for all values of \(k\) equal to a multiple of \(4\).
      For \(1\leq k \leq 50\), there are \(25\) odd values of \(k\) and \(12\) values of \(k\) equal to a multiple of \(4\) (since \(50=4\times12+2\)), and so there are \(25+12=37\) integers \(k\) for which \(2^k+3^k\) and \(8^{2026k}+9^{2026k}\) have the same units digit.

    1. In general, the \(x\)-coordinate of the midpoint of points \(A\) and \(B\) is equal to the average of the \(x\)-coordinates of points \(A\) and \(B\), and its \(y\)-coordinate is equal to the average of the \(y\)-coordinates of points \(A\) and \(B\).
      For example, the midpoint of \((0,4)\) and \((0,16)\) is \(\left(\dfrac{0+0}{2}, \dfrac{4+16}{2}\right)=(0,10)\).
      We determine the midpoint of each pair of distinct points from \(R\) in the table that follows.

      \((0,0)\) \((0,1)\) \((0,4)\) \((0,9)\) \((0,16)\) \((0,25)\)
      \((0,1)\) \((0,1/2)\)
      \((0,4)\) \((0,2)\) \((0,5/2)\)
      \((0,9)\) \((0,9/2)\) \((0,5)\) \((0,13/2)\)
      \((0,16)\) \((0,8)\) \((0,17/2)\) \((0,10)\) \((0,25/2)\)
      \((0,25)\) \((0,25/2)\) \((0,13)\) \((0,29/2)\) \((0,17)\) \((0,41/2)\)

      In the table, there are \(1+2+3+4+5=15\) midpoints. However, \((0,25/2)\) is the midpoint of \((0,16)\) and \((0,9)\), as well as \((0,25)\) and \((0,0)\). Thus, there are \(14\) distinct midpoints.

    2. From \(S\), consider the distinct points \((i, i+2)\) and \((j,j+2)\) where \(i\) and \(j\) are integers, \(i\neq j\), \(1\leq i \leq 20\) and \(1\leq j \leq 20\).
      It then follows that each midpoint is of the form \(\left(\dfrac{i+j}{2},\dfrac{i+2+j+2}{2}\right)=\left(\dfrac{i+j}{2},\dfrac{i+j}{2}+2\right)\).
      Since \(i\neq j\), \(1\leq i \leq 20\) and \(1\leq j \leq 20\), then the maximum value of \(i+j\) is \(19+20=39\), and the minimum value of \(i+j\) is \(1+2=3\).
      Furthermore, all integer values of \(i+j\) from \(3\) to \(39\) inclusive must occur at least once. (You should confirm this for yourself before reading on.)
      Thus, the total number of distinct midpoints is \(39-3+1=37\).

    3. To minimize the number of distinct midpoints, the key idea is to choose a set of points \(T\) that lie in a straight line and are evenly spaced.
      In this solution, we describe a set of points \(T\) for which the number of distinct midpoints is a minimum, determine the minimum \(m\), and then show that fewer than \(m\) distinct midpoints is not possible for all possible choices for the set \(T\).

      Let \(T\) be the set of points of the form \((0,2t)\), where \(t\) is an integer and \(1\leq t \leq 100\).
      This set \(T\) contains exactly \(100\) points with distinct \(y\)-coordinates, as required.
      From \(T\), consider the distinct points \((0,2k)\) and \((0,2\ell)\) where \(k\) and \(\ell\) are integers, \(k\neq \ell\), \(1\leq k\leq 100\) and \(1\leq \ell \leq 100\).
      It then follows that each midpoint is of the form \(\left(0,\dfrac{2k+2\ell}{2}\right)=(0,k+\ell)\).
      Since \(k\neq \ell\), \(1\leq k \leq 100\) and \(1\leq \ell \leq 100\), then the maximum value of \(k+\ell\) is \(99+100=199\), and the minimum value of \(k+\ell\) is \(1+2=3\).
      All integer values of \(k+\ell\) from \(3\) to \(199\) inclusive must occur at least once, and so the total number of distinct midpoints is \(199-3+1=197\).
      We have described a set of points \(T\) for which the number of distinct midpoints is \(m=197\).
      It remains to be shown why, for all possible choices for the set \(T\), fewer than \(197\) midpoints is not possible.

      Let the \(100\) distinct \(y\)-coordinates be \(y_1<y_2<y_3<y_4<\cdots<y_{98}<y_{99}<y_{100}\).
      The \(y\)-coordinate of the midpoint of the two points with \(y\)-coordinates \(y_n\) and \(y_{n+1}\), where \(n\) is an integer and \(1\leq n\leq99\), is \(\dfrac{y_n+y_{n+1}}{2}\).
      The \(y\)-coordinate of the midpoint of the two points with \(y\)-coordinates \(y_n\) and \(y_{n+2}\), where \(n\) is an integer and \(1\leq n\leq98\), is \(\dfrac{y_n+y_{n+2}}{2}\).
      Since \(y_{n+1}<y_{n+2}\), then \(\dfrac{y_n+y_{n+1}}{2}<\dfrac{y_n+y_{n+2}}{2}\) for integers \(n\) with \(1\leq n\leq 98\).
      That is, \(\dfrac{y_1+y_{2}}{2}<\dfrac{y_1+y_{3}}{2}<\dfrac{y_2+y_{3}}{2}<\dfrac{y_2+y_{4}}{2}<\cdots<\dfrac{y_{98}+y_{100}}{2}<\dfrac{y_{99}+y_{100}}{2}\), and so
      there are at least \(m=99+98=197\) distinct midpoints.

      We have described a set of points \(T\) for which the number of distinct midpoints is \(m=197\) and we have shown that for all possible choices for the set \(T\), \(m\geq197\).
      Therefore, we have proven that \(m=197\).