Curiosità riporto qui sotto il problema di geometria che AlphaGeometry 2 avrebbe risolto in 19 secondi.
Testo originale in italiano.
---
Sia ABC un triangolo con AB < AC < BC.
L’incentro e la circonferenza inscritta al triangolo ABC siano I e ω, rispettivamente.
Sia X il punto della retta BC, diverso da C, tale che la retta per X parallela a AC è tangente a ω.
Analogamente, sia Y il punto della retta BC, diverso da B, tale che la retta per Y parallela ad AB è tangente a ω.
La retta AI interseca nuovamente la circonferenza circoscritta al triangolo ABC in P ≠ A.
Siano K ed L i punti medi di AC e AB, rispettivamente. Dimostrare che ∠KIL+∠YPX = 180◦.
---
Disegno (è mio, se ci sono errori segnalatemeli per favore)
- IMO24P4.png (107.86 KiB) Visto 25165 volte