3 ms·
You can't. First, here's a lemma: Given three distinct lattice points (points with integer coordinates) A,B,C in the plane, either ⦟ABC is a right angle or tan
by DerekL 3y ago
You can't. First, here's a lemma:
Given three distinct lattice points (points with integer coordinates) A,B,C in the plane, either ⦟ABC is a right angle or tan ⦟ABC is rational.
Proof: Assume that ⦟ABC is not a right angle. If either line AB or BC is vertical, rotate the plane by 90°. Then at least one line is horizontal, and the other can't be vertical, because ⦟ABC is not a right angle.
Let x and y be the angles AB and BC make with a horizontal line. Then ⦟ABC = |x - y|. The tangents of x and y are rational, because the points have integer coordinates. Then |tan ⦟ABC| = |(tan x - tan y) / (1 + tan x tan y)|, which is rational.
The hat has angles of 120°, and tan 120° = -√3, which is irrational, so you can't draw the hat with lattice points, no matter how you scale or rotate it.
- l0b0 3y agoI'm not a mathematician, so I'm afraid I can't tell whether you or all the people saying to multiply by √3 are right. The fact that nobody has posted actual coordinates on the other side of the discussion is telling, though. SVG 2's bearing commands[1] might help, but I can't seem to find anything that supports it. [1] https://svgwg.org/specs/paths/#PathDataBearingCommands https://svgwg.org/specs/paths/#PathDataBearingCommands