Explaining, convincing and proving

  • Tetra Inequalities
    problem

    Tetra inequalities

    Age
    16 to 18
    Challenge level
    filled star empty star empty star

    Can you prove that in every tetrahedron there is a vertex where the three edges meeting at that vertex have lengths which could be the sides of a triangle?

  • Look before you leap
    problem

    Look before you leap

    Age
    16 to 18
    Challenge level
    filled star empty star empty star
    Relate these algebraic expressions to geometrical diagrams.
  • Parabella
    problem

    Parabella

    Age
    16 to 18
    Challenge level
    filled star empty star empty star

    This is a beautiful result involving a parabola and parallels.

  • Sixty-Seven Squared
    problem

    Sixty-seven squared

    Age
    16 to 18
    Challenge level
    filled star empty star empty star
    Evaluate these powers of 67. What do you notice? Can you convince someone what the answer would be to (a million sixes followed by a 7) squared?
  • Three by One
    problem

    Three by one

    Age
    16 to 18
    Challenge level
    filled star empty star empty star

    There are many different methods to solve this geometrical problem - how many can you find?

  • t for Tan
    problem

    T for tan

    Age
    16 to 18
    Challenge level
    filled star empty star empty star

    Can you find a way to prove the trig identities using a diagram?

  • Stats statements
    problem

    Stats statements

    Age
    16 to 18
    Challenge level
    filled star empty star empty star

    Are these statistical statements sometimes, always or never true? Or it is impossible to say?

  • Contrary Logic
    problem

    Contrary logic

    Age
    16 to 18
    Challenge level
    filled star empty star empty star
    Can you invert the logic to prove these statements?
  • Direct logic
    problem

    Direct logic

    Age
    16 to 18
    Challenge level
    filled star empty star empty star

    Can you work through these direct proofs, using our interactive proof sorters?