A geometric puzzle.
Screwlisp, I am curious whether this happens to be a test case for ACL2.
I haven't solved it (yet), but I suppose I am still allowed to post it.
I am told that this comes from an ordinary 11th-grade textbook (age 18 years), where it is marked as difficult.
Forgive any non-idiomatic terminology.

A four-sided polygon (trapezoid?) is drawn around a circle (its sides are tangent to the circle).
One of its diagonals divides it into triangles of equal area.
Prove that two opposing angles of the given polygon are right angles.

#GeometricPuzzle
#MathematicalPuzzle
#Puzzle

@screwlisp

Every Tetromino using same tetromino - https://youtu.be/ykepcJcPLy0

#youtube #youtuber #youtubechannel #youtubevideo #tetris #tetromino #polyomino #polyominoes #polyform #nerd #nerdy #geek #geometry #geometricpuzzle #math #mathematics #mathnerd #maths #cool #amazing #puzzle #puzzled #puzzles #interesting #shapes #shape #geometricshapes #2d #2dshapes

I made a little puzzle!

Can you fit the six little houses (A, B, C, D, E, F) into the big one (G)?

In this case, a house is defined as a square with one side glued to the hypotenuse of a right isosceles triangle, making a pentagon.

The areas of the shapes are:

A: 1.25
B: 2.5
C: 5
D: 10
E: 20
F: 40
G: 81.5 (the additional 1.5 is a chimney, which is one unit wide and connected to the roof)

#Puzzle #Geometry #Geometric #GeometricPuzzle #Math #Maths #Mathematics #Mathstodon