Abstract

This paper delves into the application of informatics and logic-based solutions to solve Problem 5 of the 2023 International Mathematical Olympiad (IMO). The problem, known as the Japanese Triangle Problem, presents a unique challenge that can be addressed using various informatics techniques , combined with structured logical reasoning.