CEMC Banner

2023 Canadian Senior
Mathematics Contest
Solutions

Wednesday, November 15, 2023
(in North America and South America)

Thursday, November 16, 2023
(outside of North American and South America)

©2023 University of Waterloo


Part A

  1. Since p+q is odd (because 31 is odd) and p and q are integers, then one of p and q is even and the other is odd. (If both were even or both were odd, their sum would be even.)
    Since p and q are both prime numbers and one of them is even, then one of them must be 2, since 2 is the only even prime number.
    Since their sum is 31, the second number must be 29, which is prime.
    Therefore, pq=229=58.

    Answer: 58

  2. The integers between 100 to 999, inclusive, are exactly the three-digit positive integers.
    Consider three-digit integers of the form abc where the digit a is even, the digit b is even, and the digit c is odd.
    There are 4 possibilities for a: 2,4,6,8. (We note that a cannot equal 0.)
    There are 5 possibilities for b: 0,2,4,6,8.
    There are 5 possibilities for c: 1,3,5,7,9.
    Each choice of digits from these lists gives a distinct integer that satisfies the conditions.
    Therefore, the number of such integers is 455=100.

    Answer: 100

  3. Solution 1

    Since the distance from (0,0) to (x,y) is 17, then x2+y2=172.
    Since the distance from (16,0) to (x,y) is 17, then (x16)2+y2=172.
    Subtracting the second of these equations from the first, we obtain x2(x16)2=0 which gives x2(x232x+256)=0 and so 32x=256 or x=8.
    Since x=8 and x2+y2=172, then 64+y2=289 which gives y2=225, from which we get y=15 or y=15.
    Therefore, the two possible pairs of coordinates for P are (8,15) and (8,15).

    Solution 2

    The point P is equidistant from O and A since OP=PA=17.
    Suppose that M is the midpoint of OA.
    Since O has coordinates (0,0) and A has coordinates (16,0), then M has coordinates (8,0).
    Since OP=PA, then OPA is isosceles.
    This means that median PM in OPA is also an altitude; in other words, PM is perpendicular to OA.
    Since OA is horizontal, PM is vertical, and so P lies on the vertical line with equation x=8.
    Since OM=8 and OP=17 and PMO is right-angled at M, then by the Pythagorean Theorem, PM=OP2OM2=17282=225=15.
    Since PM is vertical and M is on the x-axis, then P is a distance of 15 units vertically from the x-axis.
    Since P has x-coordinate 8 and is 15 units away from the x-axis, then the two possible pairs of coordinates for P are (8,15) and (8,15).

    Answer: (8,15), (8,15)

  4. The store sold x shirts for $10 each, y water bottles for $5 each, and z chocolate bars for $1 each.
    Since the total revenue was $120, then 10x+5y+z=120.
    Since z=12010x5y and each term on the right side is a multiple of 5, then z is a multiple of 5.
    Set z=5t for some integer t>0.
    This gives 10x+5y+5t=120. Dividing by 5, we obtain 2x+y+t=24.
    Since x>0 and x is an integer, then x1.
    Since y>0 and t>0, then y+t2 (since y and t are integers).
    This means that 2x=24yt22 and so x11.
    If x=1, then y+t=22. There are 21 pairs (y,t) that satisfy this equation, namely the pairs (y,t)=(1,21),(2,20),(3,19),,(20,2),(21,1).
    If x=2, then y+t=20. There are 19 pairs (y,t) that satisfy this equation, namely the pairs (y,t)=(1,19),(2,18),(3,17),,(18,2),(19,1).
    For each value of x with 1x11, we obtain y+t=242x.
    Since y1, then t232x.
    Since t1, then y232x.
    In other words, 1y232x and 1t232x.
    Furthermore, picking any integer y satisfying 1y232x gives a positive value of t, and so there are 232x pairs (y,t) that are solutions.
    Therefore, as x ranges from 1 to 11, there are 21+19+17+15+13+11+9+7+5+3+1 pairs (y,t), which means that there are this number of triples (x,y,z).
    This sum can be re-written as 21+(19+1)+(17+3)+(15+5)+(13+7)+(11+9) or 21+520, which means that the number of triples is 121.

    Answer: 121

  5. We consider r2r(p+6)+p2+5p+6=0 to be a quadratic equation in r with two coefficients that depend on the variable p.
    For this quadratic equation to have real numbers r that are solutions, its discriminant, Δ, must be greater than or equal to 0. A non-negative discriminant does not guarantee integer solutions, but may help us narrow the search.
    By definition, Δ=((p+6))241(p2+5p+6)=p2+12p+364p220p24=3p28p+12 Thus, we would like to find all integer values of p for which 3p28p+120. The set of integers p that satisfy this inequality are the only possible values of p which could be part of a solution pair (r,p) of integers. We can visualize the left side of this inequality as a parabola opening downwards, so there will be a finite range of values of p for which this is true.
    By the quadratic formula, the solutions to the equation 3p28p+12=0 are p=8±824(3)(12)2(3)=8±20861.07,3.74 Since the roots of the equation 3p28p+12=0 are approximately 1.07 and 3.74, then the integers p for which 3p28p+120 are p=3,2,1,0,1. (These values of p are the only integers between the real solutions 1.07 and 3.74.)
    It is these values of p for which there are possibly integer values of r that work.
    We try them one by one:

    Therefore, the pairs of integers that solve the equation are (r,p)=(3,1),(4,1),(0,2),(4,2),(0,3),(3,3)

    Answer: (3,1),(4,1),(0,2),(4,2),(0,3),(3,3)

  6. We start by determining the heights above the bottom of the cube of the points of intersection of the edges of the pyramids.
    For example, consider square AFGB and edges AG and FP. We call their point of intersection X.
    We assign coordinates to the various points using the fact that the edge length of the cube is 6: F(0,0), G(6,0), B(6,6), A(0,6), P(6,3) (P is the midpoint of BG).

    The first quadrant of the coordinate plane with the origin, F, along with points A, B, and G plotted forming a square. Point P is plotted on side BG. Diagonal AG and segment FP intersect at point X inside the square.

    Line segment AG has slope 1, and so has equation y=x+6.
    Line segment FP has slope 36=12 and so has equation y=12x.
    To find the coordinates of X, we equate expressions in y to obtain x+6=12x which gives 32x=6 or x=4, and so y=4+6=2.
    Therefore, point X is a height of 2 above square EFGH.
    Using a similar argument, the point of intersection between PH and GC is 2 units above square EFGH.
    To see why the point of intersection of GD and PE is also 2 units above EFGH, we note that rectangle DEGB has a height of 6 (like square AFGB) and a width of 62. As a result, we can think of obtaining rectangle DEGB by stretching square AFGB horizontally by a factor of 2. This horizontal stretch will not raise or lower the point of intersection between GD and PE and so this point is also two units above EFGH.
    Now, imagine drawing a plane through the three points of intersection of the edges of the pyramids.
    Since each of these points is 2 units above EFGH, this plane must be horizontal and will also intersect BG 2 units above G, forming a square. (The points of intersection form a square because every horizontal cross-section of both pyramids is a square.) This square has side length 2 because the x-coordinate of X was 4, which is 2 units from BG in that coordinate system.
    This square divides the common three-dimensional region into two square-based pyramids.
    One of these pyramids points upwards and has fifth vertex P. This pyramid has a square base with edge length 2 and a height of 32=1, since P is 3 units above G and the base of the pyramid is 2 units above G.
    The other pyramid points downwards and has fifth vertex G. This pyramid has a square base with edge length 2 and a height of 2.
    Thus, the volume of the region is 13221+13222=43+83=4.

    Answer: 4

Part B

    1. Since AB is parallel to DC and AD is perpendicular to both AB and DC, then the area of trapezoid ABCD is equal to 12AD(AB+DC) or 1210(7+17)=120.

      Alternatively, we could separate trapezoid ABCD into rectangle ABFD and right-angled triangle BFC.
      We note that ABFD is a rectangle since it has three right angles.
      Rectangle ABFD is 7 by 10 and so has area 70.
      BFC has BF perpendicular to FC and has BF=AD=10.
      Also, FC=DCDF=DCAB=177=10.
      Thus, the area of BFC is 12FCBF=121010=50.

      This means that the area of trapezoid ABCD is 70+50=120.

    2. Since PQ is parallel to DC, then BQP=BCF.
      We note that ABFD is a rectangle since it has three right angles. This means that BF=AD=10 and DF=AB=7.
      In BCF, we have BF=10 and FC=DCDF=177=10.
      Therefore, BCF has BF=FC, which means that it is right-angled and isosceles.
      Therefore, BCF=45° and so BQP=45°.

    3. Since PQ is parallel to AB and AP and BT are perpendicular to AB, then ABTP is a rectangle.
      Thus, AP=BT and PT=AB=7.
      Since PT=7, then TQ=PQPT=x7.
      Since BQT=45° and BTQ=90°, then BTQ is right-angled and isosceles.
      Therefore, BT=TQ=x7.
      Finally, AP=BT=x7.

    4. Suppose that PQ=x.
      In this case, trapezoid ABQP has parallel sides AB=7 and PQ=x, and height AP=x7.
      The areas of trapezoid ABQP and trapezoid PQCD are equal exactly when the area of trapezoid ABQP is equal to half of the area of trapezoid ABCD.
      Thus, the areas of ABQP and PQCD are equal exactly when 12(x7)(x+7)=12120, which gives x249=120 or x2=169.
      Since x>0, then PQ=x=13.

      Alternatively, we could note that trapezoid PQCD has parallel sides PQ=x and DC=17, and height PD=ADAP=10(x7)=17x.
      Thus, the area of trapezoid ABQP and the area of trapezoid PQCD are equal exactly when 12(x7)(x+7)=12(17x)(x+17), which gives x249=172x2 or x249=289x2 and so 2x2=338 or x2=169.
      Since x>0, then PQ=x=13.

    1. The lattice points inside the region A are precisely those lattice points whose coordinates (r,s) satisfy 1r99 and 1s99.
      Each point on the line with equation y=2x+5 is of the form (a,2a+5) and so each lattice point on the line with equation y=2x+5 is of the form (a,2a+5) for some integer a.
      For such a lattice point to lie in region A, we need 1a99 and 12a+599.
      The second pair of inequalities is equivalent to 42a94 and thus to 2a47.
      Since we need both 1a99 and 2a47 to be true, we have 1a47.
      Since there are 47 integers a in this range, then there are 47 lattice points in the region A and on the line with equation y=2x+5.
      These are the points (1,7),(2,9),(3,11),,(47,99).

    2. Consider a lattice point (r,s) that lies on the line with equation y=53x+b.
      In this case, we must have s=53r+b and so 53r=sb.
      Since s and b are both integers, then 53r is an integer.
      Since r is an integer and 53r is an integer, then r is a multiple of 3.
      We write r=3t for some integer t which means that s=533t+b=5t+b.
      Thus, the lattice point (r,s) can be re-written as (3t,5t+b).
      For (3t,5t+b) to lie within A, we need 13t99.

      The first quadrant of the Cartesian plane containing a large square labelled A. The square’s top and bottom sides are horizontal segments at heights y equals 99 and y equals 1. A point with x-coordinate 3 times t and y-coordinate 5 times t plus b is plotted inside the square. A line with positive slope cuts through the top-left corner of the square and passes through the plotted point.

      Since t is an integer, this means that 1t33.
      When b=0, these points are the points of the form (3t,5t); these lie within A when 1t19. In other words, there are 19 points in A when b=0, which means that the greatest possible value of b is at least 0.
      We note that 5t+b is increasing as t increases.
      When b0 and t1, we have 5t+b5 and so if any points lie within A, then the point with t=1 must lie within A. This means that for at least 15 of the points (3t,5t+b) to lie within A, the points corresponding to t=1,2,,14,15 must all lie within A.
      Since 5t+b is increasing, the largest value of b should correspond to the largest value of 5(15)+b that does not exceed 99.
      When b=24, we note that the points for t=1,2,,14,15 are (r,s)=(3,29),(6,34),,(42,94),(45,99) which means that exactly 15 points lie within A.
      We note that if b25 and t15, then 5t+b100 and so the point (3t,5t+b) is not within A; in other words, if b25, there are fewer than 15 points on the line that lie within A.
      Therefore, b=24 is indeed the largest possible value of b that satisfies the given requirements.

    3. Consider a line with equation y=mx+1 for some value of m.
      Regardless of the value of m, the point (0,1) lies on this line. This point is not in the region A, but is right next to it.
      Consider the line with equation y=37x+1 (that is, m=37).
      The point (7,4) is a lattice point in A that lies on this line.
      This means that m=37 cannot be in the final range of values, and so n cannot be greater than 37.
      Consider the points on the line with equation y=mx+1 with x-coordinates from 1 to 99, inclusive. These are the points (1,m+1),(2,2m+1),(3,3m+1),,(98,98m+1),(99,99m+1) Since m<n37, then 99m+1<9937+1<99 and so each of these 99 points are in the region A.
      This means that we need to ensure that none of m+1,2m+1,3m+1,,98m+1,99m+1 is an integer.
      In other words, we want to determine the greatest possible real number n for which none of m+1,2m+1,3m+1,,98m+1,99m+1 is an integer whenever 27<m<n.
      Since real numbers s and s+1 are either both integers or both not integers, then we want to determine the greatest possible real number n for which none of m,2m,3m,,98m,99m is an integer whenever 27<m<n.
      The fact that none of m,2m,3m,,98m,99m can be an integer is equivalent to saying that m is not equal to a rational number of the form cd where c is an integer and d is equal to one of 1,2,3,,98,99.
      This means that the value of n that we want is the largest real number n with the property that there are no rational numbers m=cd with c and d integers and 1d99 in the interval 27<m<n.
      Let s be the smallest rational number of the form cd with c and d integers and 1d99 that is greater than 27.
      Then it must be the case that n=s.
      To see why this is true, we note that s has the property that there are no rational numbers m with the above restrictions between 27 and s by the definition of s, and also that any number larger than s does not have this property because s would be between it and 27. Therefore, n=s.
      This means that we need to determine the smallest rational number of the form cd with c and d integers and 1d99 that is greater than 27.
      To do this, we minimize the value of cd27=7c2d7d subject to the conditions that c and d are positive integers with 1d99 and that cd27=7c2d7d>0, which also means that 7c2d>0.

      When d=99, we are minimizing 7c198693 which is the smallest possible when c=29, giving a difference of 5693.
      When d=98, we are minimizing 7c196686 which is the smallest possible when c=29, giving a difference of 7686.
      When d=97, we are minimizing 7c194679 which is the smallest possible when c=28, giving a difference of 2679.
      When d=96, we are minimizing 7c192672 which is the smallest possible when c=28, giving a difference of 4672.
      When d=95, we are minimizing 7c190665 which is the smallest possible when c=28, giving a difference of 6665.
      When d=94, we are minimizing 7c188658 which is the smallest possible when c=27, giving a difference of 1658.
      We can check that 1658 is smaller than any of 5693,7686,2679,4672,6665.
      Furthermore, if d<94, then since 7c2d7d17d>1658 (noting that 7c2d1) and so every other difference will be greater than 1658.
      This means that 2794 is the smallest of this set of rational numbers, which means that n=2794.

    1. Working with x in degrees

      We know that sinθ=1 exactly when θ=90°+360°k for some integer k.
      Therefore, sin(x5)=1 exactly when x5=90°+360°k1 for some integer k1 which gives x=450°+1800°k1.
      Also, sin(x9)=1 exactly when x9=90°+360°k2 for some integer k2 which gives x=810°+3240°k2.
      Equating expressions for x, we obtain 450°+1800°k1=810°+3240°k21800k13240k2=3605k19k2=1 One solution to this equation is k1=2 and k2=1.
      These give x=4050°. We note that x5=810° and x9=450°; both of these angles have a sine of 1.

      Working with x in radians

      We know that sinθ=1 exactly when θ=π2+2πk for some integer k.
      Therefore, sin(x5)=1 exactly when x5=π2+2πk1 for some integer k1 which gives x=5π2+10πk1.
      Also, sin(x9)=1 exactly when x9=π2+2πk2 for some integer k2 which gives x=9π2+18πk2.
      Equating expressions for x, we obtain 5π2+10πk1=9π2+18πk210πk118πk2=2π5k19k2=1 One solution to this equation is k1=2 and k2=1.
      These give x=45π2. We note that x5=9π2 and x9=5π2; both of these angles have a sine of 1.

      Therefore, one solution is x=4050° (in degrees) or x=45π2 (in radians).

    2. Suppose that M and N are positive integers.
      We work towards determining conditions on M and N for which there is or is not an angle x with sin(xM)+sin(xN)=2.
      Since 1sinθ1 for all angles θ, then the equation sin(xM)+sin(xN)=2 is equivalent to the pair of equations sin(xM)=sin(xN)=1. (Putting this another way, there must be an angle x which makes both sines 1 simultaneously.)
      As in (a), the equation sin(xM)=1 is equivalent to the statement that xM=90°+360°r or xM=π2+2πr for some integer r. (We will carry equations in degrees and in radians simultaneously for a time.)
      These equations are equivalent to saying x=90°M+360°rM or x=Mπ2+2πrM for some integer r.
      Similarly, the equation sin(xN)=1 is equivalent to saying x=90°N+360°sN or x=Nπ2+2πsN for some integer s.

      Since x is common, then we can equate values of x to say that if such an x exists, then 90°M+360°rM=90°N+360°sN or Mπ2+2πrM=Nπ2+2πsN.
      It is also true that if these equations are true, then the existence of an angle x that satisfies, say, x=90°M+360°rM then guarantees the fact that the same angle x satisfies x=90°N+360°sN.
      In other words, the existence of an angle x is equivalent to the existence of integers r and s for which 90°M+360°rM=90°N+360°sN or Mπ2+2πrM=Nπ2+2πsN.
      Dividing the first equation throughout by 90° and the second equation throughout by π2 gives us the same resulting equation, namely M+4rM=N+4sN. Thus, we can not concern ourselves with using degrees or radians for the rest of this part.
      At this stage, we know that there is an angle x with the desired property precisely when there are integers r and s for which M+4rM=N+4sN.

      Suppose that M=2ac and N=2bd for some integers a, b, c, d with a0, b0, c odd, and d odd. Here, we are writing M and N as the product of a power of 2 and their "odd part".
      Suppose that ab; without loss of generality, assume that a>b.
      Then, the following equations are equivalent: M+4rM=N+4sN2ac+4r2ac=2bd+4s2bd2abc+22+abrc=d+4sd2abc+22+abrc4sd=d Since the right side of this equation is an odd integer and the left side is an even integer regardless of the choice of r and s, there are no integers r and s for which this is true.
      Thus, if M and N do not contain the same number of factors of 2, there is no angle x that satisfies the initial equation.

      To see this in another way, we return to the equation M+4rM=N+4sN, factor both sides to obtain M(1+4r)=N(1+4s) which gives the equivalent equation MN=1+4s1+4r.
      If integers r and s exist that satisfy this equation, then MN can be written as a ratio of odd integers and so M and N must contain the same number of factors of 2.
      Putting this another way, if M and N do not contain the same number of factors of 2, then integers r and s do not exist and so the initial equation has no solutions.

      To complete (b), we need to demonstrate the existence of a sequence n1,n2,,n100 of positive integers for which sin(xni)+sin(xnj)2 for all angles x and for all pairs 1i<j100.
      Suppose that ni=2i for 1i100.
      In other words, the sequence n1,n2,,n100 is the sequence 21,22,,2100.
      No pair of numbers from the sequence n1,n2,,n100 contains the same number of factors of 2, and so there is no angle x that makes sin(xni)+sin(xnj)=2 for any i and j with 1i<j100.
      Therefore, the sequence ni=2i for 1i100 has the desired property.

    3. Suppose that M and N are positive integers for which there is an angle x that satisfies the equation sin(xM)+sin(xN)=2.
      From (b), we know that M and N must contain the same number of factors of 2.
      Again, suppose that M=2ac and N=2ad for some integers a, c, d with a0, c odd, and d odd.
      Then, continuing from earlier work, the following equations are equivalent: M+4rM=N+4sN2ac+4r2ac=2ad+4s2adc+4rc=d+4sdcd=4rc+4sd Since the right side is a multiple of 4, then the left side must also be a multiple of 4 and so c and d have the same remainder when divided by 4.
      (Using a more advanced result from number theory, it turns out that if cd is divisible by 4, then this equation will always have a solution for the integers r and s, but we do not need this precise fact.)

      Suppose that m1,m2,,m100 is a list of 100 distinct positive integers with the property that, for each integer i=1,2,,99, there is an angle xi that satisfies the equation sin(ximi)+sin(ximi+1)=2.
      Suppose further that m1=6.
      Since m1=213 and there is an angle x1 with sin(x1m1)+sin(x1m2)=2, then from above, m2=21c2 for some positive integer c2 that is 3 more than a multiple of 4 (that is, c2 has the same remainder upon division by 4 as 3 does).
      Similarly, each integer in the list m1, m2, , m100 can be written as mi=2ci where ci is a positive integer that is 3 more than a multiple of 4.
      Define t=3π2100m1m2m100.
      Then tmi=3π2299(2ci)(2c1)(2c2)(2c100)=π23c1c2c100ci.
      In other words, tmi is equal to π2 times the product of 100 integers each of which is 3 more than a multiple of 4. (Note that the numerator of the last fraction includes 101 such integers and the denominator includes 1.)
      The product of two integers each of which is 3 more than a multiple of 4 is equal to an integer that is 1 more than a multiple of 4. This is because if y and z are integers, then (4y+3)(4z+3)=16yz+12y+12z+9=4(4yz+3y+3z+2)+1 Also, the product of two integers each of which is 1 more than a multiple of 4 is equal to an integer that is 1 more than a multiple of 4. This is because if y and z are integers, then (4y+1)(4z+1)=16yz+4y+4z+1=4(4yz+y+z)+1 Thus, the product of 100 integers each of which is 3 more than a multiple of 4 is equal to the product of 50 integers each of which is 1 more than a multiple of 4, which is equal to an integer that is one more than a multiple of 4.
      Therefore, tmi is equal to π2 times an integer that is 1 more than a multiple of 4, and so sin(tmi)=1, and so sin(tm1)+sin(tm2)++sin(tm100)=100 as required.
      Therefore, for every such sequence m1,m2,,m100, there does exist an angle t with the required property.