Pixel Art Width Theorem

For all diagonal lines where the inner angle is 45°, the following equation describes the line width (in pixels) to match precieved width of vertical/horizontal lines, where a is the width of the vertical/horizontal line in pixels. Invented by @Ogelbeh (Andrew Miller) Corrected and refined by myself