This post is centered on understanding (and then proving):

Key question (that I had thought was too obvious to ask before): how do we define angles?
An angle is a ratio of the length of the subtending arc (of the circle at which the angle is centered at) to the length of the radius.

My previous interpretation of the above diagram has been wrong. Updated interpretation:

And so, approximately, the arc length would be:

If we set the origin to be at O and a local coordinate to be ,
, which we know to be a harmonic function.
In this way, we can generalize it to any dimension.

Leave a Reply