Intereting Posts

Homeomorphic or Homotopic
$|f(x)-f(y)|\geq k|x-y|$.Then $f$ is bijective and its inverse is continuous.
Prove $\int_0^{\pi/2} J_0 (\cos x) dx=\frac{\pi}{2} \left(J_0 \left(\frac{1}{2} \right)\right)^2$
Getting the most general form of Mayer-Vietoris from the axioms of homology
Comparing the cardinality of sets
Show $f''+vf' +\alpha^2 f(1-f)=0$ has solutions satisfying $\lim_{x \to – \infty}f=0$ and $\lim_{x \to \infty}f=1$ given $v\leq -2\alpha < 0$
Monotone class theorem vs Dynkin $\pi-\lambda$ theorem
Describing a Wave
Existence of $x$ such that $2^x =a,3^x=b,5^x=c$ for some integers $a,b,c$
sum of polynoms of given property
Evaluating $\int_0^\pi\arctan\bigl(\frac{\ln\sin x}{x}\bigr)\mathrm{d}x$
What regular polygons can be constructed on the points of a regular orthogonal grid?
Is $n \sin n$ dense on the real line?
Why is $\frac{987654321}{123456789} = 8.0000000729?!$
How to prove: $2^\frac{3}{2}<\pi$ without writing the explicit values of $\sqrt{2}$ and $\pi$

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}}$$

- Geometric interpretation of a quintic's roots as a pentagon?
- $\frac{AB}{A'B'}+\frac{BC}{B'C'}+\frac{CA}{C'A'} \geq 4 \left(\sin{\frac{A}{2}}+\sin{\frac{B}{2}}+\sin{\frac{C}{2}}\right). $
- Find a point on a line segment, located at a distance $d$ from one endpoint
- Area of a cyclic polygon maximum when it is a regular polygon
- What is the connection between linear algebra and geometry?
- Why do disks on planes grow more quickly with radius than disks on spheres?

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.

- Area of a parallelogram, vertices $(-1,-1), (4,1), (5,3), (10,5)$.
- Finding an equation of circle which passes through three points
- What is the equation for a 3D line?
- Geometric proof for inequality
- What is the exact and precise definition of an ANGLE?
- Decompose rotation matrix to plane of rotation and angle
- Prove the triangle is equilateral given that a quadrilateral related to its circumcircle is a kite
- Geometric Proof, Tournament of Towns Fall 2015 Junior A-Level
- Extended Pythagorean Theorem
- Find the Vectorial Equation of the intersection between surfaces $f(x,y) = x^2 + y^2$ and $g(x,y) = xy + 10$

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.

- The 6 generals problem
- What is degree of freedom in statistics?
- Poincaré hyperbolic geodesics in half-plane and disc models including outer branch
- Can $\{(f(t),g(t)) \mid t\in \}$ cover the entire square $ \times $ ?
- Show that $\mathbb{E}(T) = \sum\limits^\infty_{k=1}\mathbb{P}(T \geq k)$ for $T$ nonnegative integer valued
- in a mountain climbing expeditions 5 men and 7 women are to walk
- Structure sheaf consists of noetherian rings
- Are there an infinite number of prime quadruples of the form $10n + 1$, $10n + 3$, $10n + 7$, $10n + 9$?
- Does there exist a continuous $g(x,t)$ such that every continuous$ f(x)$ equals $g(x,t)$ for some $t$ and all $x$??
- How do I solve this PDE?
- Limit of $\int_0^1\frac1x B_{2n+1}\left(\left\{\frac1x\right\}\right)dx$
- Lower bound for finding second largest element
- Wild automorphisms of the complex numbers
- Intuition in studying splitting and ramification of prime ideals
- Evaluate $\prod_{n=1}^\infty \frac{2^n-1}{2^n}$