benchmarks.wiki / Public workspace
..·:::-::::··.... .·::-=++*######**++=-::·.. ..·::--=+++********+++==--::··....
..·······.... ..·--=++*******++=--:··.. ..··::-==++**#########***++==--:··...
...... .·--=+++*****++==--::··... ....··::--==++**#####%%%%####***++==-::··..
··-==+++****+++===--::···········::---==+++***################***++=-::·..
..::=+++******+++===----:::::::----===++++***************####*******+=--:··.
..--**********+++====---------====++++**********+++++++++++++******++==-:··..
··==######***+++===---------====++++*******+++++===============++++++=--:··..
::++%%%##**++===---::::::----====+++++++++++====----:::::::-----======-::··..
::*+@%%#**+==--::········::::---=============---::::········::::----=--::··.
... ......·····::::::::::++%##*+=--::··.........···::::----=====-----::::·····....·····:::--:::··..
...·····......····:::--==+++*******+++=**+=--:··... .....···::::-----------::::····..........···:::::···..
...··::::::::::::---==+**##%%%%%%%%##**+==-::··... .....····:::::::-------:::::····...........········...
..··:::-----------::··.. ..··:---========---:::·····......······::::----====+++++++++++==--:::··......
...····:··:::······.... ...::---===========--------:::::::::::::::----===+++*****#****++===-::··...
................. ..·::--===++++++****+++++++====----:::::::::---==++***###%%####**++=-:··...
..::--==+++***############**+++==--::::····::::--=++**##%%%%%%%###*+=-:··..
··---==++**###%%%%%%%%%%%##**++=--:::·········::--==+*##%%@@@@@%%%#*+--:·..
..·:-===++***###%%%%%%%%%###**+==--::···........··::-==+*##%%@@@@@@%%*+=-:·..
..::==+++++*****#######***+++==--::···..... .....··::-==+*##%%@@@@@%%#+=-:··.
..::========++++++++++=====---::····.... ....··::-==+*##%%%@@@%%#+=-:··.
..::===---------------::::::·····....... .....···::-==+**##%%%%%%*+=-:·..
...............·············.....::--:::::::::··············.....................···::--=++**###%%##*+=-:·..
.....···········:::::----------:::::····:::··················................···········:::--==++***#####*+-::·..
...·······::::::----=========-----::::········································:::::::::::::---==++*******+=-:··.
..··:--==++++++==--::··..... .......······::::::----===+++*******+++===---:::::::---===+++++++==--::··...
...·:::---------:::···.... .···::--==++*##%%@@@@@@@%%#**+=--::········::--==++******++=--::··......
....···········...... ..··:--=+*#%@@@@@@@@@@@@@@%#+=--:·.... ....·::-=++**#####**+==--:···...
.··::-=+*#%@@@@@@@@@@@@@@%#*=-:··. .··:-=+*##%%%%###*++=-::··...
.··:-=+*#%@@@@@@@@@@@@@@%#+=-:·. .·:-=+**#%%@@@%%##*+=-::··..
..··:-==+*#%@@@@@@@@@@@%#*+=:··. .·:-=+*#%@@@@@@%%#*+=-:··..
..··::-==+*##%%%%%%%##*++=-:·.. ..·-=+*#%@@@@@@@%%#*=-::·..
..··::--=+++******++==--:··. .·:-+*#%@@@@@@@@%%*+=-:··.
..···::---========---::··... .·:-=+#%%@@@@@@@@%#+=-:··.
........··········...... ..···:::----------::::···.... ..·:-=+*#%@@@@@@@@%#+=-:·..
...·····::::::::::::·····...... .....·::::----------::::····....... ..··:-=+*#%@@@@@@@@%#+=-:·..
...··::::::::::::::::·····........····:::----=======----:::······......................··::-=+*#%@@@@@@@@%#+=-:·..
.·::-==++++++++===---:::····...........···:--=+*#%%@@@@@@@@@@@%#*++=--:::··::::--=++*******+==-::·...
..·::--====++=====--:::···... ...·:--=*#%@@@@@@@@@@@@@@%#*+=-:··.......··:-==+***##***+=--:··....
...····::::::::::····.... ..·:-=+*%@@@@@@@@@@@@@@@%*+=-:·. ..·::-=+**####**++=-::··......
.·:-=+#%@@@@@@@@@@@@@@%#+=-·.. ..·:-=+*######**+=--::··.....
..·:-+*#%@@@@@@@@@@@@%*+=:·. .·:-=+*##%%##**+==-::··....
.·:-=+*#%@@@@@@@@@%#*+-:·. .:-=+*##%%%%##*+==-::··...
.··:-=+**##%%%%%##*+=-:··. .·:-=+*#%%%%%##*+==-:···...
..··:-==++*******++==-::·. .·-=+*#%%%%%%#**+=-::··...
..··::--====++++++===--::··.. .·:-+*#%%%@%%%#**+=-:··...
.....········...... ..·::---===========-----:::··.. .·:-=*##%%@@%%##*+=-:··..
...··::::::::·····.... ....···::===++++++=====-----::::::···... .·:-=+*#%%@@@%%#**=-:··..
...··::::::::····..... ....··::-==++***####***+++===---:::::::::::····.. .·:-=+*#%%@@@%%#**=-:··..
.·::-=++****###***+++==--::···......···:--=+*#%@@@@@@@@@@@@%##*+=-:::····:::-=++*#%%@@@@%%##*+==--:::···....
..·:--==++*******++==--::··... .··:-=+*#%@@@@@@@@@@@@%#*+=--:··.....··:--=+*#%%@@@@@%##*+==--:::···...
...··::::::::::::::···... ..·:-=+*#%@@@@@@@@@@@%#*+=-:·... ..··:-=+*#%%@@@@@%##*+==--::···...
.··:-+*#%%@@@@@@@@%#*+=-:·.. ..·:-=+*#%%@@@@%%#**+==--::··....
.··:-=+*#%%@@@@%%#**+=-:·. .·:-=+*#%%@@@@%%#*++=--::···...
.·::-=+**##%%%##**+=-:··. .·:-=+*#%%@@@%%#**+==--:···...
..··:-==++**####**++=-:··. .·:-=+*#%%%%%%##*+==--:···...
...··::--==+++******++=--:·. .·:-=+*#%%%%%##*++=--:··....
..····::::---===++++***+++==-:·.. .·:-+**##%%###*++=--:··...
............. .....··-----------=====+++++++++=--:·.. .·:-=+**#####**+==--:··...
.....···.................····:::--------**+++=====---=====++++++++=--:·.. .·:-=+**####**+==-:··...
..·········..... .....··::-=++*#%%%@@@@@%%##**++===------===++++++++=--:·.. .··:-=+******++=--:·...
.·:-==+**##%%%%%%###**+==---:::····::::--==++**##%%%%%%##**+==-::···...···::-=+**#%@@@@@@@@@%%%####*****+=-::·.
..·:--==++********+++==--::···.........··::--==++***###***++=--::··......··:--=+*#%@@@@@@@@@@@@%%####***+=-::·.
..···::::::::::::::···.... ...··::--==++++++++==--::··.......··:-=+*#%@@@@@@@@@@@@@%%%###**+=-::·.
..··:--===+++++==--::··... ...··:-=+*#%@@@@@@@@@@@@@%%###**+=-::·.
..·::--===+++===--:··... ..··:-=+#%@@@@@@@@@@@@@%%###**+=-:··.
..·::--==+++++==--:··.. ..··:-+*#%@@@@@@@@@@@@%%##***+=-:··.
..··:--==++++++==--:··.. ..·:-=+*#%@@@@@@@@@@@%%#**++=-::·..
..··::-==++*****++=--:·... ..·:-=+*#%@@@@@@@@@%%#**++=-::··..
. ..·.......···::-==+**####**+==-:·.. ..·:-=+*#%%@@@@@@%%#**+==-::·...
.......···········...:·:::·······::--=++*###%%##*++=-:·.. .··:-=+*##%%%%%%##*++=--:··..
.....···::--===++++++++==---=--:::···:::--=+**#%%%%%%##*+=-:·.. ..··:-=+**######**+==-::·..
....·····.........··::-=+**#%@@@@@@@@@@%##*+==--:::::::--=++*#%%@@@@%%#*+=-:·.. ..··:-==+******++=--:··.
.·::-+*###%%%%###***++===--------------========+++======--:::··.... ....··:--==+++*********####%%%@@@@@@#*+-:·.
..·::-============----::::::·············:::::::::::::::::···.... ...··:--=++**#######%%%%%%@@@@@@@@@%*+=:·.
....···············........... . .........··········..... ..··::-=+**##%%%%%@@@@@@@@@@@@@@@@%#+=-·..
.....······..... ...·::-=+**#%%@@@@@@@@@@@@@@@@@@@@%#+=-·..
....·······..... ...··:-=+**#%%@@@@@@@@@@@@@@@@@@@@%#+=-:..
..····::·····.........··:--=+*#%@@@@@@@@@@@@@@@@@@@@@%*+=:·..
..··::::::::···.......··::-=+*#%%@@@@@@@@@@@@@@@@@@%%#+=-:·..
..··:--------:::··.....···:-=++*#%@@@@@@@@@@@@@@%%%###+=-:··.
. ... .··:--==+++===--::········:--=+*##%@@@@@@@@@@%%###**++=-:·..
....···::::::::::::···...·... ..·:--=++*****++=--::······::-==+*##%%@@@@@%%##**++==-::·..
....··::--==++*********++==-::···.. ..··:-=+**######*++=--::····::--==+**###%%%##**++=--::··.
....··········:::-==+**#%%@@@@@@@@@%##*+=-:··.. ...·:-=+*##%@@@@%%#*+==--:::::::--==++********++=--:··..
.·:==+*###**+==--::::····:::::---===============----:::···..... ....···:::-------:::::::::--==+**#%%%%%%#*+-:·.
..··::::-:::····.......·······::::::::::···:::::······...... ...··:::---------------==++*##%%@@@@@@#*=-:·.
... .................. ..··........... ...··::---=============++*##%@@@@@@@@%#+=:·.
.... ..··::--=========+++++**##%%@@@@@@@@%#*=-:·.
. ...··:--===++++++++****##%%@@@@@@@@@%#*+-:·.
. ..··::--==++++*******###%%@@@@@@@@@%#*+-:·.
. . ... ..··::--==+++*******####%%%%@@@@@@@%*+=-:·.
. . ........... ...···:--==+++********##############*+=-:·..
. . ...········.........···::-==+++****************++++++=-::·..
...····:::::::::::::::··... . ...··:::::::·····..····:::--==+++******+++++====-----::··...
.....···::--==++***********++=-::·.. ..·::--------::::·····:::---===+++++++++===---:::····....
...····:::::---===++**##%%%@@@@%%##*+=-:··. ..·::--===++===---::::::::---====+++++====--::···....
.·::-====--:··.. ...···::---============----:::····......···::-==+*******++=--:·········:--=++*******++-:··.
....·..... ...····:::::::::::::·--::::····...........··::--=++*****++==--::······::--=++**######*+=-:·..
..................··:::·····..... ...··:--==++***+++==--:::···:::--=++*###%%%%%*+=-:·..
..··:····...... ..··::-==+++++++==---::::::::--=++*##%%%@@@%*+=-:·.
..·····........ ..··::--==+++++===--::::::::--==+**##%%@@@%#*+=:·.
..·.··......... ..··::--=========---::::::::--==++*##%%%@%#*+=-·.
..·.··.......... ..··::---=======---::::::::::--==++**##%#*+=-:·.
..·.·.............. ...··::----===----::::······::::--==++**++=--:·.
..·.·................. ....··:::---------:::············:::--===--::·..
.....····:::::::::::::::···...................................···:::-------:::····.........····:::::::··..
....·····::::--===+++*******+++==-::··............···········.......····::::-----::::···.............···:·····..
..··:::--------===+++**##%%%%%%##*++=-::·.... .....····::::::···········:::::-----::::····.............········...
.········.. ....····:::::--------::::···.........··:-=+#%@@@@@@@@@@@%#*+==--::::---===+++**++++==-::·..
.. ......················::::···.... ...·::-=*#%@@@@@@@@@@@%#*+==--:::::---==+++++++++++=-::··.
...................··::::···.... ...·:-=+*#%@@@@@@@@@@%#*+==--:::::::---===+++*****++=-::·.
..··-::::···.... ..··:-=+*#%@@@@@@@@@%#*+==-:::·····:::---==++**##**+=-:·.
..:·---:::···.... ...··:-=+*#%@@@@@@@@%#*+=--:···.....···::--=++*###**+=-:·.
..::----:::···..... ....·::-=+*#%%@@@@%%#*++=-:··.. ...··:--=+*##**+=-:·.
..::------:::···........··::-=+**##%%%##*++=-:··. .··:-=+***++=-:·.
..::==-----:::···........··::-==+*******++=-:··. ..·:-=++++==-:·.
..::=====----:::···......···::-==+++++++==-:··. .·::-=++==-:·.
..........·······:::::········...::=======----:::····...····::--=======--::·.. .·:-==++==-:·.
.....·········::::---====++++====----::::=========----:::·········:::---------::··.. .·::-=+++==-:·.
..···::::::::::::--==++***######***+++================---::::······:::::------:::··... ..·::-==+*++==-:·.
..···::::::::·····..............··········... .·:-=*#@@@@@@@@@@@@@@%##*++++++++++++++**++++++===--::··..
...·············....... .............·... .·-=+#%@@@@@@@@@@@@@@%##*++==============+++++++++=--:··.
................ ..··... .·:-+*%@@@@@@@@@@@@@@@%#*++=---:::::::----===+++*++==-:·.
..··:···.. .·:-=*#@@@@@@@@@@@@@@@%#*+=-::···.....···::--==+**++==-:·.
..··:::··.. ..·-=+#%@@@@@@@@@@@@@%#*+=-:·.. .··:-=+***++=-:·.
..::---::··.. ..·:-=*#%@@@@@@@@@@@@#*+-:·. .·:-=+**++=-:·.
..::==---::··... ...·:-=+*#%@@@@@@@@@%#*+-:·. .·-=+***+=-:·.
..:-++===--::··......··::-=+*#%@@@@@@@%#*+-:·. .:-=****+=-:·.
..--**+++==--::········::-==+*##%%%%%#**+-:·. .·-=+*##*+=-:·.
........................··--******++==--::····:::--==+***##***+=--:·. .·:-=+*###*+=-:·.
...............······:::::::::::::----==######***+==---::::::---==++++++++==-:··.. ..·:-=++*#%##*+=-:·
.................···:::----========+++**###%%%%%%##**++==----------=========---::··..........··::-==+**#####*+=-:·.
..·:-=+#####*++=--:··.... ....·········.. .·:-=*#%@@@@@@@@@@@%%##***++++++++++++++++++******++=-:··.
.·::-=+*+++==--::··... ......... .·-=+#%@@@@@@@@@@@@@%%#**+++=====-----=====++++**++=-::·.
...···:::::····... . . .·:=+#%@@@@@@@@@@@@@@%#*++=--::::······:::---==+++==-::·.
... .·:-+*#@@@@@@@@@@@@@@%#++=-:··... ...··:--=++==--:·.
..... .·-=+#%@@@@@@@@@@@@%#*=-:·.. ..·:--=====-:·.
..····.. .·:=+*#@@@@@@@@@@@%#*=-:·. ..·:-=+++=--:·
..··::··.. .·:-=*#%@@@@@@@@@%#*+-:·. .·:-=+++++=-:·.
..::---:··.. ..·:-=+*#%@@@@@@@%#*+=-·. .·:-=+****+=-:·.
..::===--::··........··:-==+*##%%%%%%#*+=-:·.. .·:-=+*##**+=-:·.
.. ......--**+++==-::········::--=++**######*++=-::·.. ..··:--=++*#**++=-:·.
.................. ....··::--==#####**+==--:::::::---==++********++==--:::·········:::--===++++*++=--:·.
........ ............ .....··::-=+**#%%@@@%%%##*++===------====+++++++++++=================++++++======--::··..
.:-=+*#%@@@@%#*+=-:··.......··::-------::·.. .·::-=+*###%%%%%%###**+++======--=======+++*********+=-:··.
.··:-==+*****+=--:··... ....········.... .·:-=++*##%%%%%%%###**++==----:::::::-----====+++++=-::·..
...···::::::···... ....... ... .·:-=+**#%%%%%%%%##*++==--::············::::-----=--:··..
. ... .·:-=+**#%%%%%%##**+==-::··... ...···:::---:::··.
. .... ..·:-=+**###%###**++=-::·.. ..···::---:::·..
..·.·.. .··:-=++**####***+==-:··.. ...·::------::·.
..··:·.. .·::-=++*******++==-::··.. ..··::-====--:·..
..:·-:··.. .··:-==++*******++==--::··..... .....··::--====--::·.
..::=--::·.. ..··:--=++****##****++===--:::·············::--===---:··.
.............. .....·--++==--::··........··::--==++**#########***+++===---::::······:::----:::·..
....···········... ..··::---==##**++==--::·······:::--==++**####%%%%%%%%###**+++==--::················.
....···:::::····... .·::-=+*#%%%%%%%##*++==---::::::---===++***##%%%%@@@@@%%%##*++=--::··...............
.·:-=+*#%@@%#*+=-:··.......··::-========--:::······:::--==++**######***+++==---::::·····::::--===+++***++++==-:·..
.··:-==+***+=--:··... ...···:::::::::·············::--==+++******+++==--:::·····..·····:::---========---::·..
...···:::::··... ............·····.......···::--==========---:::···.........····::::--------::::··...
..··:··..........···:::--------::::····..........·····:::::::::::::::···...
..··:··... ....····:::::::::·················:::::::::::·····::·····..
..:·::··.. ....······::::::::::::----------::::::·········:::····..
·.::--:··.. ....···:::----===+++++++++++==---::·····..····::::···.
··--==-::·.. ...··::--==+**###%%%%%%%##**+=--::··.......····:::··.
··=-*+==-:··... ..··::-==+*#%%@@@@@@@@@@@%#*+=--:·... ..·······.
...··········.... .....······==#**+==-::··... ....·::-=+**#%@@@@@@@@@@@@@%#*+=-:·.. ..·····.
..·::-======--::··... ...·::--==+++++%%##*++=-::···......···:--=+*#%@@@@@@@@@@@@@@%#*=-:·.. ...···.
..··:-=+****++==-::·... ...·:-=+*##%@@@@@@@%%#**+=--::·········::-==+*#%%@@@@@@@@@@%%#*+=-:·. ......
.·:-=+****+=-:·. ...···:::::::::----==++**###%%%%%%%##**++=--:··... ...··::--==++++++++==--:··.
.··:--===--:··. ....············---===++****####***++=--:··.. ..··:--==++++++++==--::·..
...······... ..........··----=====+++++++===--::·... ..··::-==+++++++++==--:::··..
..::----------------:::···.. ...·::-==++******+++==--:::···....
..::==-------:::::····... ...·::-==+**######**++==--::::·····.....
··--+===---:::····.... ..··:--=+*##%%@@@@%%##*++=--::···········...
··==*++==--::···... ..··:-=+*#%@@@@@@@@@@@%#*+=--:··.........····...
:·++##*++=--:··... ..·::-+*#%@@@@@@@@@@@@@@%*+=-:·.. ...····..
::*+@%##*+=-::·... ..·:-=+*%@@@@@@@@@@@@@@@#*+-:·.. ..···..
..·········..... .....····:::::::**@@%%#*+=-:··.. ..·:-=+*#@@@@@@@@@@@@@@%#*=-:·. ...··..
..·:-=======--::····..···::--==+*********@@@%#*+=-::·.. ..··:-=+*#%@@@@@@@@@@@%#*+=-·.. ......
.·:-=*#####**+==--:::::::--=+*#%@@@@@@@@@@@@@%#*+=-:·... ...·::-=+**#%%%@@@%%##*+=-:··. ......
.··:-----::·. ..··::-=+**#%%%@@@@%%##*+=-::·.. .··:--=++******+++==-::··..
..··::::··.. ...··-=++**##%%%%##**+=--:·.. ..·::-=++**######**++==--::·...
........ ··-==+***####**++==-:·.. ..·:-==+**##%%%%%##**++==---:··...
..·:==+++*****+++=--:··.. ..·:-==+*##%%%%%%%%###**++==---::··...
..::++++++++++==--::··.. ..·::-=+*##%@@@@@@@@%%##**++==-----:::··...
··--******+++==--::··... ...··:-=++*#%@@@@@@@@@@%%#**+==---:::::::::···..
··+=%###***+==--:···........··:-==+*#%@@@@@@@@@@@@%#*+==--::··············..
::**@@%%#**+=--:···.......··::-=+*#%@@@@@@@@@@@@%#*+=--:··..........······...
::**@@@%%#*+=-::·.........··:-=+*#%@@@@@@@@@@@%#*+=-::·.. ....··....
........... .....···::::::::::**@@@%#*+=-:··.. ..··:-=++*#%%@@@@@@%%#*+=--:·.. ........
..··:::::::··········::--==+************@@@%*+=-:··.. ..·::-=++**#######**+==-:··.. .......
.·:-==+====----::::--==+**#%@@@@@@@@@@@@@%#*+=-:·.. ..··::--==++++++++===--:··.. .....
███╗ ███╗ █████╗ ████████╗██╗ ██╗
████╗ ████║██╔══██╗╚══██╔══╝██║ ██║
██╔████╔██║███████║ ██║ ███████║
██║╚██╔╝██║██╔══██║ ██║ ██╔══██║
██║ ╚═╝ ██║██║ ██║ ██║ ██║ ██║
╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝ ╚═╝ ╚═╝$ open /benchmarks/math/tasks/geometry--test--8cb00a58-…▌ posts · files
MATH / A regular octagon ABCDEFGH has an area of one square unit. What is the area of the rectangle ABEF? [asy] pair A,B,C,D,I,F,G,H; A=(-1,1); B=(1,1); H=(-2.41,-0.41); C=(2.41,-0.41); G…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
problem
A regular octagon has an area of one square unit. What is the area of the rectangle ?
[asy]
pair A,B,C,D,I,F,G,H;
A=(-1,1);
B=(1,1);
H=(-2.41,-0.41);
C=(2.41,-0.41);
G=(-2.41,-2.41);
D=(2.41,-2.41);
F=(-1,-3.82);
I=(1,-3.82);
draw(A--B--C--D--I--F--G--H--cycle,linewidth(0.7));
label("",A,N);
label("",B,N);
label("",C,E);
label("",D,E);
label("",I,S);
label("",F,S);
label("",G,W);
label("",H,W);
[/asy]
Plain-text mathematical notation (without MathML)
A regular octagon ABCDEFGH has an area of one square unit. What is the area of the rectangle ABEF?
[asy]
pair A,B,C,D,I,F,G,H;
A=(-1,1);
B=(1,1);
H=(-2.41,-0.41);
C=(2.41,-0.41);
G=(-2.41,-2.41);
D=(2.41,-2.41);
F=(-1,-3.82);
I=(1,-3.82);
draw(A--B--C--D--I--F--G--H--cycle,linewidth(0.7));
label("A",A,N);
label("B",B,N);
label("C",C,E);
label("D",D,E);
label("E",I,S);
label("F",F,S);
label("G",G,W);
label("H",H,W);
[/asy]Original LaTeX notation
A regular octagon $ABCDEFGH$ has an area of one square unit. What is the area of the rectangle $ABEF$?
[asy]
pair A,B,C,D,I,F,G,H;
A=(-1,1);
B=(1,1);
H=(-2.41,-0.41);
C=(2.41,-0.41);
G=(-2.41,-2.41);
D=(2.41,-2.41);
F=(-1,-3.82);
I=(1,-3.82);
draw(A--B--C--D--I--F--G--H--cycle,linewidth(0.7));
label("$A$",A,N);
label("$B$",B,N);
label("$C$",C,E);
label("$D$",D,E);
label("$E$",I,S);
label("$F$",F,S);
label("$G$",G,W);
label("$H$",H,W);
[/asy]level
Level 5
type
Geometry
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
8cb00a58-3602-5da3-8621-a7ba715c404e- task_key
geometry--test--8cb00a58-3602-5da3-8621-a7ba715c404e- task_revision_id
- 1
- config / split
- geometry / test
initial import