benchmarks.wiki / Public workspace
...··:::-------:::········:::----======---::::::::---==+++***************+++++==---------==++**##%%%##*=-:·.
....··········...........······:::::::::············::::::::-------------++==--:::······:::--==+++++==-:·.
.......... .........................................···--+==--:··... ...·::--===--:·..
..-:==--::·.. .··:-----::·..
..::+==--::·.. ..·::-----:··.
..--+*+++==-::··.. ...·::----::·..
..-=##%%%##**+==-::··.....···:::::···.
.·==%@@@@@@@@%#*++=-::·············...
..-=#%@@@@@@@@%%#*+=--::···········...
....·······.................... ...···········.... ...::+*##%%@@@%%%#**+==---:::::-::::··..
..··::-------::········:::---:::··.. ..··:--=======--::··.........·--=++**#######***+++++++++++==-::·.
..·:--=++++++=--::··::--=+++**+==-:·. .·:-=++*#####*+==-:··... ...··:--=+**###%%%%########%%%%#*+=-:·.
..·::-===+===--::::::--=+*#%@@%%#*=-:·. .·:-==++++==---:::::::----====---:::···....····:::----::·..
..···:::::····...···:--==+++++=-:··. ...···:::·····...........·····... .··:::::··..
........ ....···::::···... ... ...... .··:::::··..
...... ..·::::::·..
..·::::::···.. .··::::··..
..·:==+++++++=--:··.. ..·····...
..--*##%%%%%%##*+=-:··.. ........
..--##%@@@@@@@%%#*+=-::·..............
..:-+*##%@@@@@@@%%#*++=-:::········...
............... ...........···········:·······....... .··-=++*#%%@@@@@@@@%##**+=====--::··..
.....·················..........·············:::::---====++++++==--::···.......:--=+*#%@@@@@@@@@@@@@%###**++=-::·.
..·····:::::::::::::::········:::::::::::::::::::::--==++*##%%%%%%%#**+=--::····:::-=+*#%@@@@@@@@@@@@@@@@@%%#*+=-:·.
.·:=+*#####*++=====+*#%@@@@@@%*=:. .·::-----::·.. .... ..·::::::·..
.·::--==---:::::::-==+******+=:·. ........ ..·:----::·..
.....··..........···::::::::·.. ..·:-----::·.
...·········... ..·:::-:::·.
··--====++===-::·.. ..·······.
..::+***#####**+=-::·.. ...·...
..--+**###%%%##**+=-:·.. ......
..::=++**##%%%%%##*+=-::·.. ....
··:-==+*##%@@@@@@%#*+=-::·..........
........ ...·····························...... ..::-==+*#%@@@@@@@@@%#*+=--:···.....
...··.... ...········.........···::---====----------=========---:::····...::--=+*#%@@@@@@@@@@@%#*++=-::··...
.··:::::··... ...··:::---:::····..···::--===+++++====++++**###%%%%%%%##**+==--:::::--==+*#%@@@@@@@@@@%##*++--:··...
.:-+*%@@@@@%##*++++**#%%@@%#*+-·. ..··::···. ...........···::--=+++==-:·.
.·:--=++++==-------==++****+=-:·. ...... ..··············:::-==++++=--·.
..········......···::::::::··. .··:::-------:::·······:--=+++==-:·.
..··--====+++===--::··......··:-----::·.
..::===+++++++==--:··.. ..··::::·..
..::-=====++++===-:··. ..····.
..··:::--===++++==--:·. .....
..···::-==++****++=-:·. ....
...··::-=++*######*+=-:·. .
...···.... ...············....................... ..····:--=+*#%%%@%%#*+=-·..
...... ..·::-----::·... ..··::---===----:::::::::::-----------::···..·····::-=+*#%%@@@%%#+=-:·.
.···:··.. .·:-=++**++=-::·......··::-==+++++++++======++**###%%%%%%##*++=-:···...··::-=+*##%%%%#*+=-:·..
..·-=+*#%@@@%%##**++++++**+++=-:·.. .··::::::::··.. ..··:--=++***#####****####%%%#*+=-:.
..·:-===++====--------======--:··. ..··::::::::::·········:---==++*********++++***#%%%#*+=-:·.
..·········......······::····... ...·············....::=======++++++====-----==+*###*+=-:·.
..::-------------:::·······::-=++++=-:·.
..·.·······::::::···... ..·::--=--:·.
. .....·····::···... ..·:::::·.
....··:::::::··. ..·····.
...··::---=---:·.. ..···.
.....··:--==+++==-:·. ....
...······... ......··....... ............. .......··::-=++**++=-:·. ...
....... ...·:--==++==-::·.. ..··:::--------::::::::::::---------:::··.........·::-=+****++-:·. ..
.······......·:-=*#%@@@%%#+=-:·... ....·::-=++***###****+++++++***########*++=-:··.. ...·:-=+****+=-:·.
....·:::--==+++*******+++====----::::···.... ...··:-=+*#%%@@@@@@@@%##**++=====++**#%%@@@@@@@@@@@@@@@@@%#*+=:·.
....···::::--------------------:::::···..........··:--=+************+==--::=-----==++**###%%%%%%@@@@@@%#*+=-:·
..................·············...... .....····::::::::::····..··:·······::---====+++***##%@%#*+=-:·.
. ..... .....····::::---==+*###*+=-:·.
..........···::-=+++++=-:·.
................·:--====-:·.
. ......·····... ..·::----:·.
........····:::::··.. .··::::··.
..·....···:::----::··. ..··:··..
...........········... .....······......................... ..·.....··::--===--:··. ..····.
..······:::::--==+++++==--:··.. ..··:--==++++++====----::::::::--:::::··..·......··:--=====-::·. ...·..
.·:::------==+*#%@@@@@@@@@#*+=-::······:--=+*##%%@@@@@%%##***+++++++++***+++=--:··.. ...·:-==+++=-:·.. .....
....... ...·:-=+**####**++==-----====+++++++++++++***#%%@@@@@@@@@@@@@@@@%#*+=--::::--=+*#%@@@@@@@@@@@@@%#*+--:·..
..··::----=------::::-------===--------:-----===+++******++==--:··.·......·::-=+*#%@@@@@@@@@@%#+=-::·.
................············....... ................. ... ..··:-=+*##%%%@@%%%#*+=-:·.
. ..·:--=++**######*+=-:·.
.... ..··::--=+++****++=-:·.
..·.··.... ....···:::--==++++==-:·.
..··:::····........·····:::---===---:·.
..::---:::::···············:::-----::·.
..··----:::::::::::::········:::::::··.
....···············...... ...····:::::::····........ ..........··:::::::---------:::··········:····.
.··::--=======+++++++++++==--::····...···::--==+++++++++===--:::······················:::---=====--::·············..
·:--=+**####%%@@@@@@@@@@@@@@@%#*++=---::----==+***#######**++==------------::::·········::--=======-::···········...
.·:-+*#%@@@@%##*++=====+++*##%%%%%%%%###***+++++***###%%%%##**+=-:··.. ..·:-+*%@@@@@@@@%#*=-::··....
..·:--=======---:::::::-----------:::··..........···::::--::::··.. .·:-+*#@@@@@@%#*+=-::···...
.....···..................... ............. .·:=+*#%@@@%#*++=-:····..
..···.. .·:-=+*#####*++=-::···..
··-:-:··. .·:-=++****++==-::···..
··==++-::·.. ...·:-==+++++==--::···..
··+=#*+=--:··....··::--======--::···...
··++%##*+=--:······::---===---::···....
··==####*++=--:::::::--------::··.....
...···:···················...................···········.... ....--*##***++==--------------:::··....
.··:-==+*+++++++++++******+++==--:···.........···:::------::···... ...···::++****++++=====--===----:::·...
.:-=+*#%@@@%%%%@@@@@@@@@@@@@@%#*+=-:·.. ..··::--======--:··.... ...··::--==++++++++++=========---::·...
.·:=+*%@@@@@@@%#**+==--------=========---::···...····::-=======--:·. ..:-+*#%@@%#*+=:··......··..
.·:--==+++===--::···................. ..··:::----::··.. .·-=+##%%##+=-:··....···..
............ ....········.···. .·:=+*###*+=-:···...···..
··-:-·. .·:=+****+=-::··....··..
::+=*=:·. .·:==++++=-:··.........
::**%#+-:. .·:-======-:··.........
::**@@#+=:·. .··:--===-::·.. ....
::**@@@%*=-:·....··:------:··.
::**@@@@%*=-:·····::------:·..
...···::··················..... ......... ...·::**@@@@@%*+=-:::::---==--:··.
..·:-==++++===------------::::··.. ...······... .·:-++*@@@@@@#*+=------=====--:·.
.··:-=+*#**++====-------------::··. ..·::---::··. .·:=+#%@@@@@@%#*+=======++++==-:·.
..·:-=+*#%@@@@@@%#*+=-:··..........···:::::::::::::::::---======-::·. .·:-=++*++=--:····:::::::·.
..·::--======--::··... ....····::::::······::::---===---:·.. .·:-=++++=--:·····::::::·.
......··....... ......·········......······:::::···.·.. .·:-==+==--:······:::::·.
··-:·. .·:-====-::········:::·..
::+-=:. .·:-----::··....······..
::*+#=:· .··::--::··.. ....···.
::**@#+-·. .··::::··.. ....
::**@@#+-·. .··::::·..
::**@@@#+-·.. ..··::::·..
...······..... ... ..··::::**@@@@#+-:·....··:::::··.
..··:::::··... ..····... .:-+*****@@@@@#+-::····::----::·.
..·······.. ..·········.. .··::--::·. .·-+%@@@@@@@@@%*+=-::::--=====-:·.
...·····:::::--=++*##%%%%%%##*+==-::···..···::--=++**#####***+++===----::··.. .··:---===========++==--::·.
.............···:--===++++++===---:::::::::---===++++++++++=====------::··.. ..·::--===========+===--:·.
....···:::::::::::············::::::::::::::············.... ..·::----------======--:·.
.... ..·::-----------=-----:··.
·.·.. ..·::::::::::::::--:::··.
:·-::. ..··::::··············..
::=-=:. ..······..............
::*+*=:·. ...···...
::**%*=:·. ...···...
.. .... ..··::::::**@%*=:·.. ...·····..
... .......... ..·······.. .·:-+*******@@%*=-:·.....··::::::·..
...·············::---===++===-::·.. ..··:--=---:·. .:=*%@@@@@@@@@%*=-:·····::--====-::·.
.··::--===-----===+**#%%@@@@@@@@@%%#*++===--===++*##%@@@@@@%%#*+=-:··.. ....·········:::--=++**#####**+=-::··..
..·····:·······:::--=++*************++===------===+++******+++=--::··... ....······:::-==++**####***+=-::·..
.................···:::::::::::::::::··············:::::::::·····.... ........···::--==++********+==-:··.
. ......···::-==+++******+==-::·.
. . ...···::--====+++++==--::·.
. .... ...···:::----------::···.
..·.·.. ...·····::::·······....
·.:·:·... ....······.....
··-:-:··... ....······...
....... ..... ....···::::··=-+=-:··.......·····:····..
.···:::::::::::·····:::::::::::::···················........··:--=+++++++=*+=-::·······:::-------::·..
.·:==+**####****++++++++++******++==---::::---======--:··......·:-=*#%@@@@@%#*+=--::··:::--==++****++==-:·..
..·:--==+=========++**#%@@@@@@@@@@@@%#*+=--:::::--=+*#%%%%%#*+=-·. .·:-=+****+==-::···:--=+*#####**+=-:·..
..··:::--:::::::::--==++************+==-::·······::-==+++++==-:·.. ..··:--+++==-:::·:::-=+**##%%##*+=-:··..
....····............·····:::::::::····.... .....····::····.. ..::+++==-:::::::-==+*##%%%###*+=-:·..
.·:====--:::··:::-=++*###%%###+=--:·..
.··-==---:::···:::-==+***###**+=--:·..
··-----:::······::--==+++++++=-::··..
.··-----:::·······:::---------::··...
..··-----:::········:::::::::::··...
..··------:::::··::::::-----:::··...
..····:::::······..........············..... ..................::===------::::----==========-:··...
..·:-==++****+++===----::-----=====+++====--:::··..........·······:::::::::::======-------===++***#####*+=-:··.
..··:-=+**###%####**+++======+++**###%%%%%%###*++==-::···········::::----=============---====++*##%%@@@@@@#*=-:·.
..·::-========-----===++*##%%%%%%#**+-:··. ..·:-=+*###*+=-:·. .·-+#%@@@@@@%*=-:··..··::-=++***++=-:·.
..··::---:::::·······:::--====++==--:··.. .··:-=====-:·.. .·:-=+****@%#*=-:·····:--=+**###**+==:··.
.....··...... .....········... ...······... ..···:**@@%*+=-::··::--=+*##%%%%##*+-:··..
··+*@@%#*+=-:::::--=+**#%%%%%%#*+-::·.
··++@@%#*+=--:::::--=++*###%%##*+=-:·..
.·==%%%#**+=-:::::::--=++******+=-:··..
..-=#%###*+=--:::::::--===+++++==-:··..
..--#####**+==--::::---===++++++=-::·..
..--*#####**++=========++***###*+=-:··.
..···::::::::::::·····...·····:::::::::··.. ........ ..:-**######***++++++**###%%%%%#*+=:··.
...·::--==+++++++==---:::::--=++********+=-:·. ...·······.........··::++**####*********###%%%@@@%#*=-:·.
..·:--==+++++===------=+*#%@@@@@@@@@@%*=-:.. ..··:::::···......··::-==++++++++++++++++***#####*+=-:·.
..··:-=====----:::::::::--=======--:·.. .·:-=++**++=-:·····:-=+#@@@@@@@@@#*=-:·......·::-==+++++==-:·..
...··::::::····.........···::::::::··. .·::-----::··......·:-=+*******@%*+-::·····::-=++*######**=-:·..
........... ........... ...····.... ..··:::::**@@%*+=-::···::-=+*##%%@@@%%*+-:·..
::**@@@#*+=-::::::--=+**#%%%%%%#+=-:·.
::**@@@%#*+=-::···::--=++**####*+=-:·..
·:**@@@@%#*=--::····::--=++***#*+=-::·.
··+*@@@@@%#*+=-:::::::--==++**#*++=-:·.
··++@@@@@@%#*++==-----==++**####*+=-:·.
.·=+@@@@@@@@%##**+++++++***#####*=-:··.
...···:::::::::····....····::::::::··. ......... ...-=%%@@@@@@@%%##****+*********+=-:·..
.··:--==++===--::::::-=++********=-·. ..·:::::··.. ...·::+*#%%%%%%##**+++===========--:·..
.·:-==+++++==------=+#%@@@@@@@@@%+-·. ..·:----::·.. .··:--=++++++===--:::::::::::::::··..
..··::--------:::········::::::::···........·::--========----==+**#%@@@@@@@%#*++=-:·······::-=++*###%%##*+=:··.
...············..........········... ...··:::--:::::·····::--==++*****++#*+=--::···:::-=++*#%%%@%%%*+-:·..
............ ....... .....·..............····:::::*+%#*+==-::····::--=++*###%##*+=:··.
::**@%#*+=-::··...···::-==++***++=-:·..
::**@%%#*+=-:·........··:--=++*++=-:··.
··++@@%%#*+=-:··.......··:-==++++=--:·.
··++@@@@%%#*+=-::······::--==++++=-::·.
··++@@@@@@@%##*+==---------===+==-::·..
.·=+@@@@@@@@@@%#**+==-----------::··..
...····::::····.......····:::···.. ...······... ...--#%@@@@@@@@%#**+==---:::::::::··..
..·:--======--::···::--=++***+=-:·. .·::-----::··... ..··:=+**######*++==--:::::::::-:::··..
.·:-=+*****+==-:::--=+#%@@@@@@#*=:. .·:-==+++==-:·.. ..··::--======---:::::::::--====--:··.
█████╗ ██╗███╗ ███╗███████╗ ██████╗ ██████╗ ██████╗ ███████╗ ██╗
██╔══██╗██║████╗ ████║██╔════╝ ╚════██╗██╔═████╗╚════██╗██╔════╝ ██║
███████║██║██╔████╔██║█████╗ █████╔╝██║██╔██║ █████╔╝███████╗ ██║
██╔══██║██║██║╚██╔╝██║██╔══╝ ██╔═══╝ ████╔╝██║██╔═══╝ ╚════██║ ██║
██║ ██║██║██║ ╚═╝ ██║███████╗ ███████╗╚██████╔╝███████╗███████║ ██║
╚═╝ ╚═╝╚═╝╚═╝ ╚═╝╚══════╝ ╚══════╝ ╚═════╝ ╚══════╝╚══════╝ ╚═╝$ open /benchmarks/aime-2025/tasks/AIME2025~2dI--test--…▌ posts · files
AIME 2025 I / On △ABC points A,D,E, and B lie that order on side…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
On points , and lie that order on side with , and . Points , and lie in that order on side with , and . Let be the reflection of through , and let be the reflection of through . Quadrilateral has area 288. Find the area of heptagon .
Plain-text mathematical notation (without MathML)
On △ABC points A,D,E, and B lie that order on side (AB)¯ with AD=4,DE=16, and EB=8. Points A,F,G, and C lie in that order on side (AC)¯ with AF=13,FG=52, and GC=26. Let M be the reflection of D through F, and let N be the reflection of G through E. Quadrilateral DEGF has area 288. Find the area of heptagon AFNBCEM.
Original LaTeX notation
On $\triangle ABC$ points $A,D,E$, and $B$ lie that order on side $\overline{AB}$ with $AD=4, DE=16$, and $EB=8$. Points $A,F,G$, and $C$ lie in that order on side $\overline{AC}$ with $AF=13, FG=52$, and $GC=26$. Let $M$ be the reflection of $D$ through $F$, and let $N$ be the reflection of $G$ through $E$. Quadrilateral $DEGF$ has area 288. Find the area of heptagon $AFNBCEM$.Discussion
No discussion posts on this page yet. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
Source and history
- task_id
ae2cd3e6-5b7c-55aa-9abf-c3869c959937- task_key
AIME2025~2dI--test--ae2cd3e6-5b7c-55aa-9abf-c3869c959937- task_revision_id
- 3
- config / split
- AIME2025-I / test
initial import