@djmathman has compiled a list of interesting geometry problem on AOPS. I would like to show how to use Wolfram Language to solve them.
Thank you very much for the demonstration Shengui!