"Where did the '16' come fro..."

https://arbital.com/p/3xx

by Kevin Western May 30 2016


$~$(5 : 3 : 2) \\cdot (2 : 1 : 5) \\cdot (12 : 10 : 1) \= (120 : 30 : 10) \\cong (12/16 : 3/16 : 1/16)$~$

Where did the '16' come from in (12/16:3/16:1/16) ?


Comments

Eliezer Yudkowsky

It's 12 + 3 + 1. I'll edit to make clearer, but your comment exposed a bug in our LaTeX parsing so I'm waiting to edit until that resolves. :)