Intereting Posts

A challenge by R. P. Feynman: give counter-intuitive theorems that can be translated into everyday language
First axiom of sheaves: in noetherian topological spaces the direct limit presheaf is a sheaf.
Dedekind Zeta function of $\mathbb{Q}$
Pairs of isometries that jointly fix a set (revised)
Fourier Transform of complicated product: $(1+x)^2 e^{-x^2/2}$
Suppose $A$, $B$, and $C$ are sets. Prove that $A △ B ⊆ C \iff A ∪ C = B ∪ C$.
Show that all groups of order 48 are solvable
Calculus proof for the area of a circle
Gaussian-like integral : $\int_0^{\infty} e^{-x^2} \cos( a x) \ \mathrm{d}x$
Changing operator to polar coordinates
How was $e$ first calculated?
Formula for the number of connections needed to connect every node in a set?
A square matrix $n \times n$ is an invertible matrix iff the rank of the matrix is $n$.
Is $$ a countable disjoint union of closed sets?
deformation retract of $GL_n^{+}(\mathbb{R})$

I noticed something curious about intersecting chords in a circle. Suppose two chords have lengths $p$ and $q$ and intersect at right angles at point $O$. The intersection $O$ divides the two chords into four total segments of lengths $a,b,c,d$ (say $a+c=p$ and $b+d=q$).

The radius of the circle turns out magically to be the root-mean-square

$$R=\sqrt{\frac{a^2+b^2+c^2+d^2}{4}}$$

- Computing a ratio of parts of a circumference on a sphere
- Diophantine approximation - Closest lattice point to a line (2d)
- Condition for 3 complex numbers to represent an equilateral triangle
- Proving the area of a square and the required axioms
- Possible areas for convex regions partitioning a plane and containing each a vertex of a square lattice.
- Prove that $X,Y,Z$ lie on a single line.

I think it’s fascinating, because for other pairs of intersecting chords, the radius is just as much an “average” as excenters of triangles are “centers.” I **came up with a more general formula** involving more than just right angles, but it’s not satisfying. Does anyone have some good insight into why the right angle case is particularly nice? Maybe there isn’t anything deep and it strikes me more only because I am a functional analyst.

My favorite proof so far is saying $a^2+b^2+c^2+d^2=(AB)^2+(CD)^2$, then rearranging the arcs to make another right triangle with the diameter as hypotenuse:

The diameter is the “third diagonal” among the three different cyclic quadrilaterals you can make with those four lengths. Turns out, you can generalize to angles other than $90^\circ$

$$R=\frac{\text{third diag.}}{\sin\theta}$$

It’s more symmetry than I would have hoped – you just have to think about all three quadrilaterals at once. But, it doesn’t deal much with the root-mean-square bit.

- What are some good resources for brushing up on geometry and trigonometry?
- Implementation of Monotone Cubic Interpolation
- Is a sphere a closed set?
- Can every curve be subdivided equichordally?
- Calculate Ellipse From Points?
- Is this Batman equation for real?
- Volume of a cone in an $n$-dimensional ball
- Minimum radius of N congruent circles on a sphere, placed optimally, such that the sphere is covered by the circles?
- Moving a rectangular box around a $90^\circ$ corner
- How to prove $\cos\left(\pi\over7\right)-\cos\left({2\pi}\over7\right)+\cos\left({3\pi}\over7\right)=\cos\left({\pi}\over3 \right)$

I realize that you aren’t looking for *proof*, but it’s hard to gauge why your result is “particularly nice” without knowing *compared to what?* So, I’ll derive the general formula here in hopes of discerning what’s going-on in the broader context.

I’ll start by calculating, not the circle’s radius, but the distance from the circle’s center to the chords’ point of intersection.

Consider the following …

In $\bigcirc O$ shown, chords $\overline{AC}$ and $\overline{BD}$ (of lengths $a+c$ and $b+d$, respectively) meet at $P$ and make an angle of $\theta$. Let $A^\prime$ and $B^\prime$ lie on the chords such that $\overline{AA^\prime}\cong \overline{PC}$ and $\overline{BB^\prime}\cong\overline{PD}$. The midpoints of $\overline{PA^\prime}$ and $\overline{PB^\prime}$ are the midpoints of the respective chords, and therefore, the same can be said for the perpendicular bisectors (which, of course, meet at center $O$); consequently, $O$ is the circumcenter of $\triangle PA^\prime B^\prime$. If $p$ is the radius of the new circumcircle, and $q := |\overline{A^\prime B^\prime}|$, then the Law of Sines tells us that …

$$2 p \sin\theta = q \tag{1}$$

so that the Law of *Cosines* tells us that …

$$4 p^2 \sin^2\theta = (a-c)^2 + (b-d)^2 – 2(a-c)(b-d)\cos\theta \tag{2}$$

This makes for a satisfyingly-straightforward calculation for distance $p$, but what does it have to do with your radius formula(s)?

Well, recall that the “power” of point $P$ with respect to $\bigcirc O$ is defined by

$$k := p^2 – r^2 \tag{3}$$

and is computed (for interior points $P$) by

$$k = – |\overline{PX}||\overline{PY}| \quad\text{for any chord}\;\overline{XY}\;\text{through}\;P \qquad\to\qquad k = – a c = – b d \tag{4}$$

so we can re-write $(2)$ as

$$4r^2\sin^2\theta = ( a – c)^2 + ( b – d )^2 – 2 ( a – c )( b – d)\cos\theta – 4 k \sin^2\theta \tag{5}$$

Now, notice that if we expand the square terms, we get products $-2ac$ and $-2bd$, each of which conveniently equals $2k$, so that (replacing $\sin^2\theta$ with $1-\cos^2\theta$ on the right) …

$$4r^2\sin^2\theta = a^2 + b^2 + c^2 + d^2 – 2 ( a – c )( b – d)\cos\theta + 4 k \cos^2\theta \tag{6}$$

(Note: To express everything as explicitly, and symmetrically, as possible in $a$, $b$, $c$, $d$, one can make the substitution $k \to -\sqrt{a b c d}$.) The relation’s a little bulky, but I don’t know that I’d call it especially unsatisfying. It seems on par with results like Bretschneider’s Formula and Brahmagupta’s Formula for quadrilateral area.

Evidently, when the chords are perpendicular, $\theta = \pi/2$, and $(6)$ reduces to the equivalent of your root-mean-square formula for the radius. Of course, $(2)$ reduces, as well, and we see that a lot of the complexity of the diagram vanishes:

This may (or may not) help explain why the right-angle case is “particularly nice”, but it’s the best I can do at the moment.

Incidentally, here’s a separate, simple proof of the root-mean-square formula for perpendicular chords:

$$( 2 r )^2 = ( a + c )^2 + ( b – d )^2 = a^2 + b^2 + c^2 + d^2 + 2 ( a c – b d ) = a^2 + b^2 + c^2 + d^2$$

Here, we construct $\overline{C^\prime C}$ parallel to $\overline{BD}$, and invoke Thales’ Theorem to conclude that $\overline{AC^\prime}$ is a diameter. Then, the power of a point theorem allows us to cancel $a c – b d$ from the Pythagorean relation. $\square$

(The proof at Cut-The-Knot, to which @dxiv linked in a comment, is close to this, but uses similar triangles to drive the argument.)

Hint: keep a chord fixed, and move the other chord to make it diameter and calculate the distance it had to be moved to make it a diameter.

- Homography between ellipses
- number of simplices in barycentric subdivision
- A generalized (MacLaurin's) average for functions
- Can $P \implies Q$ be represented by $P \vee \lnot Q $?
- Hölder continuity definition through distributions.
- Closed unit ball is compact?
- Calculating a real integral using complex integration
- How to prove this is a rational number
- Prove that $\lim_{x \rightarrow 0} \mathrm {sgn} \sin (\frac{1}{x})$ does not exist.
- Using right-hand Riemann sum to evaluate the limit of $ \frac{n}{n^2+1}+ \cdots+\frac{n}{n^2+n^2}$
- Determinant of a matrix with $t$ in all off-diagonal entries.
- Sort vectors according to their distance between them
- Upwind differencing scheme in Finite Volume Method (FVM)
- Is the set of all conformal structures on $\mathbb{R}^n$ a manifold? Does it have a name?
- Convergence of $\sum_{n=1}^\infty\frac{n}{(n+1)!}$