I’m a clinical psychologist and an expert in child and adolescent depression. These are certainly signs of depression, and I would recommend making an appointment with a child psychologist to have him evaluated. I do not recommend play therapy as there is no empirical evidence of its effectiveness. Cognitive Behavioral Therapy is a better option for a 9-year-old. There are a ton of great resources on the Child Mind website: https://childmind.org/topics/concerns/depression/
Reply to Depression?