Interactive environment

Iff Converse Proof Sorter

Challenge level
filled star filled star empty star

This proof sorter is for the problem Iff.

Can you show that if $8k+1$ is a square number then $k$ must be a triangular number?

You can use the interactive proof sorter below to help you contruct a proof, or if you prefer here is a set of proof sorter cards for you to print out and rearrange.