Algebra, conditions and vectors

Book Isle dot products: check nonzero vectors before claiming a right angle

Calculate component products and magnitudes, then distinguish algebraic orthogonality from a geometric angle using a zero-vector control.

English translation of the Chinese original, translated on . Original publication dates, attribution, code and version notes are retained.

A zero dot product does not give every pair a defined right angle. Read an original three-dimensional exercise in Book Isle, calculate the scalar and check nonzero conditions. Keep arithmetic, diagrams and reading notes separate; neither automated vector analysis nor proof from an on-screen sketch is assumed.

1. Fix component order and coordinates

Use real 3D vectors a=(1,2,2), b=(2,-1,0) in x/y/z order. Preserve punctuation and signs, identify both as nonzero and label any drawing a projection rather than proof of a 3D angle. Name the control separately so later replacing b with zero does not overwrite the original data.

a=(1,2,2)
b=(2,-1,0)
Component order: x,y,z

2. Multiply corresponding components and sum

Compute 1×2+2×(-1)+2×0=2-2+0=0. The result is a scalar, not the temporary tuple of component products. OpenStax’s dot-product chapter supports the component formula and scalar result. Individual products need not all vanish; cancellation can produce zero. Also compute a·a=1+4+4=9=|a|²: a·b=0 does not make a itself zero. For the separate control 2b, a·(2b)=0; a nonzero multiple retains this perpendicular relationship. A zero multiplier returns to the undefined-angle case below. Keep controls separate from the original coordinates. Hiding the third component creates a separate 2D object rather than proving the displayed projection represents every 3D condition; label the coordinate space before comparing.

a dot b = 1*2 + 2*(-1) + 2*0
        = 2 - 2 + 0
        = 0 (scalar)

3. Calculate both magnitudes independently

Magnitudes are |a|=√9=3 and |b|=√5, both positive. Square negative components correctly and retain exact values. This establishes a nonzero denominator |a||b| in the angle formula. A zero magnitude here signals an arithmetic error, not a step to skip because the intended answer is a right angle.

4. Infer the angle only under nonzero conditions

For these nonzero vectors, cosθ=0/(3√5)=0, giving 90° in the usual 0–180° range. Include the nonzero premise. Coordinate calculations are independent of whether a projected drawing looks perpendicular; a 2D protractor cannot replace the 3D formula and conditions.

5. A zero-vector control has no defined angle

For z=(0,0,0), a·z=0 but |z|=0 makes the angle formula undefined. Algebraic orthogonality defined by zero dot product can include the zero vector; a geometric 90° angle requires nonzero directions. Record both meanings separately. Giving z a length to draw a right angle changes the vector.

z=(0,0,0)
a dot z=0, |z|=0
Angle formula denominator: |a|*|z|=0
Geometric angle with z: undefined

6. Record premises and the original reading anchor

Open the original page through available reading controls. Save scalar result, nonzero premises and angle conclusion in notes or externally, without assuming automatic vector drawing or recognition. Retain chapter/page and coordinate anchor; reopen to verify b. Use a separately saved sqrt plain-text version if typography is unclear, retaining the source.

7. Troubleshoot signs, object types and conditions

A result of four suggests losing the negative sign; a tuple suggests forgetting the sum. A claimed 90° angle with zero requires checking the denominator rather than hiding behind “orthogonal.” Correct one issue without changing data. If a source uses a convention, record its definition before comparing algebraic terminology and geometric angles.

8. Reopen and deliver both cases

Reopen with answers hidden and recompute a·b/a·z and both denominators. Deliver component order, products, scalar sum, magnitudes, premises and the zero-vector limitation. Explain 90° for the nonzero pair and undefined angle for zero alongside algebraic orthogonality. Adapt dimensions for new problems; arithmetic does not certify unperformed device or import tests.

Function composition, Rational-expression domains.

Checked on November 14, 2026 against the official Book Isle App Store listing and Apple public lookup: Book Isle 1.1.4, requiring iOS / iPadOS 15.6 or later. Use existing reading, available notes or external records and verify controls in your installed version. Original samples and manual calculations are not new automatic analysis features. No physical-device, private-file or universal export-environment testing is claimed.