/sci/ - Anon's Conjecture - Science & Math


08/21/20	New boards added: /vrpg/, /vmg/, /vst/ and /vm/
05/04/17	New trial board added: /bant/ - International/Random
10/04/16	New board for 4chan Pass users: /vip/ - Very Important Posts
[Hide] [Show All]

Anonymous
Anon's Conjecture 05/02/26(Sat)10:39:50 No.16969004

File: octahedr.gif (5 KB, 287x300)

Anon's Conjecture Anonymous 05/02/26(Sat)10:39:50 No.16969004

I have a mathematical conjecture I came up with. My conjecture says that a regular tetrahedron cannot fit inside of a regular octahedron if the side of the tetrahedron is larger than the side of the octahedron.

Is this true or false?

Anonymous
05/02/26(Sat)13:02:29 No.16969071

Anonymous 05/02/26(Sat)13:02:29 No.16969071

>>16969004
Go ask Claude.

Anonymous
05/02/26(Sat)13:39:32 No.16969094

Anonymous 05/02/26(Sat)13:39:32 No.16969094

File: tetraocto.jpg (375 KB, 2507x712)

375 KB JPG

>>16969071
Here by the way, theorem + calculated sanity check.

Anonymous
05/02/26(Sat)16:35:38 No.16969158

Anonymous 05/02/26(Sat)16:35:38 No.16969158

>>16969071
>HURR DURR AI HURR!!!
You are an anti-intellectual faggot and you need to be killed.

Anonymous
05/02/26(Sat)16:39:24 No.16969159

Anonymous 05/02/26(Sat)16:39:24 No.16969159

>>16969071
>DON'T FIGURE OUT ANYTHING BY YOURSELF, JUST ASK A NIGGERSLOPBORG

Anonymous
05/03/26(Sun)23:02:54 No.16969864

Anonymous 05/03/26(Sun)23:02:54 No.16969864

File: 1774029019852484.jpg (45 KB, 736x725)

45 KB JPG

>>16969004
This problem seems analagous to the nopert problem (all shapes can pass through themselves), you could probably crib tom7's bruteforcing algorithms and modify them slightly for your needs.

In fact you can probably crib most of the logic behind nopert proofs for your purposes.

https://tom7.org/ruperts/

Name
Options
Comment
Verification	4chan Pass users can bypass this verification. [Learn More] [Login]
File
Please read the Rules and FAQ before posting. Additional supported file types are: PDF Use T_eX with [math] tags for inline and [eqn] tags for block equations. Right-click equations to view the source.