For compass and straightedge problems, are you allowed to use the compass as a ruler?

geometry geometric-construction euclidean-geometry

Yes. Not by the rules about how to use compass and straightedge but because it can be proved that it's as if we could do it (that's proposition 2 of book I of Euclid's Elements).

Related

100 blank cards, minimize the EV
Prime pattern found in the integral $\int_0^\pi \exp\left(\frac{\cos t}{8}\right)\cos\left(\frac{\sin t}{8}\right) \cos(nt )dt$
Elementary number theory in sets
On the integral $\int_0^\pi\sin(x\sin(x\sin(x\cdots)))\,dx$
Can a function be smooth at a single point?
Formal definition of "planar graph"
Prove $\lim_{n \to \infty}\int_0^1 \dots \int_0^1 f(\sqrt[n]{x_1\dots x_n})dx_1\dots dx_n = f(\frac{1}{e}).$ $f$ is continuous on $[0;1].$
Proving $\int_0^\infty\left(\frac{x^xe^{-x}}{\Gamma(x+1)}-\frac1{\sqrt{2\pi x}}\right)dx=-\frac13$
Why isn't every finite locally free morphism etale?
Computing stalks: do direct limits behave like limits?
Proof: Series converges $\implies $ the limit of the sequence is zero
How do we solve $a \le b^{r}-r$ for $r$?