So there's a programming language where the only instructions are variations of the word 'moo'. I see this as one of those "so preoccupied with if they could, they never stopped to ask if they should" dealshttps://t.co/sywF6rPDDv
Say the diameter is a segment from A=(a,b) to B=(c,d). A point C=(x,y) on the circle forms a *right* triangle with those two points (Thales!), so the vectors AC and BC are orthogonal, so their slopes are negative reciprocals. That is,
A remarkable result on the ArXiv tonight, due to Kedlaya, Kolpakov, Poonen, and Rubinstein, at https://t.co/YNcWqgZj3M. One of the highlights is that they fully classify tetrahedra (= triangular pyramids) with rational dihedral angles. Here's what they prove… (1/n)
