benchmarks.wiki / Public workspace
..···::::·····.......···::::--------::::···········:::--====+++++++***##%@@@@@@@@@%#*=-:·. .·:-----:·.
........ ......··············.......·····:::-----=======%@@@@@@@@@@@@@@%*+-:. ..·:-==-::·.
.......... ........···········++@@@@@@@@@@@@@@#*=:·. .:-=++==-:·.
··==%%@@@@@@@@@%#*=-:. .·-=+*##*+-:·.
..:-++**######*++=-:·. .·:-+*#%@@%#+=:·.
..::--===++++==--:······::-=*#%@@@@@%*+-:·.
.··:-==+++++++=======++*##%@@@@@%#+=:·..
.·-=+*#%%%%%##***+++****#####**+=-:··..
·:-+#%@@@@@@@@%#*++=============--::··...
..............·········::::::········................. ·-+*%@@@@@@@@%#+=-:····.····::::---:::···.
..····::::::::::----===++++***+++++====---------------::··.. .·=+#@@@@@@@@#*=-·. ..··:--====---:··.
..··::----------===++*##%%%@@@@@@%%%###*******########**+=-:·.. .·:=+*#%@@@%#+=:·. ..·:-==++**++=--:·.
.··:--=+++*******++++++++++++++++++====---:::·······::::---------===++*#%@@@@@@@@@@@@%+-:. .··::··..
....····:::::::::::::::::::::::::::::·····.......·····:::::::::---**#%@@@@@@@@@@@@%*=:· .:-====-:·.
.......................... ...............--+**#%@@@@@@@@@#*=-·. .·-=*###*+=-·.
..::-==++**#####**+=-:·......·:-=*#%@@%#*+=:·.
..···::--=++++++==---:::--=+*#%@@@@@%#*=-·..
.··:-=++********+++***##%%@@@%%*+-:·..
.·:-=+##%%@@%%%##**********+++=-:··..
.·:-+*%@@@@@@%%#*+==----:::::::···....
.·:=+#%@@@@@%#*+=-:··..........····......
.... ..........·······.............···········... .·:-+*#%%%#*+=-:·.. ..···:::::···.
....···············:::---=====+======--------===+++***++==-:·.. .·-==+**++=-:·. ..··::-------::··.
..··:::::::::::::--==+**##%%@@@@@@@%%%########%%@@@@@@@@@#*+-:·. .·::-====-::·. ..·::--====+===--:··.
.··:-+*#%@@@@@@@@@@@@@%%####*********++++===-------===========--------=+*#@@@@@@@@@@#*=:·. .·:----:·.
..··::-==++++****+++++++==========----::::········::::::::::·····:::--=+*#%@@@@@%#*+-:·.. ..·:-+****+=-:·.
.....···························....... ........... ..····::-=+**####*++=-:::·:::-=+*#@@%#*+=-:·
..·:--=+******+++=====+**#%@@@@%#*+-:·.
..·:-=+**#####********###%%%%%#+=-:·.
.··-=+**#######***+++++++++++=-:··..
.·:-=+**####**++==------:::::··...
.·:-=++++++==--::··········.....
.·:--====--::··.....................
.... ......................···::::::::::··.. ..·::----:::··..........··········.....
....·····........ ......··:::----====---------==++*********+=-:·. .··:------::··......····::::::::::····..
..···::::···........··::-=++*##%%%%%%%###*****##%@@@@@@@@@#*+-:·. ..·:--=====--::·······:::----------::····..
.·:-=+*#%%@@@@@%%##**++++++++++++++++++========++++++++==-:··.. ..·:-=*#%%@@%%#*+=-::···::--=====-::·.
.··:--==++++++++++===============----:::·········::····... .·:-=+*##%%##*++==----==+**###*+=-:·.
....·······::::·················.... ..·:-=+*#####**+++===+++*##%%%#*+=-·.
..··:-=++******+++===+++**###%#*+=-:·.
. . ...··:--===+++==========++++***+=-:··.
. ... ...··::-------:::::----======-:··..
. . ..···:::::::·:::::::----:::·..
..·············:::::::::::·...
.··:::::::::::::::::::::::··...
............... .......······..........···::::::::::·.. ..·::--===----:::::::-------:::·...
..··::----:::···...........··::--========----:::---==+++**++==-:·.. ··:-=++***+++==---::::---------:::··...
.·:-==++++==-::··........·::-=+**#%%%%##**+==-----==+++****++==-:::::::--=+*##%%%##**+==--::::::---------:::·....
...··:-==+**######***+++======++++++++++===-------------::··. .·:-+*#%%@@%%##*++======+++==--:·.
..··::----======------===========--::··................. ..·:-=+*######**++=======++**++=-:·.
......················::·····... .......··::--==+++++===--------==+***++=-:·.
..:·::········:::::::::······:::-==++*++=-::·.
··-:::·... ..............···::--==+++=--:·..
·.:··. ....···:--===++==-:·..
... ......···::--==++++=-:··..
...·······::::---==++++++=-:·..
..··::-------------====++++++++=-:·..
......···........... .....··········.............·········.... ..·:--=++******+++========+++++++++=-:··.
.··::-==+====---::···.......···::--====---::··......···:::-----::::::::::-*##%%@@@@%%#**++==---====+++++++==-:·..
.·:-=+*#%@@%%#*++=-:··.. ..··:--=+++++==-::·.......··::-==+++++++***##%%@@@@@@@@@@%#*+==--::::----=======--:··.
.·::--====---===+++*###%%%%###***++++++****###**++=-::·... ....········... ...·::-=+**######**++++===+++==--:··.
...············::::-------------------====+===--:··. ..···:::::·-::::::::---=========----:::----====--:··.
..................············.. ...······=-+==--::::::::::······......··::--==---:··.
::==+=-::··..... ..··:------:··.
:·=-=:··. ..·::-==--::·..
··:··.. ..·::-====-::·..
..·... ..··::-==+++=--:·..
....·...····················::--=++****+=-:·..
..··:---===+++++===----::----=++**####*+=-:·..
.....·······....... .............. .....·····.......:-+**##%%%%%%##**++=======++**##%%%%#*=-:·..
..·::-=++++++++==-::·... ...·········... ...···:::------------==%%@@@@@@@@@%%#**+======++**##%%%%%#*=-:·.
.·:-+*#%@@@@@@@%#+=:·. .··::---:::···....···::--=====++++++**#%%@@@@@@@@@@@%#*++==----==++**##%%%%#+=-:·.
.·:-==++**++++++***##%%%%%%##**++======++***####*+=-::·.. ..·::-==+++++==---:::::---==++++****++++++****#*++=-:·.
..··:::----:::::----------:::····..···::--==+++==--:··... ...··:--=======**+==----------------:::::::---==++==--:·.
..................... ...···:::::···... ....····::::+=#*+==--:::·······............··:------:··.
:·==*+=--::··..... .··::::::·..
··=-==-::··.... ..··:::··..
··-:=-:::···.... ..··::···..
·.::=--::::::···... ..··:::···..
·.::=========---::··.. ..·::::::··..
..--++++******++==-::··... ....··:--==--::·..
....······:·····... ......······......--+**##%%%%%%#**+=--::······:::-==++++=-:··.
...·::-=++******+=-:·. ..···············::::::::::::···::::-**#%%@@@@@@%%#*++=--:::::--==++*###*+=-:·.
..·:-=+#@@@@@@@@%#+-:. .·:-=++**+++==-----:::::::::·······::-=++*#%@@@@@@@@%%#*+==------==++*#%%@%#*+-:·.
.··::-=======+++***#####**+=-:··......·:-=+*#%@@@@%#*++=---:---==++******++===---:::----====++++****###%%@@%#*+=-:·.
...···:::::::::::::::::··.. ..·-=+********+=--::·····:::---===--*++==----------------======++**##%%#*+=-:·.
................ ..··::::::::::··.... ......····--+++==------:::::::::::··::::--=++****+=-:·.
··--++===-----:::::···..........··::-==+==--:·.
··--+++====----:::··... .··:-----:·.
··=-**++++===---::··.. .··::::··.
··==*****++++===-::·.. ..·····..
··==**********++=--:·. ...··...
··--****######**++=-:·. .......
....····:::::···.. ................·······........::++**###%%%%#**+=-:·. ...··...
...··:-==+****++=-:·. ..·::-----------:::::::::::······..····-=+**#%%%%%%##*+=-:·. ..·····...
..·:-+*#%@@@@@@%*+-:·. ..:-=+*##%%%###*++===----:::···.... ..··:-=+*##%%@@%%#**+=-:·.. ..··::::::·..
...···::::::::--===++===-:·. .:-+#@@@@@@@@@@@%#*++=======+++++===---::::····:::::---====+++****##**+=-:·.
...........··········.. .·:=+**********+=-::··········:::::----::::::::::::-----=====+++**##%##*+=-:·.
...... ..·:::::::::···.. ....··---::::::::::::----------===++**#%##*+=-:·.
..::-------------------::::::----==+*###*+=-:·.
..::=============-----::::·····:::-==+***+=-:·.
··--+++++++++++++===--::···......··:-======-:·.
··==#########****++==-::·... ..·::----::·.
··==####%%%%%%%##**+=-::·. ..··::::·..
··==###%%%@@@@@%%##*+=-:·. ..·····.
...···:::::···... .................·················--**##%%@@@@@@@%%#*=-:·. ......
..·:-=+******+==-:··.....···:::-----------::-----------:::::::::::=++*#%%@@@@@@@%#*+=:·. ....
.·-+*%@@@@@@@@@%*+=--::::--==++******+++============---:::········::-=+**#%@@@@@@@%#+=-:·. ....
..... ..·:--=====-:·. .·:=+#@@@@@@@@@@%%#*++===============--::::············::::::::::::::···...
..··::----::··. .·::-=++***++==--::···············:::::···············::::::::::----:::···..
....······.... ....······..... ..······.......······:::::::::---------::··.
..····.......·······:::::::::::----==----:··.
..················:::::::::::::::--====--::·.
..··::::::::::::::::::::::::······::--------:·.
..::-------------------::::·········:::----::·.
··--+++====+++++++++===--::··.......···:::::··.
··--*********#####***++=--:··.. ..······.
.··::::::::::····.............................·············==**####%%%%@@@@%%##*+=-:··. .......
.·-=+**********+=--::::··:::::::::·········::::----==========---**###%%@@@@@@@@@@%#*+=-:·. .....
.·-=*%@@@@@@@@@@%#*+=--::::------------:::::---===+++*******++++++++**##%@@@@@@@@@@@@@#*+-:·. ..
.... .·:-+*#%@@@%#*=-·. .·:-=+**########**********########****++====-------------------:::··...
...·::-=++***++=-:·.. ..··::------::::::::::::------++++====-----------------------:::···...
.........····:::::···... ..........................::-----:::::::::::::::---------:::::···....
..··:::··············::::::::::::::::·····....
..···.............····:::::::::··········...
....... .....·······················..
..·.... .....········.............·..
..·.··..............·········.... .......
..··::····.....·····::::::···... ....
..·:::::::::::::······........... ..............::--:::::::::::---------::··.. ..
..·:-=+********++==--:::::::::·····.............···:::---------::==--------===+++**+++==-::·.
..·:-=+**#%%%##**+==--:::::::::::::::···........··::--==++*******++++======+++**##%%%%%%##*+=-:·.
..···::::·····::-=+*%@@@@@@@@%#+-:·. .··:--===++++****###%%%@@@@@@@@%%###**+++=========++++++++++=-:··..
..··:::-::::::---==+++**++==-:·. ...····::::::----====++++@@@@%%%###***+++++++++++******++++=-:··..
...·······......·········... .............······++%%%%%###****+++++++++*********+++=-::·...
··==####***+++++=====+++++******+++==-::·...
.·--+++++====--------====+++++++===--:··...
..::===----:::::::::::---======--::···..
..::---::····......····:::::::::··..
..··:::··.... ....·········..
..··::··... ....·····...
...···:::::::::···············...... ..........··::··.. ...········..
...··::---====------------------:::···...... ......···:::::::::·::··... ...··:::----:::·..
.... ....···::---------::::::----======---::··.... ....··::--========--::···.....···:--=+++***++=-::·..
.·:-++*##**+=======+**#%@@@@@%#*+=:·. ..··::---===++++********+++==--:::···.....···:::--==++++==-:··.
..·:--====--:::::::::---====--::·.. ....···::::----====####**+++==--::::::::---==++***##*+=-:··.
...·····..... ............... ......·····==%%%%###**++===-----===++**##%%%%%#*+-:··.
··=+%%%%%%##***+++====+++**##%%%@%%%##+=-··.
··=+%%%%%%##***++++=++++**##%%%%%%#**+-:·..
··==%%%%###**+++=======+++***##**++=-:·.
··==#####**++==---------====++==--:·.
··==##**++==--::·······:::----::··.
··==**++==-::··........····::···..
.....··········::::::::::::::····.................····=-*++=--:··.. ...···:::···..
...····:::::-----===+++*******++==--:::·········:::----===-*+==-:··.. ..··::--===--::··...
....····:::::::---==++*##%%%@@@@%%#**+==--::::::::--==++******++=--:··... ...·:-==+*#####**+==-:··....
.·:-+**###*+=--:::::--=++*#######*+=--:·.. ..··::-==+++*******++++==--:::··... ..·:--=+++=--:·..
..·::----::····..····:::--------::··.. ...···::::---------++===--::··... ..·:--=+*##%#*+=-··.
......... ................ .........·--**++++==--::···.....··::-=+*#%@@@@%#+=:·.
..--******++==--::::··:::-==+*#%@@@@@@#+=:·.
..--*####***++==---:::---=+**#%%@@@%#*=-·.
..--*######**++==-------==++**####*+=-·.
..--*######**+==--::::::--===+++==-:·.
..--######**+==-:::·····:::------:·..
.·-=######*+==-::··....···:::---:::·..
........·······:::::::·····..... ....··==%%%%#**+=-:··......··::--======--:··....
.....····:::--==+++********++==--::··......···::--==++%%%%#*++=-:··....··::-=+*##%%%##*+=-:··..
.....·····::--==+*#%%@@@@@@@@@@@@%#*+==-::::::--==+*#%%@@@@@%#*+=-::··..··::=+*#%@@@@@@@@%#+=-··.
.··:-===--::········::--=++**#####**++==---::::---==+**#%%@@@@@@@@@@%%%##**++==--::··.. .·:-=+***+=-:·.
..········.......···:::---====----:::····....····:::---===+++++++++++=###**++==--:··.. .·:-=*#%@%#*+-:·.
........ ........········....... ......············==#####**++=--:··.. ..·:-=*#%@@@%#+=:·.
··==######**++=--:··......·::-+*#%%@@%#+-·.
..--**####***+==-::··...··::-=+**###*+=:·
..::++******++==-::···.···::-==+++++=-·.
·:=++*****++=--:···...··::--======-:·.
··==+*****++=--:···..···::-==++++==-:·..
·:=+**###**+==-::·····::--=+***#***+=-:··..
......................... .::*##%%%%##*+=--::::::--=+*##%%@@%%#*=-:··.
......·····::::-----------:::··... ..·::-=%@@@@@@@%#*+=-:::::--=+*#%@@@@@@@%*+-:··.
.....···::--==++**########*++=-::·... ...·:-=+#%@@@@@@@@@%*+=-:::·::-==*#%@@@@@@@%#*=-:·..
..··:::····.........··::--===+++++++====--------===++**##%%%%%%%%%%%%########***++=-::·.. ..·:=+***+=-:·.
...................····::::-----::::::::···:::::---===+++++*****+++@@@@@@@@%%##*+=-:·.. .·:-=+*##*+=:·.
................................·······:::::::::**@@@@@@@@@@%#*+=-:·. ..·:=+**#*+=:·.
··++@@@@@@@@@%#*+=-:·.. ..·:-=++**+=:·.
··==##%%%%%%##*+=-:·.. .·:-=++***=-:·.
..::=++******++=-:··.. ..·:-=+*****+-:·.
..:--==+++++==-::··....··:-=+*##%%##+=-:·.
.·:--=+++*+++==--:::::--=+*#%%%@%%#*+-:·..
.·:-+**##%%##*++===-===++*##%%%%%%#*=-:··.
...................···············............. .·-=*#%@@@@@@%%#*+===-===++**######*+=-:··..
................····:::::---------------::::::::::···.. ..·:*%@@@@@@@@@%#*=--::::::--=+++*****+=-::·..
.................···:::----============+++++++++++==--:·.. .·:=+#@@@@@@@@@%#+=:·.. ..··:-==++****+==-::·.
█████╗ ██╗███╗ ███╗███████╗ ██████╗ ██████╗ ██████╗ ██╗ ██╗
██╔══██╗██║████╗ ████║██╔════╝ ╚════██╗██╔═████╗╚════██╗██║ ██║
███████║██║██╔████╔██║█████╗ █████╔╝██║██╔██║ █████╔╝███████║
██╔══██║██║██║╚██╔╝██║██╔══╝ ██╔═══╝ ████╔╝██║██╔═══╝ ╚════██║
██║ ██║██║██║ ╚═╝ ██║███████╗ ███████╗╚██████╔╝███████╗ ██║
╚═╝ ╚═╝╚═╝╚═╝ ╚═╝╚══════╝ ╚══════╝ ╚═════╝ ╚══════╝ ╚═╝$ open /benchmarks/aime-2024/tasks/default--train--ec2a…▌ posts · files
AIME 2024 / AIME 2024 train ec2a3bb1-1f75-5e49-a899-725114f572d5
Problem
Answer published by the source. Consult the official source to check your work against its answer.
Problem
Let , , , and be points on the hyperbola such that is a rhombus whose diagonals intersect at the origin. Find the greatest real number that is less than for all such rhombi.
Plain-text mathematical notation (without MathML)
Let A, B, C, and D be points on the hyperbola (x²)/(20)−(y²)/(24)=1 such that ABCD is a rhombus whose diagonals intersect at the origin. Find the greatest real number that is less than BD² for all such rhombi.
Original LaTeX notation
Let $A$, $B$, $C$, and $D$ be points on the hyperbola $\frac{x^2}{20}- \frac{y^2}{24} = 1$ such that $ABCD$ is a rhombus whose diagonals intersect at the origin. Find the greatest real number that is less than $BD^2$ for all such rhombi.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
ec2a3bb1-1f75-5e49-a899-725114f572d5- task_key
default--train--ec2a3bb1-1f75-5e49-a899-725114f572d5- task_revision_id
- 3
- config / split
- default / train
initial import