benchmarks.wiki / Public workspace
..···::::·····.......···::::--------::::···········:::--====+++++++***##%@@@@@@@@@%#*=-:·. .·:-----:·.
........ ......··············.......·····:::-----=======%@@@@@@@@@@@@@@%*+-:. ..·:-==-::·.
.......... ........···········++@@@@@@@@@@@@@@#*=:·. .:-=++==-:·.
··==%%@@@@@@@@@%#*=-:. .·-=+*##*+-:·.
..:-++**######*++=-:·. .·:-+*#%@@%#+=:·.
..::--===++++==--:······::-=*#%@@@@@%*+-:·.
.··:-==+++++++=======++*##%@@@@@%#+=:·..
.·-=+*#%%%%%##***+++****#####**+=-:··..
·:-+#%@@@@@@@@%#*++=============--::··...
..............·········::::::········................. ·-+*%@@@@@@@@%#+=-:····.····::::---:::···.
..····::::::::::----===++++***+++++====---------------::··.. .·=+#@@@@@@@@#*=-·. ..··:--====---:··.
..··::----------===++*##%%%@@@@@@%%%###*******########**+=-:·.. .·:=+*#%@@@%#+=:·. ..·:-==++**++=--:·.
.··:--=+++*******++++++++++++++++++====---:::·······::::---------===++*#%@@@@@@@@@@@@%+-:. .··::··..
....····:::::::::::::::::::::::::::::·····.......·····:::::::::---**#%@@@@@@@@@@@@%*=:· .:-====-:·.
.......................... ...............--+**#%@@@@@@@@@#*=-·. .·-=*###*+=-·.
..::-==++**#####**+=-:·......·:-=*#%@@%#*+=:·.
..···::--=++++++==---:::--=+*#%@@@@@%#*=-·..
.··:-=++********+++***##%%@@@%%*+-:·..
.·:-=+##%%@@%%%##**********+++=-:··..
.·:-+*%@@@@@@%%#*+==----:::::::···....
.·:=+#%@@@@@%#*+=-:··..........····......
.... ..........·······.............···········... .·:-+*#%%%#*+=-:·.. ..···:::::···.
....···············:::---=====+======--------===+++***++==-:·.. .·-==+**++=-:·. ..··::-------::··.
..··:::::::::::::--==+**##%%@@@@@@@%%%########%%@@@@@@@@@#*+-:·. .·::-====-::·. ..·::--====+===--:··.
.··:-+*#%@@@@@@@@@@@@@%%####*********++++===-------===========--------=+*#@@@@@@@@@@#*=:·. .·:----:·.
..··::-==++++****+++++++==========----::::········::::::::::·····:::--=+*#%@@@@@%#*+-:·.. ..·:-+****+=-:·.
.....···························....... ........... ..····::-=+**####*++=-:::·:::-=+*#@@%#*+=-:·
..·:--=+******+++=====+**#%@@@@%#*+-:·.
..·:-=+**#####********###%%%%%#+=-:·.
.··-=+**#######***+++++++++++=-:··..
.·:-=+**####**++==------:::::··...
.·:-=++++++==--::··········.....
.·:--====--::··.....................
.... ......................···::::::::::··.. ..·::----:::··..........··········.....
....·····........ ......··:::----====---------==++*********+=-:·. .··:------::··......····::::::::::····..
..···::::···........··::-=++*##%%%%%%%###*****##%@@@@@@@@@#*+-:·. ..·:--=====--::·······:::----------::····..
.·:-=+*#%%@@@@@%%##**++++++++++++++++++========++++++++==-:··.. ..·:-=*#%%@@%%#*+=-::···::--=====-::·.
.··:--==++++++++++===============----:::·········::····... .·:-=+*##%%##*++==----==+**###*+=-:·.
....·······::::·················.... ..·:-=+*#####**+++===+++*##%%%#*+=-·.
..··:-=++******+++===+++**###%#*+=-:·.
. . ...··:--===+++==========++++***+=-:··.
. ... ...··::-------:::::----======-:··..
. . ..···:::::::·:::::::----:::·..
..·············:::::::::::·...
.··:::::::::::::::::::::::··...
............... .......······..........···::::::::::·.. ..·::--===----:::::::-------:::·...
..··::----:::···...........··::--========----:::---==+++**++==-:·.. ··:-=++***+++==---::::---------:::··...
.·:-==++++==-::··........·::-=+**#%%%%##**+==-----==+++****++==-:::::::--=+*##%%%##**+==--::::::---------:::·....
...··:-==+**######***+++======++++++++++===-------------::··. .·:-+*#%%@@%%##*++======+++==--:·.
..··::----======------===========--::··................. ..·:-=+*######**++=======++**++=-:·.
......················::·····... .......··::--==+++++===--------==+***++=-:·.
..:·::········:::::::::······:::-==++*++=-::·.
··-:::·... ..............···::--==+++=--:·..
·.:··. ....···:--===++==-:·..
... ......···::--==++++=-:··..
...·······::::---==++++++=-:·..
..··::-------------====++++++++=-:·..
......···........... .....··········.............·········.... ..·:--=++******+++========+++++++++=-:··.
.··::-==+====---::···.......···::--====---::··......···:::-----::::::::::-*##%%@@@@%%#**++==---====+++++++==-:·..
.·:-=+*#%@@%%#*++=-:··.. ..··:--=+++++==-::·.......··::-==+++++++***##%%@@@@@@@@@@%#*+==--::::----=======--:··.
.·::--====---===+++*###%%%%###***++++++****###**++=-::·... ....········... ...·::-=+**######**++++===+++==--:··.
...············::::-------------------====+===--:··. ..···:::::·-::::::::---=========----:::----====--:··.
..................············.. ...······=-+==--::::::::::······......··::--==---:··.
::==+=-::··..... ..··:------:··.
:·=-=:··. ..·::-==--::·..
··:··.. ..·::-====-::·..
..·... ..··::-==+++=--:·..
....·...····················::--=++****+=-:·..
..··:---===+++++===----::----=++**####*+=-:·..
.....·······....... .............. .....·····.......:-+**##%%%%%%##**++=======++**##%%%%#*=-:·..
..·::-=++++++++==-::·... ...·········... ...···:::------------==%%@@@@@@@@@%%#**+======++**##%%%%%#*=-:·.
.·:-+*#%@@@@@@@%#+=:·. .··::---:::···....···::--=====++++++**#%%@@@@@@@@@@@%#*++==----==++**##%%%%#+=-:·.
.·:-==++**++++++***##%%%%%%##**++======++***####*+=-::·.. ..·::-==+++++==---:::::---==++++****++++++****#*++=-:·.
..··:::----:::::----------:::····..···::--==+++==--:··... ...··:--=======**+==----------------:::::::---==++==--:·.
..................... ...···:::::···... ....····::::+=#*+==--:::·······............··:------:··.
:·==*+=--::··..... .··::::::·..
··=-==-::··.... ..··:::··..
··-:=-:::···.... ..··::···..
·.::=--::::::···... ..··:::···..
·.::=========---::··.. ..·::::::··..
..--++++******++==-::··... ....··:--==--::·..
....······:·····... ......······......--+**##%%%%%%#**+=--::······:::-==++++=-:··.
...·::-=++******+=-:·. ..···············::::::::::::···::::-**#%%@@@@@@%%#*++=--:::::--==++*###*+=-:·.
..·:-=+#@@@@@@@@%#+-:. .·:-=++**+++==-----:::::::::·······::-=++*#%@@@@@@@@%%#*+==------==++*#%%@%#*+-:·.
.··::-=======+++***#####**+=-:··......·:-=+*#%@@@@%#*++=---:---==++******++===---:::----====++++****###%%@@%#*+=-:·.
...···:::::::::::::::::··.. ..·-=+********+=--::·····:::---===--*++==----------------======++**##%%#*+=-:·.
................ ..··::::::::::··.... ......····--+++==------:::::::::::··::::--=++****+=-:·.
··--++===-----:::::···..........··::-==+==--:·.
··--+++====----:::··... .··:-----:·.
··=-**++++===---::··.. .··::::··.
··==*****++++===-::·.. ..·····..
··==**********++=--:·. ...··...
··--****######**++=-:·. .......
....····:::::···.. ................·······........::++**###%%%%#**+=-:·. ...··...
...··:-==+****++=-:·. ..·::-----------:::::::::::······..····-=+**#%%%%%%##*+=-:·. ..·····...
..·:-+*#%@@@@@@%*+-:·. ..:-=+*##%%%###*++===----:::···.... ..··:-=+*##%%@@%%#**+=-:·.. ..··::::::·..
...···::::::::--===++===-:·. .:-+#@@@@@@@@@@@%#*++=======+++++===---::::····:::::---====+++****##**+=-:·.
...........··········.. .·:=+**********+=-::··········:::::----::::::::::::-----=====+++**##%##*+=-:·.
...... ..·:::::::::···.. ....··---::::::::::::----------===++**#%##*+=-:·.
..::-------------------::::::----==+*###*+=-:·.
..::=============-----::::·····:::-==+***+=-:·.
··--+++++++++++++===--::···......··:-======-:·.
··==#########****++==-::·... ..·::----::·.
··==####%%%%%%%##**+=-::·. ..··::::·..
··==###%%%@@@@@%%##*+=-:·. ..·····.
...···:::::···... .................·················--**##%%@@@@@@@%%#*=-:·. ......
..·:-=+******+==-:··.....···:::-----------::-----------:::::::::::=++*#%%@@@@@@@%#*+=:·. ....
.·-+*%@@@@@@@@@%*+=--::::--==++******+++============---:::········::-=+**#%@@@@@@@%#+=-:·. ....
..... ..·:--=====-:·. .·:=+#@@@@@@@@@@%%#*++===============--::::············::::::::::::::···...
..··::----::··. .·::-=++***++==--::···············:::::···············::::::::::----:::···..
....······.... ....······..... ..······.......······:::::::::---------::··.
..····.......·······:::::::::::----==----:··.
..················:::::::::::::::--====--::·.
..··::::::::::::::::::::::::······::--------:·.
..::-------------------::::·········:::----::·.
··--+++====+++++++++===--::··.......···:::::··.
··--*********#####***++=--:··.. ..······.
.··::::::::::····.............................·············==**####%%%%@@@@%%##*+=-:··. .......
.·-=+**********+=--::::··:::::::::·········::::----==========---**###%%@@@@@@@@@@%#*+=-:·. .....
.·-=*%@@@@@@@@@@%#*+=--::::------------:::::---===+++*******++++++++**##%@@@@@@@@@@@@@#*+-:·. ..
.... .·:-+*#%@@@%#*=-·. .·:-=+**########**********########****++====-------------------:::··...
...·::-=++***++=-:·.. ..··::------::::::::::::------++++====-----------------------:::···...
.........····:::::···... ..........................::-----:::::::::::::::---------:::::···....
..··:::··············::::::::::::::::·····....
..···.............····:::::::::··········...
....... .....·······················..
..·.... .....········.............·..
..·.··..............·········.... .......
..··::····.....·····::::::···... ....
..·:::::::::::::······........... ..............::--:::::::::::---------::··.. ..
..·:-=+********++==--:::::::::·····.............···:::---------::==--------===+++**+++==-::·.
..·:-=+**#%%%##**+==--:::::::::::::::···........··::--==++*******++++======+++**##%%%%%%##*+=-:·.
..···::::·····::-=+*%@@@@@@@@%#+-:·. .··:--===++++****###%%%@@@@@@@@%%###**+++=========++++++++++=-:··..
..··:::-::::::---==+++**++==-:·. ...····::::::----====++++@@@@%%%###***+++++++++++******++++=-:··..
...·······......·········... .............······++%%%%%###****+++++++++*********+++=-::·...
··==####***+++++=====+++++******+++==-::·...
.·--+++++====--------====+++++++===--:··...
..::===----:::::::::::---======--::···..
..::---::····......····:::::::::··..
..··:::··.... ....·········..
..··::··... ....·····...
...···:::::::::···············...... ..........··::··.. ...········..
...··::---====------------------:::···...... ......···:::::::::·::··... ...··:::----:::·..
.... ....···::---------::::::----======---::··.... ....··::--========--::···.....···:--=+++***++=-::·..
.·:-++*##**+=======+**#%@@@@@%#*+=:·. ..··::---===++++********+++==--:::···.....···:::--==++++==-:··.
..·:--====--:::::::::---====--::·.. ....···::::----====####**+++==--::::::::---==++***##*+=-:··.
...·····..... ............... ......·····==%%%%###**++===-----===++**##%%%%%#*+-:··.
··=+%%%%%%##***+++====+++**##%%%@%%%##+=-··.
··=+%%%%%%##***++++=++++**##%%%%%%#**+-:·..
··==%%%%###**+++=======+++***##**++=-:·.
··==#####**++==---------====++==--:·.
··==##**++==--::·······:::----::··.
··==**++==-::··........····::···..
.....··········::::::::::::::····.................····=-*++=--:··.. ...···:::···..
...····:::::-----===+++*******++==--:::·········:::----===-*+==-:··.. ..··::--===--::··...
....····:::::::---==++*##%%%@@@@%%#**+==--::::::::--==++******++=--:··... ...·:-==+*#####**+==-:··....
.·:-+**###*+=--:::::--=++*#######*+=--:·.. ..··::-==+++*******++++==--:::··... ..·:--=+++=--:·..
..·::----::····..····:::--------::··.. ...···::::---------++===--::··... ..·:--=+*##%#*+=-··.
......... ................ .........·--**++++==--::···.....··::-=+*#%@@@@%#+=:·.
..--******++==--::::··:::-==+*#%@@@@@@#+=:·.
..--*####***++==---:::---=+**#%%@@@%#*=-·.
..--*######**++==-------==++**####*+=-·.
..--*######**+==--::::::--===+++==-:·.
..--######**+==-:::·····:::------:·..
.·-=######*+==-::··....···:::---:::·..
........·······:::::::·····..... ....··==%%%%#**+=-:··......··::--======--:··....
.....····:::--==+++********++==--::··......···::--==++%%%%#*++=-:··....··::-=+*##%%%##*+=-:··..
.....·····::--==+*#%%@@@@@@@@@@@@%#*+==-::::::--==+*#%%@@@@@%#*+=-::··..··::=+*#%@@@@@@@@%#+=-··.
.··:-===--::········::--=++**#####**++==---::::---==+**#%%@@@@@@@@@@%%%##**++==--::··.. .·:-=+***+=-:·.
..········.......···:::---====----:::····....····:::---===+++++++++++=###**++==--:··.. .·:-=*#%@%#*+-:·.
........ ........········....... ......············==#####**++=--:··.. ..·:-=*#%@@@%#+=:·.
··==######**++=--:··......·::-+*#%%@@%#+-·.
..--**####***+==-::··...··::-=+**###*+=:·
..::++******++==-::···.···::-==+++++=-·.
·:=++*****++=--:···...··::--======-:·.
··==+*****++=--:···..···::-==++++==-:·..
·:=+**###**+==-::·····::--=+***#***+=-:··..
......................... .::*##%%%%##*+=--::::::--=+*##%%@@%%#*=-:··.
......·····::::-----------:::··... ..·::-=%@@@@@@@%#*+=-:::::--=+*#%@@@@@@@%*+-:··.
.....···::--==++**########*++=-::·... ...·:-=+#%@@@@@@@@@%*+=-:::·::-==*#%@@@@@@@%#*=-:·..
..··:::····.........··::--===+++++++====--------===++**##%%%%%%%%%%%%########***++=-::·.. ..·:=+***+=-:·.
...................····::::-----::::::::···:::::---===+++++*****+++@@@@@@@@%%##*+=-:·.. .·:-=+*##*+=:·.
................................·······:::::::::**@@@@@@@@@@%#*+=-:·. ..·:=+**#*+=:·.
··++@@@@@@@@@%#*+=-:·.. ..·:-=++**+=:·.
··==##%%%%%%##*+=-:·.. .·:-=++***=-:·.
..::=++******++=-:··.. ..·:-=+*****+-:·.
..:--==+++++==-::··....··:-=+*##%%##+=-:·.
.·:--=+++*+++==--:::::--=+*#%%%@%%#*+-:·..
.·:-+**##%%##*++===-===++*##%%%%%%#*=-:··.
...................···············............. .·-=*#%@@@@@@%%#*+===-===++**######*+=-:··..
................····:::::---------------::::::::::···.. ..·:*%@@@@@@@@@%#*=--::::::--=+++*****+=-::·..
.................···:::----============+++++++++++==--:·.. .·:=+#@@@@@@@@@%#+=:·.. ..··:-==++****+==-::·.
█████╗ ██╗███╗ ███╗███████╗ ██████╗ ██████╗ ██████╗ ██╗ ██╗
██╔══██╗██║████╗ ████║██╔════╝ ╚════██╗██╔═████╗╚════██╗██║ ██║
███████║██║██╔████╔██║█████╗ █████╔╝██║██╔██║ █████╔╝███████║
██╔══██║██║██║╚██╔╝██║██╔══╝ ██╔═══╝ ████╔╝██║██╔═══╝ ╚════██║
██║ ██║██║██║ ╚═╝ ██║███████╗ ███████╗╚██████╔╝███████╗ ██║
╚═╝ ╚═╝╚═╝╚═╝ ╚═╝╚══════╝ ╚══════╝ ╚═════╝ ╚══════╝ ╚═╝$ open /benchmarks/aime-2024/tasks/default--train--6d04…▌ posts · files
AIME 2024 / AIME 2024 train 6d049acd-c61b-5c5e-b721-73584b48503a
Problem
Answer published by the source. Consult the official source to check your work against its answer.
Problem
Let have circumcenter and incenter with , circumradius , and inradius . Find .
Plain-text mathematical notation (without MathML)
Let △ABC have circumcenter O and incenter I with (IA)¯⊥(OI)¯, circumradius 13, and inradius 6. Find AB⋅AC.
Original LaTeX notation
Let $\triangle ABC$ have circumcenter $O$ and incenter $I$ with $\overline{IA}\perp\overline{OI}$, circumradius $13$, and inradius $6$. Find $AB\cdot AC$.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
6d049acd-c61b-5c5e-b721-73584b48503a- task_key
default--train--6d049acd-c61b-5c5e-b721-73584b48503a- task_revision_id
- 3
- config / split
- default / train
initial import