geometry 3 Ptolemy's theorem for olympiads Dec 5, 2025 Simson line for olympiads Jul 12, 2025 Why pi is not a repeating decimal Dec 20, 2023