A Floor-Sum Identity

★ 7/10number theoryInductionCasework

Problem

Let n∈N∗n \in \mathbb{N}^*. Prove that

∑i=0⌊n/3⌋⌊n−3i2⌋=⌊n2+2n+412⌋.\sum_{i=0}^{\left\lfloor n/3 \right\rfloor} \left\lfloor \frac{n - 3i}{2} \right\rfloor = \left\lfloor \frac{n^2 + 2n + 4}{12} \right\rfloor.

Answer

Solution

Difficulty7/10
Topicsnumber theory, Induction, Casework

Whiteboard

Your sketch is saved only in this browser. To share it, export your drawing as an image (whiteboard menu → Export as → PNG), then upload that image in the comments below.

Discussion

Ask questions, share alternate solutions, and use LaTeX freely.

0 comments
Log in to join the discussion.

No comments yet.