This article is about the star. The Mizar system is also a language for writing strictly formalized mathematical definitions and proofs, for a computer program to check these proofs, and for a library containing definitions and theorems. The AVE Mizar was a flying car made by attaching the rear part of a Cessna Skymaster to a Ford Pinto.

Mizar (ζ UMa / ζ Ursae Majoris / Zeta Ursae Majoris) is a star in the constellation Ursa Major, lying just at the corner of the Big Dipper's handle. The name comes from the Arabic ميزر mīzar, meaning a waistband or girdle. Mizar has apparent magnitude 2.40 and spectral class A1 V.

With good eyesight one can make out a faint companion just to the east, called Alcor or 80 Ursae Majoris. The two are often called the horse and rider, and the ability to see the second is a traditional test of eyesight. Alcor has magnitude 4.02 and spectral class A5 V. The two stars lie more than a quarter of a light year apart and although proper motions show they move together, it is still not known whether they form a true binary star system, and not an optical binary as currently thought.

More components were discovered with the advents of the telescope and spectroscopy. Mizar was the first telescopic binary discovered, most probably by Benedetto Castelli who in 1617 asked Galileo Galilei to observe it. Galileo then produced a detailed record of the double star. Later, around 1650, Riccioli wrote of Mizar appearing as a double. The secondary star has magnitude 4.0 and spectral class A7, and comes within 380 AU of the primary; the two take thousands of years to revolve around each other. Mizar A then became the first spectroscopic binary to be discovered, by Pickering in 1889. The two components are both about 35 times as bright as the sun, and revolve around each other in about 20 days. Mizar B and Alcor were both later found to be spectroscopic doubles as well.

The whole six star system lies about 78 light-years away from us. The components are all members of the Ursa Major moving cluster, a mostly dispersed group of stars sharing a common birth, as determined by proper motion. The other stars of the Big Dipper, except the end two, belong to this group as well.

For epoch 2000, Mizar has right ascension 13h 23m 55.51s and declination +54° 55' 31.4".

External link

extensive article on Mizar